We distinguish between offline or a priori testing, where the test case is generated
before it is executed, and online or on-the-fly testing, where the test case is generated
as the test executes.Atest case is a run, a sample of behavior consisting of a sequence
of method calls. In both techniques, test cases are generated by exploring a model
program. In offline testing using the otg tool (Offline Test Generator), exploration
generates an FSM, the FSM is traversed to generate a scenario, the scenario is saved
in a file, and later the ct tool (Conformance Tester) executes the test by running the
scenario. In online testing, ct creates the scenario on-the-fly during the test run. The
ct tool executes the model program and the IUT in lockstep; the IUT executes its
methods as exploration executes the corresponding methods in the model program,
and the model program acts as the oracle to check the IUT.
8 Describe, Analyze, Test
To use ct, you must provide one or more model programs and write a test harness
that couples your IUT to the tool. If you provide more than one model program,
ct composes them and explores their composition. In this context, composition is
usually used to limit exploration to particular scenarios. If you wish, you can write
a custom strategy in C# that ct uses to maximize test coverage according to criteria
you define.
We distinguish between controllable actions of the IUT that can be executed on
demand by the test tool and observable actions of the IUT that the test tool can only
monitor.
Pages:
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35