Reactive Systems logo

Automated Testing and Validation with Reactis®

October 17, 2017
Newsletters
Communicator
 
Spacer
Back to Communicator Archive
To : Reactis Users
From : Reactive Systems, Inc.
    http://www.reactive-systems.com/
Date : June 23, 2011

IN THIS INSTALLMENT:

  1. Reactis V2011 Now Available
  2. Lanika Solutions to Distribute Reactis in India

Reactis V2011 Now Available

We are pleased to announce the availability of Reactis V2011. The release includes numerous new features, enhancements, and bug-fixes for both Reactis and the Reactis for C Plugin. Some highlights are as follows.

Running Reactis Tester to generate comprehensive tests from a model is now even easier. A simplified dialog lets you specify a total number of simulation steps or a maximum runtime instead of the more detailed launch parameters. If you have grown attached to the old launch parameters, no worries, those are also still available.

When running Reactis-generated tests either in Reactis Simulator or in Simulink using the runtests utility, Reactis compares the values computed by your model for top-level output ports and for test points against the values stored in the test suite for those items. Any differences are flagged. Reactis has always supported a global tolerance for performing these comparisons so that small rounding errors are not flagged. A new feature in V2011 enables you to specify a different tolerance for each output or test point.

A new search facility lets you perform a text search of your model for strings matching a pattern you specify. You can easily search Simulink block names and parameters, Stateflow state names and actions, Reactis Validator objective names, configuration variable names, and C code (if you are using the Reactis for C Plugin).

Additionally in V2011:

  • Model initialization speed is improved for some models.
  • When extracting a subsystem, you can choose whether or not to include any triggering mechanism for the subsystem in the extracted model.
  • Right-clicking on a system in the hierarchy panel offers an option "Copy System Path" which will copy the system path of that subsystem to the clipboard.
  • Reactis produces more specific warnings if a configuration variable was set to be used in a place where Reactis does not support configuration variables.
  • Hidden Stateflow targets are treated the same in all reporting.

The following Simulink features are newly supported in V2011:

  • Initial support for MATLAB R2011a models.
  • Newly supported blocks: Rate Limiter, Function-Call Split, Function-Call Feedback Latch.
  • Support enumerated types and values in S-Functions and Legacy Code blocks.
  • Support "ssRegisterTypeFromNamedObject" SimStruct function.
  • Support selecting number of bits to shift via input port and specifying shift direction for Arithmetic Shift block.

V2011 also includes a number of new features in the Reactis for C Plugin. Some highlights are as follows.

  • Comments and inactive C code within #ifdef statements are colored differently to differentiate them from exercised code.
  • Improved reachability analysis to identify and highlight dead code.
  • Allow (small) numeric arrays to be added as watched variables.
  • Produce a warning if:
    • the result of an expression with no side-effects is ignored.
    • a non-void function does not return a value.
    • __declspec and __attribute clauses are used.
  • Treat "inline" functions as "static" to avoid errors about multiply defined functions when linking.
  • Added some C99 constants (NAN, INFINITY, HUGE_VAL, etc) to math.h.
  • Added support for the C99 built-in identifier __func__
  • Allow boolean negation operator to be used on floating-point values.

More details regarding the V2011 enhancements may be found in the revision history in the Reactis User's Guide. Customers with active SMS may download V2011 from the Reactis User Pages.

Lanika Solutions to Distribute Reactis in India

Reactive Systems has entered a distribution agreement with Lanika Solutions, provider of world-renowned technical products that contribute to the success of engineering projects. Lanika Solutions will sell and provide front-line technical support for all Reactive Systems products including Reactis, the Reactis for C Plugin, and Reactis for C. All products help engineers increase the quality of embedded software while decreasing verification and validation costs. The first two products support a model-based design process while the later supports a C-code process. More...

Best Regards,
The Reactis Team


Back to Communicator Archive
Spacer