Reactis V2017.2 Now Available
Conditional Input Constraints
Reactis has always included a facility to assign constraints (for example a range) to top-level inputs. If an input has a constraint, then Reactis Tester will only generate values for the input that adhere to the constraint, for example are within a specified range. V2017.2 extends this concept to let you specify different constraints for different simulation times. This enables you specify that an input has a specific initial value or that an input holds its value constant for some duration. For example, the screenshots below show how conditional input constraints specify that input onOff initially has value zero, then holds the value one until time five, and subsequently is randomly assigned the value zero or one.
Test Execution Report
When generating a test execution report, Reactis now gives you the option to include a section that lists all targets covered by a step in a test. For example, in the report to the right, step 46 of test 8 covers an MC/DC target, a Decision target, and a Condition target. Each of the three targets is located in the DeactivateActivate Stateflow® diagram.
Some other enhancements in V2017.2 include:
Reactis is a registered trademark of Reactive
Systems, Inc. MATLAB, Simulink, and Stateflow are registered trademarks
of The MathWorks. TargetLink is a registered trademark of dSPACE, GmbH.