We are pleased to announce the availability of Reactis V2009. The new version includes a host of new features and enhancements since the previous major release in June 2008.
V2009 introduces several new capabilities related to the virtual instrumentation of models for testing and validation. Virtual sources provide enhanced control over what values Reactis feeds into top-level input ports of a model when generating tests with Reactis Tester or when simulating the model in Reactis Simulator. From the Reactis GUI, virtual sources are easily added to a model and connected to its top-level input ports, leaving the model-under-test unmodified in the process.
When running a test suite on a model in Reactis Simulator, a difference scope may now be opened for any top-level output port of the model to plot the expected values for the port (stored in the test) against the actual values (computed by the model). The feature is useful when comparing different versions of a model, for example when comparing the fixed point and floating point versions. It can also be useful for comparing source code against a model.
Other enhancements include support for MathWorks R2008b, more flexibility in how boundary value coverage is tracked for relational operators, better TargetLink interoperability, and new API functions.
In V2009, the Reactis for C Plugin boasts significant new functionality as well. The Reactis for C Plugin offers white box analysis of the C code portions of models (S-functions and custom C code called from Stateflow).
More details regarding the V2009 enhancements may be found in the revision history in the Reactis User's Guide.
February 8, 2009 will mark the 10-year anniversary of the founding of Reactive Systems. Thanks to all of our customers for making the launch a success. We look forward to the next decade of working together to find new ways to increase software quality while decreasing development costs.
Reactive Systems has entered a distribution agreement with Cybernet Systems Taiwan, a wholly owned subsidiary of Cybernet Systems Co. based in Japan. The company provides computer aided engineering services and tools to the Taiwan market.
Cybernet Systems Taiwan will sell and provide front-line technical support for the Reactis testing and validation package for Simulink/Stateflow models as well as the Reactis for C Plugin. The latter product offers white-box testing of the C code portions of models (S-Functions and Stateflow custom code).
Best Regards,
The Reactis Team