conformance. Agreement between an implementation and a model program.
conjunction. An expression that contains the and operator, && in C#. Contrast to
disjunction.
contract model program. A model program intended to act as a specification.
Contrast to scenario model program.
control state. The part of the state that determines which actions are enabled. The
state variables that appear in enabling conditions. Contrast to data state.
control structure. Code that controls which statements are executed and in which
order. In model programs, control structure is replaced by enabling conditions.
controllable action. An action that can be invoked under the control of a test
harness. Also called tester action. Contrast to observable action.
cover. To visit a coverage point by exercising some program part or property.
coverage. A measure of how much testing has been done.
coverage point. 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.A strategy can use coverage
points. In the NModel framework, coverage points are represented by terms.
current state. The state before a transition.
cycle. A loop in a graph. A cycle in an FSM indicates repetitive behavior and might
indicate a livelock.
data abstraction.
Pages:
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408