The document discusses multiple error detection techniques for C/C++ software development. It outlines the strengths and weaknesses of code structure analysis, runtime memory monitoring, unit testing, and flow-based static analysis. It concludes that Parasoft C++test provides a comprehensive solution by applying these complementary techniques in an integrated tool, allowing it to be the most comprehensive quality solution for embedded C/C++.

1. Multiple Error Detection Techniques in
C/C++ Software Development
September 2009
Wiktor Grodowski
Wiktor.Grodowski@parasoft.com

2. Introduction
There is no silver bullet for software quality
improvement
Multiple error detection techniques exist—each
with their own strengths and weaknesses
Parasoft C++test provides a comprehensive
solution to make software quality assurance
effective and accurate
Parasoft Proprietary and Confidential

3. Code Structure Analysis
Strengths
Facilitates coding standard compliance (MISRA C,
MISRA C 2004, MISRA C++ 2008, JSF, HIS, and
others)
Exposes typical errors
Prevents error-prone or dangerous constructs
Low introduction cost
Weaknesses
No recognition of actual versus potential errors
Parasoft Proprietary and Confidential

4. Runtime Memory Monitoring
Strengths
Detects actual severe errors with high accuracy
Easy-to-use and natural way of software testing
Makes a noticeable impact in a short time
Weaknesses
Covers only execution paths forced by the
provided input and conditions to the application
Parasoft Proprietary and Confidential

5. Unit Testing
Strengths
Provides means of extending coverage—especially
for error/interrupt handlers
Good for regression tests
Weaknesses
Relatively high creation and maintenance cost
Problem with reproducing proper application state
Parasoft Proprietary and Confidential

6. Flow-Based Static Analysis
Strengths
Examines code without actually executing it
Uncovers real bugs
Tests execution paths that are difficult to reach
with traditional testing
Weaknesses
Requires additional human verification
Parasoft Proprietary and Confidential

7. Summary
C++test can apply various techniques for
comprehensive error detection
Code structure analysis
Runtime memory monitoring
Unit testing
Flow-based static analysis
C+test runs tests on the host and target
With these complementary error detection
methods well-integrated into a single tool,
C++test is most comprehensive embedded
C/C++ quality solution
Parasoft Proprietary and Confidential

8. Q&A
Contact: Wiktor.Grodowski@parasoft.com
Parasoft Proprietary and Confidential