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:
- 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.
- 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.
- 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.
- 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).
- The error tolerance can be set individually for each output in a test harness.
-
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