Reactis V2014.2 Now Available
V2014.2 also includes new coverage targets for Simulink blocks that have the Saturate on integer overflow setting enabled. For such blocks, Reactis can now track whether the block overflowed at the maximum, overflowed at the minimum, or no saturation occurred. The new targets (included in the boundary value metric) enable Reactis Tester to generate tests that exercise even more of a model's behavior. Reactis Simulator was extended to visualize coverage tracking of the new targets and the targets are also now included in coverage reports.
The runtests utility that enables the easy execution of Reactis-generated test suites in Simulink has been updated to simplify executing tests on models with top-level inputs containing enumerated or fixpoint types.
To facilitate the customization of reports, the output generated by Simulate → Fast Run with Report can now be saved as an XML file.
Reactis is a registered trademark of Reactive Systems, Inc.
MATLAB, Simulink, and Stateflow are registered trademarks of The MathWorks.