PolySpace products prove the absence of run-time errors without the need to compile and run the code
|2 Jul 2009||Linda Webb||
For many embedded software projects, the primary verification goal is to find as many bugs as possible, as quickly as possible. The static analysis tools commonly used for this purpose are good at detecting flaws, but they do not prove that no errors remain in the source code. As a result, these tools do not prevent endless debugging loops and lengthy code-checking procedures. More seriously, they may leave potentially catastrophic defects undetected—unacceptable for applications that require high reliability. PolySpace code verification products provide a different approach—one that proves the absence of errors.
By Paul Barnard, Marc Lalo, and Jim Tung, The MathWorks