Reactis for EML Plugin

The Reactis for EML Plugin integrates seamlessly with Reactis for Simulink to offer white-box testing and validation of the Embedded MATLAB portions of models (e.g. MATLAB Function blocks). Together Reactis and the Reactis for EML Plugin automate the generation of test data from, and validation of models constructed with Simulink, Stateflow, and Embedded MATLAB code.

If you currently use MATLAB Function blocks in your Simulink models, the Reactis for EML Plugin will help you cut both the costs and time for testing and debugging the Embedded MATLAB code.

By automating testing and validation of Embedded MATLAB code within the same environment that tests your Simulink and Stateflow, the Reactis for EML Plugin enables you to do a more thorough analysis of your entire model much more quickly.

Generating Tests from 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.

Execute, Debug, Track Coverage of Embedded MATLAB Code

Reactis Simulator lets you visualize model execution. Simulator's user interface is similar to those of traditional debuggers from programming languages: it allows you to step through the execution of models by hand as well as set break points. Simulator also supports reverse execution, the replay of tests generated by Reactis Tester, the graphical display of different coverage metrics, and the capability to fine-tune Tester-generated test suites.

With Reactis for EML Plugin these advanced debug capabilities extend beyond Simulink and Stateflow and into Embedded MATLAB code. Step seamlessly from Simulink into a MATLAB Function block and set break points and track coverage in the Embedded MATLAB code.

Some capabilities of debugging Embedded MATLAB code with the Reactis for EML Plugin are shown in the image above:

1. Breakpoints. A breakpoint may be toggled on lines within EML code.
2. Single Stepping. EML code may be stepped through one statement at a time by clicking on the mini-step () button.
3. Hovering. When execution is paused within EML code:
   • hovering on a variable displays the variable value
   • hovering on a coverage target displays the coverage status
4. Watched Variables. When execution is paused within EML code and a variable is active, the variable may be added to the watched variable panel.

Try Reactis for EML Plugin

We hope you will try the Reactis for EML Plugin to see how the tool can help test and debug your Embedded MATLAB code. To download a free, fully functional evaluation copy of the Plugin, please visit the Reactis User Pages.

If you decide to buy, Reactis for EML Plugin can be licensed on either a perpetual or an annual basis, with both node-locked and floating options available.