Stopping rules are the simplest pruning strategy.
strategy. A function that selects which action to execute next during each step of
on-the-fly testing. A strategy can be designed to achieve good coverage. A strategy
may be random, memoryless, or adaptive.
strengthen. To add constraints, often by conjunction. Strengthening enabling conditions
is a pruning technique. Contrast to weaken.
structural coverage. Coverage that measures execution of parts of the model program,
such as method coverage or code branch coverage. Constrast to behavioral
coverage.
structural equality. Where two variables are equal when they contain the same
values. Structural equality is needed for state comparison. The data types defined in
the modeling library use structural equality. Contrast to reference equality.
system testing. Testing that executes an entire application or an even larger level of
integration. Contrast to unit testing.
target state. Next state.
temporal property. A property that is defined by a scenario, instead of a set of
states. Temporal properties can be checked by composition.
term. A data structure used in the NModel framework to represent actions, transitions,
FSMs, coverage points, term labels, etc.
term label. A term representation of an object ID.
test. (Noun) Test case, especially in xUnit.
test case. A run used for testing.
test-driven development.
Pages:
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426