Reactive Systems logo

Automated Testing and Validation with Reactis®

October 18, 2017
Newsletters
Patches
 
Spacer
Back to Patches Archive

November 18, 2015

Dear Reactis User:

We are pleased to announce the availability of Reactis for C V2015.

Reactis for C V2015

V2015 includes the following new features and enhancements:

Test Harnesses

Reactis for C V2015 includes several new features which make test harnesses more flexible and customizable:

  1. The type of a test harness input or output can differ from the type of the corresponding variable in the program under test. For example, a program input whose actual type is unsigned char can be mapped to Boolean. This greatly expands the number of test suites which can be directly used without importing.
  2. An entire structure can be used as a test harness input or output. Previously, test harnesses required structures to be partitioned into separate elements for each field. This allows test suites which contain records to be directly used without importing.
  3. Coverage metric and error checking settings are no longer global but are instead saved within each harness library (.rsh file), making it possible to create test harnesses which target specific coverage metrics or error conditions.
  4. Individual targets can now be excluded from coverage tracking. For an excluded target, Tester will not attempt to exercise the target with generated tests and Simulator will not include the target in coverage reporting (including exported reports).
  5. The error tolerance can be set individually for each output in a test harness.
  6. When importing a test harness from an .rsi file, multiple prefixes can be given to match an input/output/constraint variable with a corresponding variable in the program under test. Multiple prefixes must be separated by a comma and can only be used with the C code (multiple prefixes for RSI file variables are not allowed). The feature was added in patch release V2014.0.1.

New Coverage Metrics

  • Function metric, which tracks the functions that have been called.
  • Function Call metric, which tracks the function calls that have been executed.

For example, if a function f is called from two places in the program under test, one function target will be created for f and two function call targets will be created (one for each location in the source code where f is called).

Simulator

  • Reactis Simulator can be configured to handle undefined extern variables by producing an error, producing a warning, or doing nothing. In the latter two cases the undefined variable is initialized to zero.
  • Difference scopes are supported. A difference scope displays the outputs of a program and highlights the places where the program output deviates from the output value in the current test suite.

C99 Features

  • Variables can be declared after the first statement within a block.
  • Variables can be declared within a for statement.
  • Inconsistently bracketed initializers are allowed and processed according to C99 rules.
  • An option to always evaluate single precision floating point expressions using C99 rules (without promoting to double precision). This feature is particularly useful when testing code which will be deployed on a processor which only supports single-precision floating point.

Other Improvements

Reactis for C V2015 also includes the following miscellaneous improvements:

  • Test execution reports can be exported to XML.
  • Variables whose value is never read are highlighted in purple.
  • When building a program or library, you can choose to rebuild all files from scratch.
  • The C compiler can be configured to handle an empty structure or union definition by producing an error, producing a warning, or doing nothing.

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

Best Regards,
The Reactis Team

Back to Patches Archive

Spacer