Reactive Systems logo

Automated Testing and Validation with Reactis®

April 26, 2018
Newsletters
Patches
 
Spacer
Back to Patches Archive

December 22, 2017

Dear Reactis User:

We are pleased to announce the availability of Reactis® V2017.2 and Reactis Model Inspector V2017.2 as well as the Reactis V2017.0.3 and Reactis V2016.2.7 patches.

Reactis V2017.2

The V2017.2 release of Reactis includes the bug fixes that were included in releases V2017.0.1 through V2017.0.3 plus the new features listed below.

Newly Supported Simulink Features

  • Support MATLAB R2017b.
  • Support Permute Dimensions block.

Conditional Input Constraints

The static input constraints available in Reactis prior to V2017.2 (such as giving a minimum and maximum to specify a range) did not allow you to specify constraints that depend on simulation time. For example, it was previously not possible to specify an initial value for an input or that an input should be held for some amount of time.

Reactis V2017.2 introduces a new concept of conditional input constraints, where constraints can depend on the current simulation time.

Scope Signal Groups

Reactis V2017.2 allows multiple signals to be shown within the same window where each signal has its own y-axis. This improves on the previous displays where all signals within the same scope window shared the same scaling, which could result in small signals becoming overpowered by larger signals.

API Improvements

  • rsSimImportSuite recognizes flag "-M" to only import a suite if inputs and outputs match the current model. If the flag is not given, Reactis will adjust the imported data by leaving out input data from the test suite not used in the model and adding random values for data required by the model but not available in the test data.
  • Added rsGUI API function to start Reactis GUI from the MATLAB command line.
  • Added rsRsiRange, rsRsiSet, rsRsiDelta functions to simplify setting type constraints via the API.
  • Added rsRsiIfThenElse function to support setting conditional input constraints.

Test Execution Report Enhancements

The Test Execution Report now has an option to include a step-by-step listing of the coverage targets that were covered in each step.

Reactis for EML Plugin

Support dynamic creation of structure values.

Other Enhancements

  • Referenced models now inherit import settings from their parent model. This significantly reduces the setup necessary for models using model referencing.
  • Added option to not show empty subsystems in the hierarchy panel.
  • Variables in the watched variable panel are highlighted when their value changes.
  • Coverage tracking can now be disabled for all targets within Validator Diagram Objectives.
  • Reactis can now import fixpoint information such as slope and bias as well as ranges from the TargetLink data dictionary.
  • When importing test points, Reactis can import signal ranges set in Simulink.signal objects and automatically create assertions to monitor the ranges during test case generation.
  • Added option to use signal name (instead of block name) for imported test points.
  • Test points now break up conditional input branches and multi-block MC/DC groups, allowing coverage tracked for a model to better match coverage of corresponding C code.
  • A new option allows to exclude the "equal" case when tracking relational operator boundary coverage.
  • When exporting to CSV, strip out the "(1)(1)" suffix for 1x1 matrices.
  • Properly draw contents of Compare To Constant subsystem.

Reactis Model Inspector V2017.2

The V2017.2 release of Reactis Model Inspector includes the new features listed below.

Newly Supported Simulink Features

  • Support MATLAB R2017b.
  • Draw relational operator and constant on Compare To Constant block.

Reactis V2017.0.3

The following bugs were fixed since V2017.0.2:

  • Fixed initial value for Merge blocks in Simplified Initialization mode when no initial value is specified (#3900).
  • Fixed issue where states and/or outputs in function-call subsystems triggered from within an enabled subsystem were not always properly reset (#3884, #3886).
  • Fixed "bug: Uncaught exception: Incomplete" that could occur when non-ASCII characters were included in MATLAB function code comments (#3889).
  • Fixed issue where "Propagate set_param..." setting is ignored if a workspace variable named "true" is defined as a Simulink.Parameter object (#3875).
  • Fixed issue where matrices using newline characters instead of ";" would cause Reactis to use incorrectly shaped matrices (#3871).
  • Fixed "Error: unexpected MATLAB expression" for Variant Subsystem blocks using boolean expressions instead of variant objects (#3903).
  • Fixed incorrect highlighting within the Validator Objectives pane in the info file editor after removing Validator objectives (#3897).
  • Fixed bug where the Reactis installer would place some supporting scripts in an incorrect folder location (#3880).

Reactis V2016.2.7

The following bugs were fixed since V2016.2.6:

  • Fixed initial value for Merge blocks in Simplified Initialization mode when no initial value is specified (#3901).
  • Fixed issue where states and/or outputs in function-call subsystems triggered from within an enabled subsystem were not always properly reset (#3885, #3887).
  • Fixed "bug: Uncaught exception: Incomplete" that could occur when non-ASCII characters were included in MATLAB function code comments (#3890).
  • Fixed issue where "Propagate set_param..." setting is ignored if a workspace variable named "true" is defined as a Simulink.Parameter object (#3876).
  • Fixed issue where matrices using newline characters instead of ";" would cause Reactis to use incorrectly shaped matrices (#3872).
  • Fixed "Error: unexpected MATLAB expression" for Variant Subsystem blocks using boolean expressions instead of variant objects (#3904).
  • Fixed incorrect highlighting within the Validator Objectives pane in the info file editor after removing Validator objectives (#3898).
  • Fixed bug where the Reactis installer would place some supporting scripts in an incorrect folder location (#3881).

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

Best Regards,
The Reactis Team

Back to Patches Archive

Spacer