A Language for Stating Component Quality
Resumo
We present in this paper a language for stating component quality in the framework of the ISO/IEC quality standards. The language consists of three different parts. In the first one, software quality characteristics and attributes are defined, probably in a hierarchical manner. As part of this definition, abstract quality models can be formulated and further refined into more specialised ones. In the second part, values are assigned to component quality basic attributes. In the third one, quality requirements can be stated over components, both context-free (universal quality properties) and context-dependent (quality properties for a given framework software domain, company, project, etc). Software Components may be then selected by testing whether their behaviour with respect to the quality characteristic satisfy some quality requirements that model the context of selection. This gives some potential benefits in the software selection framework. We show how the language can be used through some examples.
Referências
IEEE Computer Society. IEEE Standard for a Software Quality Metrics Methodology. IEEE Std. 1061-1992, New York, 1992.
Rome Air Development Center (RADC). Software Quality Specification Guidebook RADC-TR-85-37, vol. II, 1985.
X. Franch. Systematic Formulation of Non-Functional Characteristics of Software Proceedings of International Conference on Requirements Engineering (ICRE) (Colorado Springs, USA). IEEE Computer Society, 1998.
Sistach F., Pastor J.A. "Methodological Acquisition of ERP Solutions with SHERPA". First World Class IT Service Management Guide, tenHagenStam, March 2000.
X. Franch. "Including Non-Functional Issues in Anna/Ada Programs for Automatic Implementation Selection". In Procs. International Conference on Reliable Software Technologies - Ada Europe'97, London (UK), June 1997, LNCS 1251, pp. 88-99.
T.J. Mowbray, R. Zahavi. The Essential CORBA, John Wiley & Sons, 1995.
X. Franch, P. Botella, X. Burgués, J.M. Ribó. "ComProLab: A Component Programming Laboratory". In Procs. 9th Software Engineering and Knowledge Engineering Conference (SEKE), Madrid (Spain), June 1997, pp. 397-406.
K. Mehlhom, S. Näher. The LEDA Platform of Combinatorial and Geometric Computing. Cambridge University Press, 1999.
D.R. Musser; A. Saini. STL Tutorial and Reference Guide. Addison-Wesley, 1996.
G. Booch, D.G. Weller, S. Wright. The Booch Library for Ada95 (1999). Available at http://www.pogner.demon.co.uk/components/bc.
J.M. Spivey. The Z Notation. Prentice-Hall, 1993.
J.V. Guttag, J.J. Horning. Larch: Languages and Tools for Formal Specification, Texts and Monographs in Computer Science, Springer-Verlag, 1994.
J. Mylopoulos, L. Chung, B.A. Nixon. "Representing and Using Nonfunctional Requirements: A Process-Oriented Approach". IEEE Transactions on Software Engineering, 18(6), 1992.
L. Chung, B.A. Nixon, E. Yu, J. Mylopoulos. Non-Functional Requirements in Software Engineering. Kluwer Academic Publishers, ISBN 0-7923-8666-3. October 1999, 472 pp.
P.C-Y. Sheu, S. Yoo. "A Knowledge-Based Program Transformation System". In Proceedings 6th CAISE, Utrecht (Holanda), LNCS 811, 1994.
D. Cohen, N. Goldman, K. Narayanaswamy. "Adding Performance Information to ADT Interfaces". In Proceedings of the Interface Definition Languages Workshop, ACM SIGPLAN Notices 29(8), 1994.
M. Sitaraman. "On Tight Performance Specification of Object-Oriented Components". In Proceedings Third International Conference on Software Reuse (ICSR), IEEE Computer Society Press, 1994.
R.H. Pierce et al. "Capturing and verifying performance requirements for hard real-time systems". In Proceedings International Conference on Software Reliable Technologies, London (England), LNCS 1251, Springer-Verlag, 1997.
Prieto-Díaz, R.: Classifying Software for Reusability. IEEE Software 4, 1. IEEE Computer Society, 1987.
Authors. "Browsing a Component Library using Non-Functional Information". In Procs. International Conference on Reliable Software Technologies - Ada Europe'99, Santander (Spain), June 1999, LNCS 1622, pp. 332-343.
N. Maiden, C. Ncube. Acquiring COTS Software Selection Requirements. IEEE Software, March 1998.
X. Franch, J.A. Pastor. "On the Formalisation of ERP Systems Procurement", In Procs. Continuing Collaborations for Successful COTS Development ICSE Workshop, Limerick (Ireland), June 2000.
