1 Introduction
Reactis for C helps engineers build better software faster by finding bugs earlier.
Using Reactis for C, engineers may:
-
Generate test suites from C code that thoroughly exercise a program (structural testing).
- Find run-time errors, such as memory errors, overflow errors, divide-by-zero errors, etc.
- Interactively execute a program while tracking progress towards coverage of a variety
of coverage targets including MC/DC targets.
- Perform functional tests to check whether or not a program can ever violate any of
its requirements, including safety properties.
- Replay a concrete execution sequence leading to a problem in order to understand,
diagnose, and fix a bug.
Reactis for C also includes an array of sophisticated debug features including
breakpoints, value-tracking scopes and reverse execution.
In this paper, we discuss how Reactis for C
may be used to automate different verification and validation activities
in your software quality assurance process.
| Figure 1: Reactis for C is a standalone application that reads the
.c and .h files comprising a program to generate tests and find bugs. |
|
