|
Tester, the test-generation component of Reactis, relies on model coverage criteria to construct tests. The tool tracks several coverage criteria as it computes test data, and it uses uncovered elements of these criteria to influence subsequent tests that it creates. The coverage criteria include generic ones such as decision, condition, and MC/DC; Simulink-specific measures such as branch and subsystem; and Stateflow-specific metrics such as state, condition-action (has every such action been executed at least once?) and transition-action. Tester employs a patent-pending technique called guided simulation to build test suites. Tests in Reactis correspond to simulation runs, with the inputs at each step in a run constituting the input data used for the test. At each step in a simulation run, Tester uses information about uncovered parts of the model to select input data that will advance coverage of the model. |
 |
| ||||
