RSI Logo

Model-Based Testing and Validation with Reactis®

White Paper: Finding Bugs in C Code with Reactis for C
spacer
Download PDF: Letter  |  A4



 
Spacer

5  Regression Testing

The automatic test-generation and execution offered by Reactis enables engineers to easily check whether a program conforms to the behavior of a previous version.

The benefits of automatic detection of runtime errors, interactive debugging, and automated program validation have been discussed above. This section describes how Reactis-generated tests may be used for regression testing.

A crucial aspect of the tests generated by Reactis Tester is that they include all program outputs as well as inputs. Hence these tests contain all the information needed to ensure that a revised version of a program conforms to a previous version. Reactis-driven regression testing proceeds as follows:

  1. Generate a test suite from the older version of the C program.
  2. For each test in the suite, execute the new version of the software using the input values contained in the test.
  3. Compare the output values produced by the software with those stored in the test.
  4. Record any discrepancies.

The net effect of regression testing with Reactis is better-quality software at a lower cost. Because good test data is generated and run automatically, less engineer-time is required to create and run tests.