Testing where test suites are generated before running the tests.
Contrast to on-the-fly testing.
on-the-fly testing. Testing where each test case is generated while the test run
executes. Contrast to offline testing.
online testing. On-the-fly testing.
Appendices 325
oracle. The authority which provides the correct result for a test case, used to judge
whether the test passed or failed. A model program can act as an oracle.
pair. A data record with two elements in order. A set of pairs represents a binary
relation. The pair data type in the NModel library is a value type.
parameter generation. Specifying domains and selecting parameter values from
those domains during exploration. Parameter generation is an aspect of scenario
control.
partial order. A relation where some, but not all, pairs of elements occur in order.
Partial orders arise in concurrent systems where it is not always possible to know
whether an event in one program precedes or follows an event in another. Partial
order must be considered in multiplexing.
partially explored. A state where an unexplored action is enabled.
pass. Of a test case, to not fail.
passive state. A state in which all enabled actions are observable.
passive testing. A special case of on-the-fly testing where all the actions are observable.
For example, passive testing could be used to check a log file for conformance.
Pages:
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419