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