Reactive Systems logo

Automated Testing and Validation with Reactis®

September 20, 2017

Reactis V2008 Now Available

Falls Church, VA (June 10, 2008) -- Reactive Systems, Inc. (RSI) announced the V2008 release of its Reactis® testing and validation package today. The new version includes a host of new features and enhancements since the previous major release in October 2007. The Reactis for C Plugin boasts significant new functionality as well. The Reactis for C Plugin offers white box analysis of the C code portions of models (S-functions and custom C code called from Stateflow)

V2008 introduces several new capabilities related to how Reactis creates and manipulates test suites. Among these are test points, a feature that allows internal data items in a model to be tagged and stored in test suites. Test points can be viewed as virtual outputs. When a test suite containing test points is executed in Reactis Simulator, values computed by the model for a test point are compared against the test point values recorded in the test suite. Test points can also be exported to comma separated value (CSV) files.

The new release also includes improvements to the test suite import and export facilities. When importing a test suite, data items may now be remapped using a flexible and easy-to-use dialog. This gives users a simple way to reuse test suites when a model's interface changes (inputs, outputs, or test points are added, removed, or renamed). When exporting to a CSV format, a new dialog enables easy selection of only a subset of data items (inputs, outputs, test points) for inclusion in the exported CSV file. A new CSV compression mechanism enables files to be compressed on export and decompressed on import.

A number of other updates improve usability:

  • The data plotted in a Reactis Simulator Scope may now be exported to a CSV file with the click of a button.
  • Reactis Validator expression assertions tout a new interface that offers on-the-fly syntax checking and a wiring mechanism very similar to that of diagram assertions.
  • In user guided simulation mode, input ports can now be sorted by either name or port number.
  • Back and forward buttons similar to a web browser ease navigation of large models.

The second major release of Reactis for C Plugin also includes many major updates. These include support for:

  • fixed-point types in S-Functions,
  • calling libraries from Stateflow custom C code, and
  • for using macros defined in C header files within Stateflow actions.

More details regarding the V2008 enhancements may be found in the revision history in the Reactis User's Guide.

About Reactis. RSI's Reactis tool 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 over 40 major companies worldwide in the automotive, aerospace, and heavy-equipment industries.

About Reactive Systems. Reactive Systems, founded in 1999, is a privately held company based in the Washington DC suburb of Falls Church, VA. For more information about RSI visit www.reactive-systems.com or call +1-703-534-6458.

Contact Person:
Steve Sims
Reactive Systems, Inc.
120-B East Broad St
Falls Church, VA 22046 USA
+1 (703) 534-6458 (voice), +1 (703) 637-7101 (fax)
sims@reactive-systems.com (email)

Reactis is a trademark of Reactive Systems, Inc. Simulink and Stateflow are registered trademarks of The MathWorks, Inc.