Reactis V2014 Now Available
Several enhancements support improved inspection of Stateflow diagrams. For example, you can now hover over a transition segment to see its label highlighted. As shown below this can help identify the segment to which a label belongs.
Reactis V2014 also now displays user-defined transition ordering as shown below.
In V2014, the Reactis for C Plugin lets you configure what constitutes a decision for tracking Decision, Condition, MC/DC, and MCC coverage. Previously, only the Boolean expressions that determine execution paths were considered decisions. For example, those in an if statement or a while or for loop. The new setting lets you configure Reactis to track decision related coverage for boolean expressions appearing in other parts of a program. For example, the expression e1 in e1 ? e2 : e3 or y || z in the statement x = y || z;.
Reactis is a registered trademark of Reactive Systems, Inc.
MATLAB, Simulink, and Stateflow are registered trademarks of The MathWorks.