PolySpace Client for C/C++ 6.0

Product Description

• Introduction and Key Features
• Working with PolySpace Client for C/C++
• Reviewing Results
• Verifying Program Dynamics
• Errors Detected

Reviewing Results

PolySpace Client for C/C++ uses color coding to indicate the exact status of each element in the code, as follows:

Green: proven free of run-time errors and reliable under all operating conditions
Red: proven faulty each time the operation is executed
Gray: proven unreachable (may indicate a functional issue)
Orange: unproven code section

MISRA C 2004 and JSF++ coding violations are also detected. The client generates metrics and produces reports that you can use to monitor and improve code reliability and quality.

You can control the way code verification results are analyzed based on stage in the development process, criticality of the software component, and code certification requirements. PolySpace Client for C/C++ provides both predefined and customizable filters that let you analyze verification results in an iterative process. It optionally tests code marked orange, so you may choose whether to manually review verification results and exercise the unproven code sections with generated test cases.

By measuring the absence of errors and the rate of improvement in code quality, PolySpace Client for C/C++ enables developers, testers, and project managers to target code that is free of run-time errors and to assess or deliver code that can be proven correct.

Next