Test Run Bounds

These switches specify bounds on test runs during on-the-fly (OTF) testing.

Test Run Bounds – OTF Only

These switches control testing behavior during OTF testing.

Switch Possible Values (Default Value Bold) Description

OnTheFlyGracePeriod

none, number

The maximum length of time in seconds that OTF testing will attempt to reach an accepting state after an OTF or a common testing bound has been encountered. If, after the grace period, the experiment has still not encountered an accepting state, nor produced a test failed result, the experiment will terminate with a test result of Inconclusive. A value of none means no grace period is in effect.

OnTheFlyMaximumExperimentCount

none, number

Defines the maximum number of experiments allowed in one on-the-fly testing test run before attempting to shut down (at the first encountered accepting state). The value of none means that the number of experiments is not limited.

OnTheFlyTimeOut

none, number

Specifies the time in seconds for which OTF testing will run before entering the grace period to finish the current experiment. The value of none means that there is no time limit.

See Also

Reference

SwitchClause

Concepts

Cord Syntax Definition