Reactive Systems logo
March 22, 2023
Reactis for EML Plugin
Generating Tests
Test all parts of the model:
Simulink, Stateflow,
and Embedded MATLAB code.

Reactis Tester, the test-generation component of Reactis, relies on model coverage metrics to construct tests. The tool tracks several coverage metrics as it selects test data, and uses uncovered elements of these metrics to influence subsequent tests that it creates.

With the Reactis for EML Plugin, Tester measures coverage in the Embedded MATLAB code as well as in the Simulink and Stateflow portions of a model. The new coverage targets include MATLAB statements, as well as decisions, conditions, and MC/DC targets in the code. The net effect is more comprehensive tests than only tracking coverage targets in the Simulink and Stateflow portions of the model.

Tester employs a patented technique called guided simulation to build tests. 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 Embedded MATLAB code to select input data that will advance the coverage of the model.