Reactive Systems logo
July 15, 2018

Reactis V2013.2 Released

Reactis V2013.2 Cary, NC (December 17, 2013) -- Reactis V2013.2 is now available, offering updates to Reactis, Reactis for C Plugin, and Reactis Model Inspector. The release includes support for MATLAB® R2013b, Stateflow® charts containing Simulink® functions, support for an extended subset of Embedded MATLAB, other enhancements, and bug fixes.

A new feature to import range information for top-level inports aims to streamline the efforts required to prepare a model for use with Reactis. Reactis lets users specify the minimum and maximum values that should arrive on an inport during testing. These range constraints are observed when Reactis generates test data. Reactis has always offered an easy-to-use graphical editor for specifying these ranges. API routines are also available to specify the ranges from a script or program. A feature new in V2013.2 lets Reactis automatically import this range information from a couple of different sources:

  • The min/max fields of the Signal Attributes section of the parameters for a top-level inport of the model.
  • The min/max fields set in Simulink.Signal objects that are attached to signal lines emerging from top-level inports.

The V2013.2 version of the Reactis for C Plugin includes a number of enhancements. A new stub generator produces a source file that contains definitions of missing functions and variables. V2013.2 also includes support for C99 compound literals, improved error messages, and Multiple Condition Coverage (MCC). MCC tracks whether all combinations of condition outcomes for a decision have been exercised. The previous Reactis release V2013 added support for MCC tracking in the Simulink and Stateflow portions of a model. When using the C Plugin, V2013.2 extends MCC to C code within S-Functions or Stateflow custom code.

Reactis Model Inspector has been extended to support Simulink R2013b.

More information on V2013.2: