Reactive Systems logo

Automated Testing and Validation with Reactis®

March 26, 2017
Newsletters
Patches
 
Spacer
Back to Patches Archive

September 30, 2010

Dear Reactis User:

We are pleased to announce the availability of Reactis V2010.0.4, V2009.2.7 and V2010.1 (beta)

Reactis V2010.0.4

The following bugs were fixed since V2010.0.3:

  • Fixed problem that could cause "bug: matlabEvalSaveParams: unexpected return value..." in some cases when using "set_param" in mask initialization code (#1394).
  • Fixed problem that could cause a "Data type mismatch for configuration variable" error if a configuration variable of fixed-point type had a slope or bias not representable in binary notation (#1411).
  • Fixed bug that could cause wrong result of subtraction in Stateflow if inputs were unsigned integers, output was double and the difference would be negative (#1306).
  • Fixed problem where divisions between a double and a single value with an output of single could be inaccurate for large values (#1408).
  • Fixed bug where a Multi-Port-Switch block would output an invalid value if its control input type was boolean and "Conditional Input Branch Execution" was enabled (#1385).
  • Fixed bug where Reactis did not ignore (and could in some cases report errors for) initial values set for virtual output ports of a subsystem (#1390).
  • Fixed "bug: inconsistent number of dimensions" that could occur for "Lookup-Table n-D" blocks if they are configured for 1-d lookup and the table data is given as a column-vector (e.g. [1;2;3]) instead of a row vector (e.g. [1,2,3]) (#1313)
  • Fixed bug that caused "Lookup-Table n-D" blocks configured for three or more dimensions to produce an error saying "Reactis does currently not support signals with more than 2 dimensions" (#1425)
  • Fixed problem that could cause a "Data type mismatch for configuration variable" error when using arrays of configuration variables of type embedded.fi (#1413).
  • Fixed bug that could cause Reactis to hang if a user attempts to open a test suite while un-added steps remained in the buffer (#1397).
  • Fixed problem that could cause Reactis Tester to run out of memory for some large models when using a large number of steps in the targeted phase (#1383).
  • Fixed bug where the "Add To Scope" menu entry could be present but empty in some cases when right-clicking on a block (#1399).
  • Properly use sample time setting of "Integer Delay" and "Tapped Delay" blocks (#1309).
  • Fixed bug where using quotation marks within external C macros that are used in Stateflow transition actions would cause a syntax error in Reactis (#1320).
  • Also search the MATLAB search path when looking for #include files in Stateflow custom code (#1360).
  • Fixed bug where Reactis could not find #include files given in the Stateflow simulation target options if no source files were specified in the target options (e.g. when only using C macros in Stateflow transitions) (#1324).
  • Fixed bug where Reactis would always return 0 as the result of a call to "strlen" when called from a macro used in Stateflow code (#1325).
  • Fixed "Lost connection to backend" error that could occur if a #include file given in the Stateflow simulation target options was not found and there were no source files given in the Stateflow target options (#1369).

Reactis V2009.2.7

The following bugs were fixed since V2009.2.6:

  • Fixed problem where divisions between a double and a single value with an output of single could be inaccurate for large values (#1409).
  • Fixed bug where Reactis did not ignore (and could in some cases report errors for) initial expressions set for virtual output ports of a subsystem (#1391).
  • Fixed bug where the "Add To Scope" menu entry could be present but empty in some cases when right-clicking on a block (#1400).
  • Fixed problem that could cause "bug: matlabEvalSaveParams: unexpected return value..." in some cases when using "set_param" in mask initialization code (#1395).
  • Fixed bug where a Multi-Port-Switch block would output an invalid value if its control input type was boolean and "Conditional Input Branch Execution" was enabled (#1396).
  • Fixed bug that could cause wrong result of subtraction in Stateflow if inputs were unsigned integers, output was double and the difference would be negative (#1307).
  • Properly use sample time setting of "Integer Delay" and "Tapped Delay" blocks (#1310).

Reactis V2010.1 (beta)

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

Newly supported Simulink features

  • Initial support for MATLAB R2010b models. This means Reactis will work together with MATLAB R2010b and models created and edited with these versions will work in Reactis. However, not all new features introduced in MATLAB R2010b 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 (#1260).
  • Reactis now supports the use of enumerated data types (classes derived from Simulink.IntEnumType) within a model (#1291).
  • Models using self-modification commands (commands like set_param, add_block etc., see section 14.1.2 in the user's guide) could previously cause problems because Reactis would not see the changes made by them. A new setting "Propagate set_param changes by saving the model to a temporary file" has been added to deal with this situation. If the new setting is enabled, when Reactis imports a model, it will first save the model to a temporary file after Simulink has applied all initialization modifications (#929).
  • Reactis now supports rounding modes "Convergent", "Round" and "Simplest" for blocks where a rounding mode can be specified (#1189, #1380).
  • Stateflow operators hasChanged, hasChangedFrom and hasChangedTo are now supported (#1117).
  • Support for the use of the type() function in data type declarations for Stateflow data items has been added (#1259).
  • Reactis now supports the "true" and "false" keywords in Stateflow actions (#1058).
  • Reactis now supports the "Vector" concatenation method for Simulink's "Concatetenate" block (#1230).
  • Support for the "Discrete Filter" block has been extended to include "single" input data types, vector and matrix inputs and the "Initial states" setting available in Simulink (#1168).
  • Support "Latch input by copying inside signal" setting in "Inport" blocks (#1145).
  • 2-d lookup tables now support "int * bool -> int" configurations (#1162).

New features in the Reactis for C Plugin

  • Step into, step over and step out-of buttons allow improved control in single-stepping mode (#1262).
  • Variables in C code can now be added as watched variables (#1261).
  • Scopes can be opened for global variables in C code (#1261).

Other Improvements

  • A new feature has been added to allow Reactis Tester to take advantage of multi-core architectures. This can be enabled by entering "-C N" (without the quotes) in the "Additional Parameters" setting in the "Test Suite->Create" dialog. The "N" stands for the number of cores to utilize and possible settings are 1-4. For example, entering "-C 2" in the "Additional Parameters" setting will cause Reactis Tester to utilize two cores (#1401).
  • Users can now limit the number of inputs that can change in a step during test generation with Reactis Tester. For example, to only allow one input to change between steps, enter "-c 1" in the "Additional Parameters" setting in the "Test Suite -> Create" dialog (#1318).
  • The "Test Suite->Update..." feature now allows an output format of .m if the "Update using Simulink" option is selected (#1253).
  • When exporting a test suite to ".m" format, fixpoint values may now be exported as "fi" objects instead of converting them to double values (#1223).

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

Best Regards,
The Reactis Team

Back to Patches Archive

Spacer