Reactive Systems logo

Automated Testing and Validation with Reactis®

July 22, 2017
Newsletters
Patches
 
Spacer
Back to Patches Archive

July 07, 2017

Dear Reactis User:

We are pleased to announce the availability of Reactis® V2017 and Reactis Model Inspector V2017 as well as the Reactis V2016.2.4 patch.

Reactis V2017

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

Newly Supported Simulink Features

  • Support MATLAB R2017a.
  • Support Variant Source and Variant Sink blocks.
  • Support Lookup and Prelookup blocks in which the input data type is different from the breakpoint data type.
  • Support outputting Stateflow leaf-state and child-state activity to Simulink.

New API Functions

  • Added API functions to add/modify/remove test points.
  • Added options to include/exclude plots in test execution report

Reactis for EML Plugin

  • Support 'struct' function
  • Support empty 'otherwise' branches in 'switch' statement.

Enhanced Test Points

  • Previously, test points in Reactis could only be used to capture model data and compare it to data in a test suite. In Reactis V2017, test points can also be used to check a value in a model against boundary constraints defined for the test point. Reactis can track whether the boundaries have been met and/or exceeded. Test points exceeding their boundaries can be recorded as either warnings, errors or assertion failures.
  • Captured test point data can be constrained to the given boundaries.
  • All test point operations such as adding, modifying or removing are now available via the Reactis API.

Enhanced Scopes

  • When zooming into scopes, instead of zooming a fixed amount, the user can draw a rectangle of interest and the scope will zoom to that rectangle.
  • When zoomed into a scope, the scope window can be moved along the signal by holding the CTRL key while dragging.
  • Improved the choice of major and minor tick marks.
  • A screen shot of the scope can be exported to a file or copied to the clipboard.

Test Execution Report Enhancements

  • Show input/output/testpoint signals in test execution report.
  • Show model version in test execution report.
  • User-defined default values can now be specified for the test execution report.
  • Tolerance for each input and test point is included in the report.

Reactis Model Inspector V2017

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

Newly Supported Simulink Features

  • Support MATLAB R2017a.
  • Support Variant Source and Variant Sink blocks.

Reactis V2016.2.4

The following bugs were fixed since V2016.2.3:

  • Fixed GUI crash after starting Simulator for very large models in 64-bit Reactis (#3752).
  • Fixed GUI crash that could occur when enabling Simulator if "propagate set_param..." option is enabled and Validator Objectives have been modified (#3756).
  • Fixed "bug: unexpected LUT index" when using "breakpoint" coverage schema in lookup tables (#3743).
  • Fixed issue where rsExtractSubsystem would fail in MATLAB R2015b and later in some cases (#3754).

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

Best Regards,
The Reactis Team

Back to Patches Archive

Spacer