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. An application that executes test cases and reports the results.
test suite. A collection of related test cases.
tester action. Controllable action.
testing. An assurance method that checks software by executing it. This book
discusses model-based testing.
330 Glossary
time-out action. An observable action that occurs after a wait action if the observation
queue is empty. A time-out action is usually considered a conformance
failure.
trace. A description of a run.
transition. The effect of executing an action. A transition is uniquely identified
by the action, the current state before the transition, and the next state after the
transition.
transition coverage. A measure of behavioral coverage that measures the number
of transitions that have been executed. The postman tour achieves full transition
coverage of a given FSM. Contrast to path coverage.
traversal. A run produced by tracing a path through the transitions of an FSM.
triple. A data record with three elements in order.
Pages:
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427