|
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 uses uncovered elements of these criteria to influence subsequent tests that it creates. With Reactis for C Plugin, Tester measures coverage in the C code as well as in the Simulink and Stateflow portions of a model. The net effect is more comprehensive tests. 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 and code to select input data that will advance the coverage of the model |
 |
| ||||
