24. Revision History#
Different versions of Reactis are labeled as shown in Figure 24.1 and described below.
Fig. 24.1 Version labels begin with a “V” and include three parts: a year, a major release number, and a patch release number. The parts are numbers separated by decimal points. By convention, trailing zeros are omitted.#
- Major Releases.
There are two major Reactis releases each year, for example V2023 and V2023.2.
- Beta Releases.
Reactive Systems sometimes makes beta releases available to customers interested in evaluating the newest features of Reactis. Beta releases do not undergo as much testing as major releases do. By convention, beta releases have odd numbered major release numbers. For example, V2023.1, and V2023.3 denote beta releases.
- Patch Releases.
Both stable and beta releases may be patched. The label for a patch release is constructed by extending the label for the major release to be patched with a suffix that includes a second decimal point and a patch release number. For example:
- V2023.0.1
denotes the first patch release for V2023
- V2023.2.3
denotes the third patch release for V2023.2
24.1. Patches Mailing List Archive#
Patches to Reactis are posted to the Reactive Systems website between major releases. To view a summary of recent changes, please view the archives of the Reactis Patches mailing list available at:
24.2. V2024.2 (21 November 2024)#
The V2024.2 release of Reactis includes the bug fixes that were included in patch releases through V2024.0.2, plus the new features listed below.
24.2.1. Performance Improvements for Large Models#
In many cases, large models will load more quickly and use less memory. Importing models with a large workspace using MATLAB invocation method Windows COM mechanism or Full MATLAB window has been improved so that the time required is the same as the time required when the invocation method is MATLAB engine interface.
24.2.2. 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.
24.2.3. 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. If Show Block Name Is Auto, the name is displayed only if the name does not match the block’s default name (including trailing digits).
24.2.4. Improvements to Zooming#
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.
24.2.5. Newly Supported Simulink Features#
The following Simulink features are newly supported in Reactis V2024.2:
MATLAB R2024b.
Subsystem Reference blocks (requires MATLAB R2022a or later).
Outport parameter Ensure Outport is Virtual.
24.2.6. Document Link 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.
24.2.7. Embedded MATLAB (EML) Support Improvements#
V2024.2 adds support for the following functions 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.
24.3. Previous Major Release Dates#
Major releases of Reactis for Simulink prior to V2024.2 occurred on the following dates:
V2024 |
June 5, 2024 |
V2023.2 |
December 22, 2023 |
V2023 |
June 30, 2023 |
V2022.2 |
December 23, 2022 |
V2022 |
June 22, 2022 |
V2021.2 |
December 23, 2021 |
V2021 |
July 9, 2021 |
V2020.2 |
December 18, 2020 |
V2020 |
July 17, 2020 |
V2019.2 |
December 20, 2019 |
V2019 |
June 28, 2019 |
V2018.2 |
December 20, 2018 |
V2018 |
June 27, 2018 |
V2017.2 |
December 22, 2017 |
V2017 |
July 7, 2017 |
V2016.2 |
December 22, 2016 |
V2016 |
June 20, 2016 |
V2015.2 |
December 18, 2015 |
V2015 |
June 30, 2015 |
V2014.2 |
December 19, 2014 |
V2014 |
June 25, 2014 |
V2013.2 |
December 17, 2013 |
V2013 |
August 14, 2013 |
V2012.2 |
December 19, 2012 |
V2012 |
June 14, 2012 |
V2011.2 |
December 20, 2011 |
V2011 |
June 22, 2011 |
V2010.2 |
November 19, 2010 |
V2010 |
February 8, 2010 |
V2009.2 |
July 22, 2009 |
V2009 |
January 16, 2009 |
V2008 |
June 10, 2008 |
V2007 |
October 31, 2007 |
V2006.2 |
November 6, 2006 |
V2006 |
January 25, 2006 |
V2005 |
May 18, 2005 |
V2004.2 |
December 17, 2004 |
V2004 |
March 3, 2004 |
V2003.2 |
October 16, 2003 |
V2003 |
February 4, 2003 |
V2002 |
June 3, 2002 |