Reactive Systems logo

Automated Testing and Validation with Reactis®

December 11, 2017
Newsletters
Patches
 
Spacer
Back to Patches Archive

January 16, 2009

Dear Reactis User:

We are pleased to announce the availability of Reactis V2009, V2008.0.9 and V2007.0.13.

V2009

In addition to all bug fixes from Reactis V2008, the following features were added:

Virtual Sources

  • Virtual sources provide enhanced control over what values Reactis should feed into top-level input ports of a model.
  • Virtual sources can be added to your model within Reactis and connected to top-level input ports of a model. The model file itself is not modified in this process.
  • Like Validator objectives, virtual sources can be formulated as simple expressions (depending on Simulation time or other inputs) or complex systems modeled in Simulink and stored in a library.
  • Virtual source systems may contain Random Number or Uniform Random Number blocks to introduce custom randomness where desired.
  • Virtual sources can be enabled and disabled easily within Reactis Simulator.

Newly Supported Simulink Features

  • Support for MATLAB R2008b models.
  • Random Number or Uniform Random Number blocks are now supported if located within a Validator objectives or virtual source subsystems.
  • Support blocks that have a continuous sample time if the block is located in a model with a fixed-step discrete solver. This includes Signal Builder and Repeating Sequence blocks.

C-Plugin Improvements

  • Support "long long int", "long long unsigned int" and "_Bool" data types.
  • Improved performance of memory operations.
  • Improved overflow detection.
  • New option to detect invalid pointer calculations.
  • Greatly improved performance when executing S-Functions in white-box analysis.
  • In RSM files, absolute or relative paths can be used to specify source files or libraries.
  • Allow specifying compiler macro definitions in RSM files.

General Improvements

  • Difference scopes allow simple comparison of differences between expected and observed model outputs.
  • Boundary coverage tracking for relational operators working on floating-point values can be turned off entirely. Alternatively, the user may define the acceptable tolerance for these blocks.
  • New API functions rsSimExportSuiteEx and rsSimImportSuiteEx allow fine-tuning of test suite export and import via the API.
  • All broken links in models are immediately highlighted when the model is loaded.
  • A new switch in Reactis' settings dialog allows the use of a different method of invoking MATLAB which avoids the "hijacking" of existing MATLAB command windows.

V2008.0.9

The following bugs were fixed since V2008.0.8:

  • Fixed bug that caused Reactis to bring up a message saying "A block, assertion or target ... already exists in this system" after changing properties of existing Validator objectives.
  • Fixed bug that caused look-up-tables to stay highlighted in red even after all targets were covered for the table (occurred only when single-stepping).
  • Fixed bug that caused an "Not enough input arguments" error when using certain accumulator data types for "Sum" blocks in models created with MATLAB R2008a or later.
  • Fixed bug that caused copying and pasting of Validator objectives to not work in some cases.
  • Fixed crash that could occur occasionally when clicking the "Highlight" button in the Reactis error message box.
  • Fixed bug that caused Reactis to produce a "syntax error" when using large integer literals (10 digits) in Validator expression objectives.

V2007.0.13

The following bugs were fixed since V2007.0.12:

  • Fixed bug that caused Reactis to bring up a message saying "A block, assertion or target ... already exists in this system" after changing properties of existing Validator objectives.
  • Fixed bug that caused look-up-tables to stay highlighted in red even after all targets were covered for the table (occurred only when single-stepping).
  • Fixed bug that caused copying and pasting of Validator objectives to not work in some cases.
  • Fixed crash that could occur occasionally when clicking the "Highlight" button in the Reactis error message box.
  • Fixed bug that caused Reactis to produce a "syntax error" when using large integer literals (10 digits) in Validator expression objectives.

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

Best Regards,
The Reactis Team

Back to Patches Archive

Spacer