Published on June 26, 2011
Bengaluru: Reactive Systems, Inc. announced the V2011 release of its Reactis® testing and validation package for Simulink®/Stateflow® models. The new version includes many new features and enhancements to both Reactis and the Reactis for C Plugin. Some highlights are as follows.
Reactis
A simplified Reactis Tester launch dialog makes it even easier to generate tests from a model. The user may now specify how long automatic test generation should last by giving a maximum run time or maximum number of simulation steps to take while constructing the test vectors. The old launch parameters are also still available.
When running Reactis-generated tests either in Reactis Simulator or in Simulink using the runtests utility, Reactis compares the values computed by a model for top-level output ports and for test points against the values stored in the test suite for those items. Any differences are flagged. Reactis has always supported a global tolerance for performing these comparisons to avoid flagging small rounding errors. A new feature in V2011 enables the specification of a different tolerance for each output or test point.
A new search facility lets you perform a text search of your model for strings matching a pattern you specify. You can easily search Simulink block names and parameters, Stateflow state names and actions, Reactis Validator objective names, configuration variable names, and C code (if you are using the Reactis for C Plugin).
Additionally in V2011:
The following Simulink features are newly supported in V2011:
Reactis for C Plugin
V2011 also includes a number of new features in the Reactis for C Plugin. Some highlights are as follows.