Reactive Systems logo

Automated Testing and Validation with Reactis®

May 24, 2017
Newsletters
Patches
 
Spacer
Back to Patches Archive

May 31, 2011

Dear Reactis User:

Reactis V2010.2.2, V2010.0.7 and V2010.3 (beta) are now available.

Reactis V2010.2.2

The following bugs were fixed since V2010.2.1:

  • Fixed crash that could occur if an S-Function did not register all the parameters declared via ssSetNumRunTimeParams (#1745).
  • Fixed bug where conditional input branches were not propagated properly through some nested switch blocks (#1698).
  • Fixed "bug: accessArray: index out of bounds" error that could occur for certain look-up tables (#1738).
  • Fixed "bug: getPathById: Id not found" error that could occur when using the Stateflow "in()" operator in some models containing comment boxes (#1735).
  • Fixed problem where Reactis could mark some reachable boundary value targets at input ports as unreachable for some resolutions within large ranges (#1714).
  • Fixed "The data type or size of the block's output does not match the connected signal" error that could occur when connecting the output of a "Width" block to the input of a "For" block (#1677).
  • Resolved problem where Reactis could sometimes use an incorrect initial value for Stateflow "Parameter" data items (#1675).
  • Fixed "bug: enum-type.sml, compareVal: Cannot compare values of different types" error that could occur when different enumerated types used in a Stateflow chart contained values with the same name (#1673).
  • Fixed bug where division of some negative integer values within a chart could result in different outcome between Reactis and Stateflow (#1655).
  • Fixed problem that incorrectly caused an error message "All sample times in the model must be an integer-multiple of the fixed-step solver's step size" in some cases (#1649).

Reactis V2010.0.7

The following bugs were fixed since V2010.0.6:

  • Fixed crash that could occur if an S-Function did not register all the parameters declared via ssSetNumRunTimeParams (#1746).
  • Fixed bug where conditional input branches were not propagated properly through some nested switch blocks (#1699).
  • Fixed "bug: accessArray: index out of bounds" error that could occur for certain look-up tables (#1739).
  • Fixed problem where Reactis could mark some reachable boundary value targets at input ports as unreachable for some resolutions within large ranges (#1715).
  • Fixed "The data type or size of the block's output does not match the connected signal" error that could occur when connecting the output of a "Width" block to the input of a "For" block (#1678).
  • Resolved problem where Reactis could sometimes use an incorrect initial value for Stateflow "Parameter" data items (#1676).
  • Fixed bug where division of some negative integer values within a chart could result in different outcome between Reactis and Stateflow (#1656).
  • Fixed problem that incorrectly caused an error message "All sample times in the model must be an integer-multiple of the fixed-step solver's step size" in some cases (#1650).

Reactis V2010.3 (beta)

In addition to all bug fixes up to Reactis V2010.2.2, the following features were added:

Newly supported Simulink features

  • Initial support for MATLAB R2011a models. This means Reactis will work together with MATLAB R2011a and models created and edited with these versions will work in Reactis. However, not all new features introduced in MATLAB R2011a are supported. New features will be supported as demand increases. If you would like to see support for a new feature, please send a request to help@reactive-systems.com. We cannot guarantee all requests will be implemented but we use feedback to prioritize the development schedule (#1611).
  • Support "Rate Limiter" block (#65).
  • Support "Function-Call Split" block (#1696).
  • Support "Function-Call Feedback Latch" block (#1692).
  • Support enumerated types and values in S-Functions and Legacy Code blocks (#1684).
  • Support "ssRegisterTypeFromNamedObject" SimStruct function (#1634).
  • Support selecting number of bits to shift via input port and specifying shift direction for "Arithmetic Shift" block (#1612).

New features in the Reactis for C Plugin

  • Comments and inactive C code within #ifdef statements are now colored differently to differentiate them from already exercised code.
  • Improved reachability analysis to determine and highlight dead code.
  • Allow (small) numeric arrays to be added as watched variables.
  • Added setting to control the behavior of overflows when converting floating-point values to unsigned integer.
  • Generate warnings for expressions which do not have side-effects and whose result is ignored.
  • Produce a warning if __declspec and __attribute clauses are used in C code. Those clauses are not supported by the Reactis C compiler (#1657).
  • 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 (#1559).
  • Added support for the C99 builtin identifier __func__
  • Produce a warning if a non-void function does not return a value (#1601).
  • Allow boolean negation operator to be used on floating-point values (#1590).

Other Improvements

  • When running Reactis Tester, the user can now specify a total number of steps or a given maximum runtime instead of the detailed parameters for random and targeted phase (#565).
  • A new panel in the Reactis Info File editor allows the user to specify tolerances separately for each output port. The tolerances given there apply when running a test suite on a model in Reactis Simulator and when comparing Reactis and Simulink outputs via the "runtests" utility (#206).
  • A text search functionality has been added to Reactis. The search traverses all parts of the model, including Stateflow charts and any C code attached to the model (#11):
    • For Simulink systems, a search only searches block names. To search for specific block parameters, the parameter name followed by a colon has to be prefixed to the search term. For example, to search for the value "12" in the "Value" field of a Simulink block, enter "Value:12". To see all searchable parameters of a certain block type, right-click on any block of that type and select "View Block Parameters".
    • For Stateflow charts, Reactis searches transition and state labels.
    • For C code, the search function acts like a regular text search.
  • When extracting a subsystem, the user can now choose whether to include any triggering mechanism for the subsystem in the extracted model or not (#1679).
  • Reactis now produces more specific warnings if a configuration variable was set to be used in a place where Reactis does not support configuration variables (#1680).
  • Right-clicking on a system in the hierarchy panel now offers an option "Copy System Path" which will copy the system path of that model to the clipboard (#1416).
  • Treat hidden Stateflow targets the same in all reporting (#43).
  • Improved performance during model initialization for some models (#1747).
  • Improved conditional input branch execution to better handle multi-rate models (#1706).

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

Best Regards,
The Reactis Team

Back to Patches Archive

Spacer