November 21, 2024
Dear Reactis User:
We are pleased to announce the availability of:
- Reactis V2024.2
- Reactis Model Inspector V2024.2
- Reactis V2024.0.3 patch
- Reactis V2023.2.5 patch
- Reactis for C V2024.0.1 patch
Reactis V2024.2
The V2024.2 release of Reactis includes all bug fixes that were included
in patch releases through V2024.0.3 plus the new features listed
below.
Improvements to Model Rendering
The rendering of models in Reactis has been improved in the following ways:
- Custom mask icons are displayed in most cases.
- Many built-in Simulink blocks that were drawn as empty rectangles in
prior versions of Reactis now display a mask icon.
- Block annotations are displayed underneath the block name.
Some annotations may reference variables which cannot be
retrieved, in which case the name of the variable is displayed.
- Block names are displayed in accordance with the Show Block Name
format parameter. Like Simulink, Reactis now hides default block names if
Show Block Name is set to Auto.
Performance Improvements for Large Models
Several improvements regarding support for large models have been implemented:
- In many cases, large models will load more quickly into Reactis and use less memory.
- For some large models, the time spent in the Generating MWI code stage of the
import process is significantly reduced.
- If the MATLAB invocation method is either Windows COM interface
or Full MATLAB window, the time to import a model using many
workspace variables has been reduced.
Improvements to SMT Solver Interface
The Reactis solver interface constructs and solves constraints for two purposes:
- to flag targets as unreachable
- to guide Reactis Tester in the selection of inputs to exercise targets during
test-generation.
Improvements to the solver interface in V2024.2 enable Reactis to flag more targets
as unreachable and to exercise more targets with generated tests.
The solver support for MC/DC and MCC coverage has been significantly
enhanced in V2024.2. Reactis can now flag many MC/DC and MCC targets as
unreachable that it previously was unable to flag. Reactis Tester also
covers more MC/DC and MCC targets than it previously covered.
The solver interface has also been extended to support the following
Simulink blocks: Selector, Assignment, Enable Port, Trigger Port (except
for the triggering condition), and Reset Port (except for the reset
condition). In many cases Reactis now formulates SMT constraints for
conditionally-executed subsystems and takes account of rounding mode
for most Simulink blocks with a rounding mode setting.
Newly Supported Simulink Features
The following Simulink features are newly supported in Reactis V2024.2:
- MATLAB R2024b.
- Subsystem Reference blocks. Subsystem Reference blocks are now supported
if Reactis is configured to use MATLAB R2022a or later.
- Outport parameter 'Ensure Outport is Virtual'.
Embedded MATLAB (EML) Support Improvements
V2024.2 adds support for the following functions are supported in all
places where Reactis supports the use of EML (e.g., MATLAB Function blocks,
MATLAB Action language in Stateflow):
- num2str, str2num, strlength, strcmp, char, exist, isfloat, isinteger, islogical.
The following functions are supported for drawing Simulink block masks:
- dpoly, droots, disp, text, image, patch, color, plot.
Other Improvements
- Handling of links from Reactis Validator objectives to external documents
(e.g., a Word or Excel file) is more robust. When following a link from an
external document to Reactis, the browser tab now includes useful
information about the link and any errors that occurred.
- When viewing a model in the main Reactis panel, you can now zoom in to a
region of interest by ctrl-clicking on a corner of the region and dragging
diagonally to the opposite corner.
Reactis Model Inspector V2024.2
The V2024.2 release of Reactis Model Inspector includes the following
new features.
Improvements to Model Rendering
The rendering of models in Reactis Model Inspector has been improved in the following ways:
- Custom mask icons are displayed in most cases.
- Many built-in Simulink blocks that were drawn as empty rectangles in
prior versions of Reactis now display a mask icon.
- Block annotations are displayed underneath the block name.
Some annotations may reference variables which cannot be
retrieved, in which case the name of the variable is displayed.
- Block names are displayed in accordance with the 'Show Block Name'
format parameter. Like Simulink, Reactis now hides default block names if
'Show Block Name' is set to 'auto'.
Newly Supported Simulink Features
Reactis Model Inspector adds support for MATLAB R2024b.
Reactis V2024.0.3
The following bugs were fixed since V2024.0.2:
- In certain cases where the output of a conditional subsystem feeds into a Unit Delay block,
Reactis may incorrectly classify a target in a connected block as unreachable, and subsequently
produce a "bug: covering unreachable target" message (#5587).
Reactis V2023.2.5
The following bugs were fixed since V2023.2.4:
- In certain cases where the output of a conditional subsystem feeds into a Unit Delay block,
Reactis may incorrectly classify a target in a connected block as unreachable, and subsequently
produce a "bug: covering unreachable target" message (#5587).
Reactis for C V2024.0.1
The following bugs were fixed since V2024:
- Some redundant pointer operations may cause decision-related targets
to be incorrectly marked unreachable (#5582).
- Reading non-word-aligned structures in some cases can fail with a
"misaligned index" bug message (#5542).
You may download the patches or full installers from the
Reactis User Pages.
Best Regards,
The Reactis Team