Reactive Systems logo
July 15, 2018

Reactis V2013 Released

Reactis V2013 Cary, NC (August 14, 2013) -- Reactis V2013 is now available, offering updates to Reactis, Reactis for C Plugin, and Reactis Model Inspector. The release includes support for MATLAB® R2013a, support for the new .slx model file format, a new coverage metric Multiple Condition Coverage (MCC), several GUI enhancements, test-generation optimizations, export of coverage reports from the API, and bug fixes.

The new MCC metric offers an even more comprehensive level of testing than is afforded by the previously supported MC/DC. Note that MCC requires that for every decision, all combinations of condition outcomes must be observed. For example, consider the decision with three conditions: A && B && C. The MCC targets for this decision are enumerated in the tables below. Each row represents an MCC target: the final column stores the decision outcome while all other columns store a condition outcome. A T indicates the condition evaluated to true whereas an F represents false. The left table shows the case when short-circuiting is not used, while the right table shows the targets when short-circuiting is used (in which case an x in the table indicates the condition was not evaluated).

No Short-Circuiting
ABCDecision
FFFF
FFTF
FTFF
FTTF
TFFF
TFTF
TTFF
TTTT
                     
Short-Circuiting
ABCDecision
FxxF
TFxF
TTFF
TTTT

The tables highlight that many MCC targets exist when short-circuiting is not used. To be precise there are 2n targets when a decision contains n conditions. Note, however, that in the case when short-circuiting is used many fewer targets exist. In this case the number is four, which is the same number of MC/DC targets for this decision.

As is the case for all metrics supported by Reactis, Reactis Tester attempts to exercise as many MCC targets as possible and Reactis Simulator offers many ways to track MCC coverage. A simple yet powerful filtering mechanism, lets you instruct Reactis to display all MCC targets meeting a given criterion. For example, you can specify: display all covered MCC targets where A is true and C is false. Even if MCC tracking itself is not of interest to you, this capability to easily explore the coverage of MCC targets is helpful when aiming to achieve high levels of MC/DC coverage. The filtering mechanism is toggled by clicking on column headers as shown below. MCC filtering to display specified targets

Optimizations in Reactis Tester both improve coverage (especially for models containing lookup tables) and reduce the total number of steps in generated test suites. Note that due to the nature of the optimizations, not all models will see improvements.

V2013 also includes a number of GUI enhancements that affect both Reactis and Reactis Model Inspector. Simulink block coloring is now displayed as shown below. Note, that in Reactis the coloring is only shown when Reactis Simulator is disabled. This is to avoid interference with the coloring Simulator uses to convey coverage information. In the new release, the contents of Model Info and Doc blocks may also now be viewed. Finally, when performing a text search of a model, Reactis now also inspects the contents of Simulink annotations. Simulink block coloring

Reactis Simulator offers a new feature to simplify the diagnosis of assertion violations. The feature works as follows. If a violation occurs when running a test suite in Simulator (indicated by the assertion being highlighted in red and yellow), then you can right-click on the violated assertion and select Run to Violation. This will cause Reactis to switch to the test in which the violation occurs and run to the step where it occurs.

More information on V2013:

About Reactis. Reactis provides automated test-generation and model-validation capabilities for Simulink/Stateflow models of control software. The tool can be used to test for conformance between a model and implementation code, and it can also be employed to validate model behavior. Reactis is used at dozens of companies worldwide in the automotive, aerospace, and heavy equipment industries.

About Reactive Systems. Reactive Systems, founded in 1999, is a privately held company with offices in Cary, NC and Nagoya, Japan. The company offers tools and services to help improve software quality while reducing development costs. For more information visit www.reactive-systems.com or call +1-919-324-3507.