Abstract
Reactis® 1 for C will enter beta test
in early 2010 and is scheduled for release in mid-2010.
This white paper discusses how the automatic test generation
tool may be used to find bugs in C programs. Reactis Tester automatically
generates test cases that stress a program, often uncovering run-time errors.
The generated tests aim to maximize coverage with respect to a number of test
coverage metrics including Statement, Decision, Condition and Modified
Condition/Decision Coverage (MC/DC). Reactis Simulator is a simulation
environment for C programs that enables the user to execute and debug programs
and to track coverage during test execution. Reactis Validator enables an
engineer to formalize application requirements as assertions and perform
an automatic check for requirement violations. Validator performs these checks
by thoroughly simulating the model with the goal of violating assertions. When
an assertion fails (or a runtime error is detected), Validator returns a test
that may be run in Simulator to replay a concrete execution sequence leading to
the problem in order to understand, diagnose, and fix the bug.
|
