2 Why We Need Model-Based Testing

Appendices 329
stopping rule. A rule which causes exploration to stop, possibly before it generates
the true FSM. For example, a rule might stop exploration when a certain number of
transitions have been explored. 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, oradaptive.
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.Aterm representation of an object ID.
test. (Noun) Test case, especially in xUnit.
test case.Arun used for testing.
test-driven development. Where developers write test cases before they write code.
test fixture. In the xUnit framework, a class that contains test methods, which acts
as a test harness.
test harness. Code that enables a test runner to execute an implementation. A test
harness for the NModel framework is called a stepper.
test method. In the xUnit framework, a method that executes a test case.
test run. Test case.
test runner. Anapplication that executes test cases and reports the results.
test suite. A collection of related test cases.
tester action. Controllable action.
testing. Anassurance method that checks software by executing it. This book
discusses model-based testing.
more free ebooks download links at:
http://www.ebook-x.com