Reactive Systems logo

Automated Testing and Validation with Reactis®

June 26, 2017
Newsletters
Patches
 
Spacer
Back to Patches Archive

To: Subscribers to Reactis Patches Mailing List
From:
Reactive Systems (http://www.reactive-systems.com)
Date:
May 26, 2006

We are pleased to announce the availability of Reactis V2006.0.10 and V2006.1 (Beta).

V2006.0.10

The following bugs were fixed since V2006.0.9.

  1. An issue that caused incorrect computation of fixed-point addition for some bias settings has been corrected.

V2006.1 (Beta)

The following new features have been added since V2006.

  1. Support for fixed point values in S-Functions.
  2. Support for user-written C code in Stateflow charts.
  3. Do not count purely atomic subsystems in conditional subsystem coverage.
  4. Track coverage for ``Enable'' blocks to make Reactis try to have enabled subsystems be disabled at least once.
  5. Track coverage for ``else'' branch in ``If'' and ``Switch Case'' blocks even if the block is configured to not have an outport for these cases.
  6. Additional branch coverage targets have been introduced for Switch Case blocks. Previously Reactis tracked one branch target per outport of a Switch Case block. However, some outputs may be triggered when the control input matches one value from of a set. For such outports activated by multiple values, Reactis now tracks a branch target for each value in the set.
  7. Track MC/DC coverage for Simulink ``If'' blocks.
  8. Track branch coverage for ``Abs'' and ``Sign'' blocks.
  9. Support "external index input" setting in For Iterator blocks.
  10. Improved logging capabilities to help track down problems with Reactis.
  11. If no Data Store Memory block for X exists a model, but there is a workspace data item X of type Simulink.Signal, then Simulink creates a temporary Data Store Memory block with that name at the top-level of the model. Data Store Read and Write blocks in the model can read and write such implicitly declared Memory blocks. Reactis now supports this type of implicit declaration of Data Store Memory blocks.

You may download the patches or full installers from:

http://www.reactive-systems.com/login.msp

Best Regards,
The Reactis Team

Back to Patches Archive

Spacer