This Article 
 Bibliographic References 
 Add to: 
A Model for Software Product Quality
February 1995 (vol. 21 no. 2)
pp. 146-162
A model for software product quality is defined. It has been formulated by associating a set of quality-carrying properties with each of the structural forms that are used to define the statements and statement components of a programming language. These quality-carrying properties are in turn linked to the high-level quality attributes of the International Standard for Software Product Evaluation ISO-9126. The model supports building quality into software, definition of language-specific coding standards, systematically classifying quality defects, and the development of automated code auditors for detecting defects in software.

[1] B. W. Boehm, J. R. Brown, M. Lipow, G. J. MacLeod, and M. J. Merritt,Characteristics of Software Quality. New York: Elsevier North-Holland, 1978.
[2] B. Kitchenham,“Towards a constructive quality model,”Software Eng. J., pp. 105–112, July 1987.
[3] B. W. Kernighan and P. J. Plaugher,The Elements of Programming Style. New York: McGraw-Hill, 1974.
[4] M. Deutsch and R. Willis,Software Quality Engineering. Englewood Cliffs, NJ: Prentice-Hall, 1988.
[5] T. P. Bowen,“Specification of software quality attributes,”Rome Laboratory, New York, Tech. Rep. RADC-TR-85–37, vols. 1–3, 1976.
[6] R. Nance,“Software quality indicators: An holistic approach to measurement,”inProc. 4th Ann. Software Quality Workshop, Alexandria Bay, New York, Aug. 1992.
[7] Software Product Evaluation—Quality Characteristics and Guidelines for Their Use, ISO/IEC Standard ISO-9126 (1991).
[8] R. G. Dromey,“A generic model for building quality into products and processes,”in preparation.
[9] R. G. Dromey and K. Ryan,PASS-C: Program Analysis and Style System User Manual, Software Quality Inst., Griffith Univ., 1993.
[10] R. G. Dromey,“Program Derivation,”inInternational Series in Computer Sciences. London, England: Addison-Wesley, 1989.
[11] Niklaus Wirth, "Program Development by Stepwise Refinement," Comm. ACM, vol. 14, p. 221, Apr. 1971.
[12] M. Jackson,Principles of Program Design. London, England: Academic, 1975.
[13] G. Myers,Software Reliability; Principles and Practices. New York: Wiley, 1976.
[14] R. G. Dromey and A. D. McGettrick,“On specifying software quality,”Software Quality J., vol. 1, no. 1, pp. 45–74, 1992.
[15] R. G. Dromey,“A framework for engineering quality software,”keynote address,7th Australian Software Eng. Conf., Sydney, Australia, Sept. 1993.
[16] E. Dijkstra and C. Scholten, Predicate Calculus and Program Semantics. Springer-Verlag, 1989.
[17] T. Manns and Coleman,Software Quality Assurance. London, England: MacMillan, 1988.
[18] Si Pan and R. G. Dromey,“A formal basis for measuring software product quality,”17th Australian Comput. Sci. Conf., Christchurch, NZ, Jan. 1994.
[19] B. Oliver and R. G. Dromey,“SAFE: A programming language for software quality,”1st Int. (Asia-Pacific) Conf. Software Quality and Productivity, Hong Kong, China, Dec. 1994.

Index Terms:
Software quality, product evaluation, ISO-9126, code auditing, quality defect classification, quality model, quality attributes, software characteristics, maintainability, quality-carrying properties.
R. Geoff Dromey, "A Model for Software Product Quality," IEEE Transactions on Software Engineering, vol. 21, no. 2, pp. 146-162, Feb. 1995, doi:10.1109/32.345830
Usage of this product signifies your acceptance of the Terms of Use.