Component-Based Software Quality : Methods and Techniques

by Cechich, Alejandra; Piattini, Mario; Vallecillo, Antonio; Cechich, Alejandra; Piattini, Mario

• ISBN13: 9783540405030
• ISBN10: 3540405038
• Format: Paperback
• Copyright: 2003-08-01
• Publisher: Springer Verlag

Summary

Component-based software development, CBSD, is no longer just one more new paradigm in software engineering, but is effectively used in development and practice. So far, however, most of the efforts from the software engineering community have concentrated on the functional aspects of CBSD, leaving aside the treatment of the quality issues and extra-functional properties of software components and component-based systems.This book is the first one focusing on quality issues of components and component-based systems. The 16 revised chapters presented were carefully reviewed and selected for inclusion in the book; together with an introductory survey, they give a coherent and competent survey of the state of the art in the area. The book is organized in topical parts on COTS selection, testing and certification, software component quality models, formal models to quality assessment, and CBSD management.

Table of Contents

Assessing Component-Based Systems	1	(20)
Alejandra Cechich, Mario Piattini, and Antonio Vallecillo
Part I COTS Selection
COTS-Based Requirements Engineering	21	(19)
Carina Alves
Domain-Based COTS-Product Selection Method	40	(24)
Hareton K.N. Leung and Karl R.P.H. Leung
STALE: Social Technical Approach to COTS Software Evaluation	64	(21)
Douglas Kunda
SCARLET: Integrated Process and Tool Support for Selecting Software Components	85	(14)
N.A.M. Maiden, V. Croce, H. Kim, G. Sajeva, and S. Topuzidou
Part II Testing and Certification
Component-Based Software: An Overview of Testing	99	(29)
Auri Marcelo Rizzo Vincenzi, José Carlos Maldonado, Marcio Eduardo Delamaro, Edmundo Sérgio Spoto, and W. Eric Wong
Setting a Framework for Trusted Component Trading	128	(31)
John Morris, C. Peng Lam, Gary A. Bundelt, Gareth Lee, and Kris Parker
Component Integration through Built-in Contract Testing	159	(25)
Hans-Gerhard Gross, Colin Atkinson, and Franck Barbier
Part III Software Component Quality Models
Quality Characteristics for Software Components: Hierarchy and Quality Guides	184	(23)
Régis P.S. Simão and Arnaldo D. Belchior
Driving Component-Based Software Development through Quality Modelling	207	(18)
Colin Atkinson, Christian Bunse, and Jürgen Wüst
Towards a Quality Model for the Selection of ERP Systems	225	(21)
Pere Botella, Xavier Burgués , Juan P. Carvallo, Xavier Franck, Joan A. Pastor, and Carme Quer
Maturing Architectures and Components in Software Product Lines	246	(13)
Jan Bosch
Part IV Formal Approaches to Quality Assessment
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability	259	(28)
Hye Yeon Kim, Kshamta Jerath, and Frederick Sheldon
Reasoning about Software Architectures with Contractually Specified Components	287	(39)
Ralf H. Reussner, Iman H. Poernomo, and Heinz W. Schmidt
Reuse of Formal Verification Efforts of Incomplete Models at the Requirements Specification Stage	326	(26)
Rebeca P. Diaz-Redondo, Jose J. Pazos-Arias, and Ana Fernández- Vilas
Part V CBSD Management
Risk Management of COTS Based Systems Development	352	(22)
Louis C. Rose
A Metrics-Guided Framework for Cost and Quality Management of Component-Based Software	374	(29)
Sahra Sedigh-Ali, Arif Ghafoor, and Raymond A. Paul
Author Index	403