The C programming language
Advances in software inspections
IEEE Transactions on Software Engineering
Comparing the Effectiveness of Software Testing Strategies
IEEE Transactions on Software Engineering
Effective C++ (2nd ed.): 50 specific ways to improve your programs and designs
Effective C++ (2nd ed.): 50 specific ways to improve your programs and designs
Letters to the editor: go to statement considered harmful
Communications of the ACM
Software Evaluation for Certification
Software Evaluation for Certification
Software Metrics for Product Assesment
Software Metrics for Product Assesment
| Hi-index | 0.00 |
The aim of this article is to present experimental results related to static verification of programming rules. The experiment reported bears on 10 industrial software projects. The source code (C and C++) has been statically analysed to check for conformance to a set of programming rules. The results show that a significant amount of the defects identified are actually software faults that may lead to failures during execution. This article explains the verification method used and discusses tools for such verification. It analyses the results and formulates the recommendation to perform static verification of source code in a systematic way.