Skip to main content

The SQALE Quality and Analysis Models for Assessing the Quality of Ada Source Code

  • Conference paper
Book cover Reliable Software Technologies - Ada-Europe 2011 (Ada-Europe 2011)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6652))

Included in the following conference series:

  • 742 Accesses

Abstract

This article presents the quality and analysis model of the SQALE assessment method of software source code. It explains how an Ada quality model compliant to SQALE is implemented and the results of its application to selected software, and how the use of Ada reduces the quality debt unlike many other technologies.

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

Access this chapter

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. Letouzey, J.-L., Coq, T.: The SQALE Models for assessing the quality of software source code, DNV Paris, white paper (September 2009)

    Google Scholar 

  2. Letouzey, J.-L., Coq, T.: The SQALE Models for Assessing the Quality of Real Time Source Code, ERTSS 2010, Toulouse (September 2010)

    Google Scholar 

  3. Letouzey, J.-L., Coq, T.: The SQALE Analysis Model - An Analysis Model Compliant with the Representation Condition for Assessing the Quality of Software Source Code. In: VALID 2010, Nice (August 2010)

    Google Scholar 

  4. http://www.sqale.org

  5. Crosby, P.B.: Quality is free: the art of making quality certain. McGraw-Hill, New-York (1979) ISBN 0-07-014512-1

    Google Scholar 

  6. Linstone, H.A., Turoff, M.: The Delphi Method: Techniques and Applications. Adison-Wesley, Reading (1975)

    MATH  Google Scholar 

  7. Saaty, T.L.: Fundamentals of Decision Making and Priority Theory. RWS Publications, Pittsburgh (2001)

    Google Scholar 

  8. McCall, J.A., Richards, P.K., Walters, G.F.: Factors in Software Quality. The National Technical Information Service 1(2,3) (1977)

    Google Scholar 

  9. Boehm, B.W., Brown, J.R., Kaspar, H., Lipow, M., McLeod, G., Merrit, M.: Characteristics of Software Quality. North Holland, Amsterdam (1978)

    Google Scholar 

  10. McCabe, T., Watson, A.H.: Structured Testing: A Testing Methodology using the Cyclomatic Complexity Metric, National Institute of Standards and Technology, Special Publication 500-235 (1996)

    Google Scholar 

  11. Chidamber, S.R., Kemerer, C.F.: A Metrics Suite for Object Oriented Design. IEEE Transactions on Software Engineering 20(6), 476–493 (1994)

    Article  Google Scholar 

  12. Fenton, N.E., Pfleeger, S.L.: Software Metrics: A rigourous & Practical Approach, 2nd edn. PWS Publishing Company, Boston (1997) ISBN 053495425-1

    Google Scholar 

  13. Brown, et al.: Anti patterns: refactoring software, architectures and projects in crisis. John Wiley, Chichester (1998) ISBN 978-0-471-19713

    Google Scholar 

  14. http://www.adalog.fr/adacontrol2.htm

  15. Rosen, J.-P.: AdaControl: a free ASIS based tool, presentation at FOSDEM, Brussels, Belgium (February 2006)

    Google Scholar 

  16. Rosen, J.-P.: On the benefits for industrials of sponsoring free software development. Ada User Journal 26(4) (December 2005)

    Google Scholar 

  17. Jemli, M., Rosen, J.-P.: A Methodology for Avoiding Known Compiler Problems Using Static Analysis. In: Proceedings of the ACM SIGAda Annual International Conference (SIGAda 2010), October 24-28. ACM Press, ACM order number 825100, Fairfax (2010)

    Google Scholar 

  18. PMD-CPD site, http://pmd.sourceforge.net/cpd.html

  19. Ada Web Server site, http://libre.adacore.com/aws/

  20. Rosen, J.-P.: Developing a Web server in Ada with AWS. Ada User Journal 25(3) (September 2004)

    Google Scholar 

  21. ISO/IEC 15291:1999. Information technology Programming languages Ada Semantic Interface Specification (ASIS)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Coq, T., Rosen, JP. (2011). The SQALE Quality and Analysis Models for Assessing the Quality of Ada Source Code. In: Romanovsky, A., Vardanega, T. (eds) Reliable Software Technologies - Ada-Europe 2011. Ada-Europe 2011. Lecture Notes in Computer Science, vol 6652. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21338-0_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-21338-0_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-21337-3

  • Online ISBN: 978-3-642-21338-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics