The Reactis Communicator
To |
: |
Reactis Users |
From |
: |
Reactive Systems, Inc. |
|
|
https://reactive-systems.com/ |
Date |
: |
June 17, 2003 |
IN THIS INSTALLMENT:
- Reactis Validator now available with Reactis V2003.1.1 (beta) release.
- Reactive Systems to exhibit at MathWorks International Automotive Conference
June 24, Dearborn, Michigan.
REACTIS V2003.1.1 NOW AVAILABLE
We are pleased to announce the availability of Reactis V2003.1.1, the
second beta release since V2003. The following new features have been
added since V2003.
-
The first version of Reactis Validator is now available. This
new component of the tool suite offers assertion checking for
Simulink/Stateflow models. For example, Validator enables an
engineer to check: ``Will my anti-lock brakes always engage when
the brake pedal is pressed?'' If Validator finds an assertion
violation, it returns a test that leads to the problem. This
test may then be executed in Reactis Simulator to gain an
understanding of the sequence of events that leads to the
problem. Additionally, users may specify custom coverage
objectives for which tests should be generated. See Chapter 8
of the Reactis User's Guide for details.
Note, current plans are to, upon completion of beta testing,
package Validator as an add-on to the base Reactis Simulator/Tester
environment (in much the same way that Stateflow is packaged as
an add-on to MATLAB/Simulink).
- The Tester launch dialog now maintains a history of parameter
values used to invoke test-suite generation and offers ``up''
and ``down'' buttons for scrolling through previously used sets
of parameters.
- Reactis now includes a facility to update the output values
of a test suite. If a model is modified, but its input ports
remain unchanged, then this feature may be used to re-run
a test suite generated for an older version of the model
and store the responses of the new model in a new test suite.
The result will be a new test suite with the same inputs at
each step, but with outputs that are generated by the new
version of the model.
- Reactis may now process models that include the 'ToFile' and
'ToWorkspace' blocks, by simply ignoring these blocks during
simulation.
- The Info File Editor has been enhanced as follows.
-
It is now better integrated with the main Reactis window.
- Users may now edit port types by right clicking on top-level
input ports in the main panel of Reactis.
- Port numbers are now displayed together with port names.
If a port name is hidden in an MDL file and the signal
connected to the port is named, the signal name is displayed
instead of the port name. Ports can now be sorted by either
port number or name by clicking on column header.
- Changes in the Info File Editor can now be undone/redone.
- Reactis no longer needs to go through the translation and type
inference cycle when just the ranges or delta constraints of top-level
input ports have changed.
- A new Coverage-Report Browser enables users to view
subsystem-by-subsystem coverage statistics for tests and test suites.
The browser also allows users to export coverage reports in HTML
format.
- It is now possible to view models in Reactis, even if referenced
libraries are missing. Broken links are marked by ``??'' in the diagram.
This enables models to be viewed by Reactis on machines that do not
have MATLAB installed.
- In Simulator, user's may now attach distribution scopes to data
items. This new type of scope enables users to visualize the set of
values a data item has assumed during simulation (but not the time at
which they occur).
- In the Test-Suite Browser, user's may now specify the number of
significant digits do be displayed for data values.
- Reactis now handles Japanese characters in model comments and
block names.
Owners of active licenses may download the V2003.1.1 distribution from:
https://reactive-systems.com/login.msp
RSI TO EXHIBIT AT MATHWORKS INTERNATIONAL AUTOMOTIVE CONFERENCE
Members of the Reactive Systems technical team will be exhibiting
Reactis at the MathWorks International Automotive Conference, June 24,
in Dearborn, Michigan. We encourage all current and prospective
customers to stop by the RSI booth for a demo of the latest Reactis
features. Additionally, members of the Reactis team will be in
Michigan for several days following the event for extended discussions
with Reactis users. Some time slots are still available, so if you are
interested in a meeting please call (703) 534-6458 or send email to
info@reactive-systems.com.
Best Regards,
The Reactis Team
This is the ninth installment of "The Reactis Communicator", a low
volume mailing list for conveying information about Reactis, RSI's
embedded software design automation tool suite. Reactis enables users
to deploy model-based software testing to dramatically reduce the
costs of testing embedded control software. The tools are designed for
use in conjunction with the Simulink and Stateflow modeling
and simulation environments offered by The MathWorks, Inc.
If you are no longer interested in receiving information about
Reactis, please see the instructions below for removing yourself from
the list and we apologize for the intrusion.
Reactis is a trademark of Reactive Systems, Inc. MATLAB, Simulink, and
Stateflow are registered trademarks of The MathWorks, Inc.