This section describes the format of the additional parameter string
argument to rsTester. Each version of rsTester in the different bindings
of the API offers a string argument for specifying extra configuration
options for a Reactis Tester run. The string may include one or more of
the following flags. All are optional.
Turns input abstraction on (1) or off (0).
Inputs abstraction usually improves the performance of Tester
and should be left on (default). In rare cases, turning it off
may improve coverage. If coverage problems are encountered with
inputs abstraction on, it may be beneficial to take a test
suite produced with abstraction on, pre-load it into Tester,
turn abstraction off, and then run Tester again.
Specify a list of coverage metrics that should be used to guide test
suite generation. Possible values for c1, c2, ... cn are the coverage
metric names listed in Coverage Metric Names.
Specify a list of .rst files to pre-load. preloadList
is of the form |
The y|n argument for each file specifies whether or not pruning
of the suite should be allowed. The random and targeted phases
will extend the preloaded tests. The preloaded test suite files
will not be modified.
Specify the number of seconds for which to produce test cases.
Tester will stop after either the timeout expires, all steps
steps in the random or targeted phases have been executed, or
full coverage is achieved for the model, whichever comes first.
If -q is given and -t is not given then Tester will
continue until either the timeout expires or full coverage is achieved.
Specify the number of tests and steps in the random phase. The
defaults are 5 tests of 1000 steps each.
Initial seed for the random number generator.
stepsInTargetedPhase specifies the number of execution steps to
take during the targeted phase of test generation. The default
is 20,000 steps.