Skip to main content

Formalising Software Quality Using a Hierarchy of Quality Models

  • Conference paper

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

Abstract

The success of any activity relies on its quality. There are many approaches to quality assessment and management related to software activities like specification, modelling and design of all kind of artifacts (from large systems to small Java applets, from custom -made applications to commercial software). Unfortunately, these approaches are difficult to compare, combine or select because of the lack of a wi despread quality reference framework. In this paper we propose three kinds of hierarchically structured quality models in order to formalise software quality issues and deal with quality information modelling. A generic model that represents the fundamental concepts related to software quality is the root of this hierarchy. Starting from this generic model, many reference models that specialise it may be derived. Finally, reference models are refined into domain models that adapt them to a particular domain of software. In the paper, we define as example a reference model that adopts the ISO/IEC 9126-1 quality standard, classical proposals about metrics and the quality-related QML language. We then refine this model into three different domain models, for a kind of component libraries, databases and web services.

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

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Arnold, K., Gosling, J., Holmes, D.: The Java Programming Language. Addison-Wesley, Reading (2000)

    Google Scholar 

  2. Brassard, G., Bratley, P.: Fundamentals of Algorithmics. Prentice-Hall, Englewood Cliffs (1996)

    Google Scholar 

  3. Basili, V., Caldiera, C., Rombach, H.: Goal Question Metric Paradigm. In: Encyclopedia of Software Engineering, vol. 1, John Wiley & Sons, Chichester (1994)

    Google Scholar 

  4. Burton-Jones, A., Meso, P.: How good are these UML diagrams? An empirical test of the Wand and Weber good decomposition model. In: Procs. 23rd International Conference on Information Systems, ICIS 2002 (2002)

    Google Scholar 

  5. Carvallo, J.P., Franch, X., Quer, C., Torchiano, M.: Characterization of a Taxonomy for Business Applications and the Relationships among them. In: Int. Conf. COTS Based Software Systems (2004)

    Google Scholar 

  6. Aagedal, J.: Quality of Service Support in Development of Distributed Systems. PhD thesis, University of Oslo (2001)

    Google Scholar 

  7. Defense Advanced Research Projects Agency. The DARPA Agent Markup Language Homepage, Available at http://www.daml.org/ (Last accessed on March 2004)

  8. Franch, X., Carvallo, J.P.: Using Quality Models in Software Package Selection. IEEE Software 20(1), 34–41 (2003)

    Article  Google Scholar 

  9. Frølund, S., Koistinen, J.: Quality-of-service specification in distributed object systems. Distributed Systems Engineering Journal 5(4) (1998)

    Google Scholar 

  10. Fenton, N.E., Pfleeger, S.L.: Software Metrics: A Rigorous and Practical Approach. PWS (1998)

    Google Scholar 

  11. Franch, X.: Systematic Formulation of Non-Functional Characteristics of Software. In: Procs of the 3rd IEEE International Conference on Requirements Engineering, ICRE (1998)

    Google Scholar 

  12. Glass, R., Vessey, I.: Contemporary Application Domain Taxonomies. IEEE Software 12(4) (1995)

    Google Scholar 

  13. IEEE Standard 1061-1992. Standard for a software quality metrics methodology (1992)

    Google Scholar 

  14. ISO Standard 8402: Quality management and quality assurance-Vocabulary (1986)

    Google Scholar 

  15. ISO/IEC 15504: Information Technology - Software Process Assessment (1998)

    Google Scholar 

  16. ISO/IEC Standard 9126-1 Software Engineering - Product Quality - Part 1 (2001)

    Google Scholar 

  17. Kim, H., Boldyreff, C.: Developing Software Metrics Applicable to UML Models. In: 6th Workshop on Quantitative Approaches in O.O. Software Engineering, QAOOSE (2002)

    Google Scholar 

  18. Kitchenham, B., Hugues, R., Linkman, S.G.: Modeling Software Measurement Data. IEEE Transactions on Software Engineering 27(9) (2001)

    Google Scholar 

  19. Moody, D.L.: Metrics for Evaluating the Quality of Entity Relationship Models. In: Ling, T.-W., Ram, S., Li Lee, M. (eds.) ER 1998. LNCS, vol. 1507, pp. 211–225. Springer, Heidelberg (1998)

    Google Scholar 

  20. Musser, D.R., Saini, A.: STL Tutorial and Reference Guide. Addison-Wesley, Reading (1996)

    Google Scholar 

  21. Ruíz, A., Corchuelo, R., Durán, A., Toro, M.: Automated negotiation of quality requirements. In: Procs. VII Jornadas de Ingeniería Software y Bases de Datos, JISBD (2002)

    Google Scholar 

  22. Software Engineering Institute (CMU). The Capability Maturity Model: Guidelines for Improving the Software Process. Addison-Wesley (1995)

    Google Scholar 

  23. Keller, S.E., Kahn, L.G., Panara, R.B.: Specifying Software Quality Requirements with Metrics. IEEE Computer (1990)

    Google Scholar 

  24. Stevens, S.S.: On the theory of scale types and measurement. Science 103 (1946)

    Google Scholar 

  25. Asensio, J.I., Villagrá, V.A.: A UML Profile for QoS Management Information Specification in Distributed Object-based Applications. In: HP-OVUA Workshop (2000)

    Google Scholar 

  26. World Wide Web Consortium (W3C). Extensible Markup Language (XML), Available at http://www.w3.org/XML/ (Last accessed on March 2004)

  27. Zuse, H.: Framework of Software Measurement. De Gruyter (1998)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Illa, X.B., Franch, X. (2004). Formalising Software Quality Using a Hierarchy of Quality Models. In: Galindo, F., Takizawa, M., Traunmüller, R. (eds) Database and Expert Systems Applications. DEXA 2004. Lecture Notes in Computer Science, vol 3180. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30075-5_71

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30075-5_71

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22936-0

  • Online ISBN: 978-3-540-30075-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics