Reactis V2015 Now Available
Capability to Exclude Individual Coverage Targets
When measuring the completeness of a test suite, you might determine that it is unnecessary to exercise some coverage targets in a model, such as an upper bound of a Saturation block, or a decision which cannot evaluate to false due to defensive programming. A new Reactis feature lets you tag any coverage target in your model to be excluded from coverage tracking. When you exclude a target, Reactis Tester will not attempt to exercise the target when it generates tests and the target will not be factored into coverage tracking by Reactis Simulator.
When you exclude a target, you can either instruct Reactis to completely disregard it or to exclude and monitor it. In the latter case, the target will not be included in coverage counts, but if the target is ever exercised, Reactis will alert you. If you believe a target is unreachable, but are not certain, this mechanism offers an easy way to check.
The Reactis for EML Plugin
V2015 also includes a new product, the Reactis for EML Plugin, that integrates with Reactis to offer white-box testing of the portions of a model implemented using Embedded MATLAB (EML). Prior versions of Reactis let you process models containing EML, but they did not identify and try to exercise coverage targets within the EML code. When using the new EML Plugin, Reactis will identify and attempt to exercise EML statements, decisions, conditions, and MC/DC targets within the EML code of a model.
Other New Features
Reactis is a registered trademark of Reactive Systems, Inc.
MATLAB, Simulink, and Stateflow are registered trademarks of The MathWorks.