Coverage points provide a uniform way
to handle different coverage measures. A coverage point is a part or property of
a program used to measure coverage, by counting how many times it is executed,
visited, or otherwise exercised. A state, an action, or a branch in the code could be
a coverage point.
Let us a consider a fixed explorable model program. Suppose that given a state
s and an action a, one can calculate a collection of coverage points that are visited
(covered) in the model program if a is executed from state s. In general, the same
coverage point can be visited multiple times but the order in which the coverage
points are visited is irrelevant; thus, the collection is intuitively a bag. A coverage
point is represented by a term. The type of a function that, given a state and an action,
computes a bag of coverage points is called a CoverageFunction and is defined in
the NModel.Conformance namespace as follows.1
delegate Bag
CoverageFunction(IState s, Action a);
Coverage points can reflect structural coverage as well as behavioral coverage of
the model program. Here are some concrete examples of some common notions of
coverage. The first two are examples of structural coverage of the model program,
whereas the remaining three are examples of behavioral coverage because they are
independent of the structure of the model program.
Vocabulary coverage.
Pages:
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276