Reactive Systems logo

Automated Testing and Validation with Reactis®

May 1, 2017
Newsletters
Patches
 
Spacer
Back to Patches Archive

June 20, 2016

Dear Reactis User:

We are pleased to announce the availability of Reactis® V2016 and Reactis Model Inspector V2016 as well as the Reactis V2015.2.3 and V2015.0.3 patches.

Reactis V2016

The V2016 release of Reactis includes the bug fixes that were included in releases V2015.2.1 through V2015.2.3 plus the new features listed below.

Newly Supported Simulink Features

The following Simulink features are supported in Reactis V2016:
  • MATLAB R2016a.
  • Reactis now supports models using Simulink data dictionaries. Data dictionary entries can be used as configuration variables.
  • Support "Input port" setting for breakpoint data in Pre-Lookup block
  • Support "Input port" setting for table data in Interpolation block
  • Support Manual Switch block (current setting)

API improvements

  • Added API functions for modifying coverage tracking status of subsystems.
  • Added API functions for handling configuration variable sets.
  • Added API functions for handling outport tolerance settings.

Reactis for EML Plugin

  • The plugin now includes debugging capabilities including breakpoints, mini-stepping, hovering and watched variables. For more details see chapter 17 in the documentation.
  • Added support for "isequal" function.

Reactis for C Plugin

  • Allow assigning pre-compiled Reactis for C code to libraries used by Stateflow custom C code.
  • Ignore incomplete variable or function declarations which are never used.
  • The argument of an include directive can now be a macro.
  • Improved formatting of value shown when hovering on scalar character values and arrays of characters.
  • Produce warnings instead of errors for GCC-style extended "asm" statements (the assembly code will be ignored).

Other Enhancements

  • Support for Windows 10.
  • Option to use Z3 SMT Solver to improve the coverage of Tester-generated tests for some models and to improve the static analysis that identifies unreachable coverage targets.
  • Allow comparing enumerated values of different types in Stateflow.
  • Launch a quick HTML coverage report from the top-level Coverage menu.
  • Option to export Booleans as integers in CSV file.
  • Checkbox in Tester launch dialog to enable/disable pruning of tests after the random phase.
  • Reactis now stores information about model's top-level output ports and their types in the .rsi file to facilitate automatic harness creation for Reactis for C and simplify back-to-back testing with Reactis and Reactis for C.

Reactis Model Inspector V2016

  • Support MATLAB R2016a.

Reactis V2015.2.3

The following bugs were fixed since V2015.2.2:

  • Fixed issue where Reactis would show a "bug: Simulink.ConfigSet not found" error instead of the proper informational message (#3367).
  • Fixed bug that caused an error saying "invalid integer constant" if an integer literal in Stateflow is less than -2147483648 or larger than 4294967295 (#3369).
  • Fixed performance degradation that could occur for some large workspace arrays used as block parameters (#3328).
  • Resolved issue where Reactis used incorrect execution order for global From/Goto in rare cases (#3382).
  • Fixed issue where Reactis would only recognize some enumerated values used in Stateflow charts if they were prefixed with the enumeration name (#3331).
  • Fixed issue where the 64-bit patch installer would install an incorrect version of libreactis_vc.lib (#3345).
  • Fixed problems when attempting to assign a pre-compiled library to Stateflow custom code (#3373).
  • Fixed bug that caused single-character C code excerpts to not be shown properly in the coverage report browser (#3378).
  • Fixed issue where a space between a C macro name and its arguments would cause a syntax error during model import (#3375).
  • Fixed bug that caused a link error saying "DYNAMIC_DIMENSION is multiply defined" for some C macros used in Stateflow custom code (#3364).

Reactis V2015.0.3

The following bugs were fixed since V2015.0.2:

  • Fixed bug that caused an error saying "invalid integer constant" if an integer literal in Stateflow is less than -2147483648 or larger than 4294967295 (#3370).
  • Fixed issue where the 64-bit patch installer would install an incorrect version of libreactis_vc.lib (#3345).
  • Fixed issue where Reactis would only recognize some enumerated values used in Stateflow charts if they were prefixed with the enumeration name (#3331).
  • Fixed bug that caused a link error saying "DYNAMIC_DIMENSION is multiply defined" for some C macros used in Stateflow custom code (#3364).

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

Best Regards,
The Reactis Team

Back to Patches Archive

Spacer