Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
NASA, “C style guide”, Software Engineering Laboratory Series, SEL-94-003, August 94,.
Centre National d’Etudes Spatiales, “Régles essentielles pour l’utilisation du langage C”, MPM-53-00-06, 1 Mars 1995, Ed.2-Rév.0.
Centre National d’Etudes Spatiales, “Régles essentielles pour l’utilisation du langage C++”, MPM-53-00-13, 16 juin 1996, Ed.1-Rév.0.
Erick Nyquist & Mats Herricson, “PROGRAMMING in C++ Rules and Recommandations”, Ellemtel Telecom. Systems Laboratories, réf. M 900118 rév. C.
Kernighan, Brian and Dennis Ritchie, “The C Programming Language”, Englewood Cliffs NJ, 1978 (1st Ed.), 1988 (2nd Ed.), Prentice Hall.
Scott D. Meyers, “Effective C++: 50 Specific Ways to Improve Your Programs and Designs”, Addison-Wesley, 2nd edition (September 1997), ISBN: 0201924889.
ISO/IEC, “Software product quality-Part 1: Quality model”, ISO/IEC FDIS 9126-1, 1999. See also ISO/IEC 9126:1991(E).
J.-C. Laprie, (Ed.), “Dependability: Basic Concepts and Terminology”, Dependable Computing and Fault Tolerance, Vol. 5, Vienna, Austria, Springer-Verlag, 1992.
Richard Bache et Gualtiero Bazzana, “Software Metrics for Product Assessment”, McGraw-Hill, 1993.
Rae, Robert and Hausen, “Software Evaluation for Certification”, International Software Quality Assurance Series, McGraw-Hill, ISBN 0-07-709042-X, 1995.
Mayrand et al., “Evaluating the Benefits of Clone Detection in the Software Maintenance Activities in Large Scale Systems”, Workshop on Emp. Soft. Studies, Monterey, Nov., 96.
M. E. Fagan, “Advances in Software Inspections”, IEEE Trans. on Soft. Eng., Vol. SE-12, No7, July 1986.
Victor R. Basili, Richard W. Selby, “Comparing the Effectiveness of Software Testing Strategies” IEEE Trans. on Soft. Eng., Vol. SE-13, No 12, December 1987.
Edsger W. Dijkstra, “Goto Statement Considered Harmful”, Com. of the ACM, March 1968.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Robert, P. (1999). Programming Rule Static Verification for Reliable Software. In: Felici, M., Kanoun, K. (eds) Computer Safety, Reliability and Security. SAFECOMP 1999. Lecture Notes in Computer Science, vol 1698. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48249-0_21
Download citation
DOI: https://doi.org/10.1007/3-540-48249-0_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66488-8
Online ISBN: 978-3-540-48249-9
eBook Packages: Springer Book Archive