Formalising Software Quality Using a Hierarchy of Quality Models

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.

[1]  Xavier Franch,et al.  Systematic formulation of non-functional characteristics of software , 1998, Proceedings of IEEE International Symposium on Requirements Engineering: RE '98.

[2]  Svend Frølund,et al.  Quality-of-service specification in distributed object systems , 1998, Distributed Syst. Eng..

[3]  Ken Arnold,et al.  The Java Programming Language , 1996 .

[4]  Daniel L. Moody,et al.  Metrics for Evaluating the Quality of Entity Relationship Models , 1998, ER.

[5]  Julio Berrocal,et al.  UML Profiles for the Specification and Instrumentation of QoS Management Information in Distributed Object-based Applications , 2001 .

[6]  Robert L. Glass,et al.  Contemporary Application-Domain Taxonomies , 1995, IEEE Softw..

[7]  Shari Lawrence Pfleeger,et al.  Software Metrics : A Rigorous and Practical Approach , 1998 .

[8]  Barbara A. Kitchenham,et al.  Modeling Software Measurement Data , 2001, IEEE Trans. Software Eng..

[9]  David R. Musser,et al.  STL tutorial and reference guide - C++ programming with the standard template library , 1996, Addison-Wesley professional computing series.

[10]  Lee Lacy,et al.  Defense Advanced Research Projects Agency (DARPA) Agent Markup Language Computer Aided Knowledge Acquisition , 2005 .

[11]  Peter Meso,et al.  How Good Are These UML Diagrams? An Empirical Test of the Wand and Weber Good Decomposition Model , 2002, ICIS.

[12]  Horst Zuse,et al.  A Framework of Software Measurement , 1998 .

[13]  Marco Torchiano,et al.  Characterization of a Taxonomy for Business Applications and the Relationships Among Them , 2004, ICCBSS.

[14]  David R. Musser,et al.  STL tutorial and reference guide , 2001 .

[15]  Gilles Brassard,et al.  Fundamentals of Algorithmics , 1995 .

[16]  Cornelia Boldyreff,et al.  Developing Software Metrics Applicable to UML Models , 2002 .

[17]  Xavier Franch,et al.  Using Quality Models in Software Package Selection , 2003, IEEE Softw..