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 actualoy 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.
展开▼
