- Generate test suites from C code which comprehensively exercise all parts of 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 full coverage of a variety of coverage targets including MC/DC targets.
- Perform functional tests to determine if a program can ever violate any of its requirements,including safety properties.
- Replay a specific execution sequence which triggers a defect in order to understand, diagnose, and fix a bug.
Reactis for C also includes an array of sophisticated debugging features including breakpoints, value-tracking scopes, immediate detection of memory errors, and the ability to view macro-expanded code. 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.