Reactive Systems logo

Automated Testing and Validation with Reactis®

March 28, 2017
Newsletters
Patches
 
Spacer
Back to Patches Archive

January 09, 2014

Dear Reactis User:

Reactis V2012.1.5

We are pleased to announce the V2012.1.5 beta release of Reactis for C. Reactis for C is a testing and validation tool targeted at embedded software developers using the C programming language.

The following features were added since V2012.1.4

  • Support for the Multiple Condition Coverage (MCC) metric.
  • Execution reports now include coverage details.
  • The execution environment can be configured to assume that all undefined functions have no side-effects and return a value of zero.
  • Stub definitions of undefined functions and variables can be generated.

The following bug was fixed since V2012.1.4:

  • Boundary targets are sometimes incorrectly highlighted when viewing coverage details (#2618).

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

Best Regards,
The Reactis Team

Back to Patches Archive

Spacer