Reactive Systems logo

Automated Testing and Validation with Reactis®

March 26, 2017
Newsletters
Patches
 
Spacer
Back to Patches Archive

June 25, 2014

Dear Reactis User:

We are pleased to announce the availability of the V2014 release of Reactis. The release includes updates to Reactis for Simulink, Reactis for C Plugin, and Reactis Model Inspector.

Reactis for Simulink

Newly Supported Simulink Features

The following Simulink features are supported in V2014:
  • MATLAB R2014a.
  • Support Stateflow ``box'' states within graphical functions.
  • Support Bus To Vector blocks.
  • Support mask parameter promotion.
  • Render HTML code in annotations.

Other Enhancements

  • A new option in the MATLAB tab of the Reactis Settings dialog allows switching between different MATLAB versions without requiring administrative privileges. To enable this feature, set the ``Invoke MATLAB via'' option on the MATLAB tab in the Reactis settings dialog to ``Windows COM interface''.
  • When extracting a subsystem whose inports or outports are virtual buses, Reactis now automatically creates a Simulink.Bus object to define the bus structure of the port in the exported subsystem. This avoids errors about missing signals when simulating the extracted subsystem.
  • New API functions to add Validator objectives.
  • Display transition execution order if user-defined transition ordering is enabled for a Stateflow chart.
  • When hovering over a transition, highlight corresponding transition label.
  • When exporting to .csv format it is now possible to specify the number of significant digits for the exported data.
  • Track coverage for configuration variables of ``array'' type.
  • Do not mark boundary targets as unreachable if they can not be reached via the current type restriction - those targets can potentially be covered by imported external data.
  • Allow zooming to a point by moving the scroll wheel while holding down the CTRL key.

C Plugin Features

The following new features have been added.
  • Optional expanded decision targets. Reactis for C Plugin can be configured to create decision targets for Boolean expressions which appear throughout a program, such as the first argument of the ternary operator (e1?e2:e3) or on the right-hand side of an assignment x = y || z;. Each additional decision target also causes more condition, MC/DC, and MCC targets to be created, resulting in a set of more comprehensive metrics for the code under test. What constitutes a decision is configured from the Coverage tab of the Reactis Info File Editor.
  • Detection of Infinity and Not-a-Number floating-point values. The Reactis for C Plugin can now be configured to raise an error or produce a warning when floating-point calculations result in Inf or NaN values. This option can be configured in the Error Checking tab of the Reactis Info File Editor.

Reactis Model Inspector

  • Support for MATLAB R2014a
  • Render HTML code in annotations.
  • Display transition execution order if user-defined transition ordering is enabled for a Stateflow chart.
  • When hovering over a transition, highlight corresponding transition label.

You may download the patches or full installers from the Reactis User Pages.

Best Regards,
The Reactis Team

Back to Patches Archive

Spacer