Model Evaluation and Exploration Bounds Switches
The following switches act as bounds on model evaluation and exploration (E&E). Several are common to both test code generation (TCG) and on-the-fly (OTF) testing. Several apply only to TCG.
Model Evaluation and Exploration Bounds – TCG and OTF
The bounds switches below apply to both TCG and OTF. Note that they specify different behavior when used with TCG and OTF.
| Switch | Possible Values (Default Value Bold) | Description |
|---|---|---|
PathDepthBound |
32, number, none |
Defines a bound on the length of a path. A value of "none" means the number is not bounded. Exploration: When PathDepthBound is reached, exploration is terminated along that path. OTF: When PathDepthBound is reached, the current experiment is ended. |
StepsPerStateBound |
1024, number, none |
Defines a bound on the number of steps that can be issued from one state. A value of "none" means the number is not bounded. Exploration: Reaching StepsPerStateBound will terminate exploration along that path. OTF: Reaching StepsPerStateBound will terminate the experiment with a result of "Inconclusive". |
Model Evaluation and Exploration Bounds Switches – TCG only
The following table describes bound switches used only in TCG.
| Switch | Possible Values (Default Value Bold) | Description |
|---|---|---|
ExplorationErrorBound |
5, number, none |
Specifies the maximum number of exploration errors before exploration steps. A value of "none" means the number is not bounded. |
StateBound |
128, number, none |
Defines a bound on the total number of states to explore. A value of "none" means the number is not bounded. |
StepBound |
128, number, none |
Defines a bound on the total number of steps to explore. A value of "none" means the number is not bounded. |