Beyond Static Analysis: Integrating C and C++ Static Analysis with Unit Testing and More
0 likes620 views
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++.
Beyond Static Analysis: Integrating C and C++ Static Analysis with Unit Testing and More
- 1. Multiple Error Detection Techniques in C/C++ Software Development September 2009 Wiktor Grodowski [email protected]
- 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: [email protected] Parasoft Proprietary and Confidential