Cary, NC (June 20, 2016) -- Reactis® V2016 was released today offering support for MATLAB® R2016a, Simulink® data dictionaries, and Windows 10. The update also adds a number of new features in the Reactis for EML Plugin to support interactive debugging of Embedded MATLAB code in models. A new option is also available to use the Z3 SMT solver to improve the coverage of Reactis-generated tests and to improve the static analysis employed to detect unreachable coverage targets.
Embedded MATLAB (EML) code can be incorporated into models using the MATLAB Function or Truth Table blocks in Simulink; or in MATLAB functions in Stateflow. Reactis V2016 lets you step into such EML code and monitor variable values as statements execute. Each statement is highlighted in green as it executes. You can execute a statement-at-a-time or set a breakpoint on a line so that simulation pauses when the line is reached. Variable values may be observed by hovering with the mouse over a variable name in the main panel or adding the variable to the watch list which appears at the bottom of the Reactis window. Some of these capabilities are visualized in the screenshot below.
Some enhancements to the C Plugin are as follows:
Several other new features are also included. Reactis now includes a setting to relax type checking in Stateflow to allow the comparison of enumerated values that are of different types. Such comparisons can now be flagged as an error, as a warning, or ignored. A new entry in the top-level Coverage menu lets you launch a quick HTML coverage report from within Simulator. The CSV test exporter now includes an option to export Boolean values as integers. Finally, the Tester launch dialog now offers an option to enable or disable the pruning of tests after the random phase. This can be useful if you wish to generate a set of random tests all of the same length. Previously Reactis always pruned steps from the ends of the test if the steps did not exercise new coverage targets. A number of new API functions have also been added.
About Reactive Systems. Reactive Systems, founded in
1999, is a software testing and validation company with offices
in Cary, NC and Nagoya, Japan. For more information about
Reactive Systems visit www.reactive-systems.com or call
+1-919-324-3507.
Reactis is a registered trademark of Reactive Systems, Inc.
MATLAB, Simulink, and Stateflow are registered trademarks of The MathWorks.