Generate tests from C code. Detect run-time errors. Track coverage: Statement,
Decision, Condition, MC/DC. When an error is detected, replay a concrete
execution sequence leading to the problem in order to understand, diagnose, and
fix the bug.
Build better embedded software faster.
RSITR 2.1
February 8, 2010
|
