Skip to main content
SpringerLink
Log in

Programming Rule Static Verification for Reliable Software

  • Conference paper
  • First Online:
Computer Safety, Reliability and Security (SAFECOMP 1999)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1698))

Included in the following conference series:

  • 857 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. NASA, “C style guide”, Software Engineering Laboratory Series, SEL-94-003, August 94,.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. Erick Nyquist & Mats Herricson, “PROGRAMMING in C++ Rules and Recommandations”, Ellemtel Telecom. Systems Laboratories, réf. M 900118 rév. C.

    Google Scholar 

  5. Kernighan, Brian and Dennis Ritchie, “The C Programming Language”, Englewood Cliffs NJ, 1978 (1st Ed.), 1988 (2nd Ed.), Prentice Hall.

    Google Scholar 

  6. Scott D. Meyers, “Effective C++: 50 Specific Ways to Improve Your Programs and Designs”, Addison-Wesley, 2nd edition (September 1997), ISBN: 0201924889.

    Google Scholar 

  7. ISO/IEC, “Software product quality-Part 1: Quality model”, ISO/IEC FDIS 9126-1, 1999. See also ISO/IEC 9126:1991(E).

    Google Scholar 

  8. J.-C. Laprie, (Ed.), “Dependability: Basic Concepts and Terminology”, Dependable Computing and Fault Tolerance, Vol. 5, Vienna, Austria, Springer-Verlag, 1992.

    Google Scholar 

  9. Richard Bache et Gualtiero Bazzana, “Software Metrics for Product Assessment”, McGraw-Hill, 1993.

    Google Scholar 

  10. Rae, Robert and Hausen, “Software Evaluation for Certification”, International Software Quality Assurance Series, McGraw-Hill, ISBN 0-07-709042-X, 1995.

    Google Scholar 

  11. 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.

    Google Scholar 

  12. M. E. Fagan, “Advances in Software Inspections”, IEEE Trans. on Soft. Eng., Vol. SE-12, No7, July 1986.

    Google Scholar 

  13. 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.

    Google Scholar 

  14. Edsger W. Dijkstra, “Goto Statement Considered Harmful”, Com. of the ACM, March 1968.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ISOSCOPE, 8, rue Maryse Hilsz, F-31500, Toulouse, France

    Philippe Robert

Authors
  1. Philippe Robert
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. ENEA (sp 088), Via Anguillarese, 301, I-00060, Roma, Italy

    Massimo Felici

  2. LAAS-CNRS, 7, Avenue du Colonel Roche, F-31077, Toulouse Cedex 4, France

    Karama Kanoun

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation