Achieving Quality in Software

1. Front Matter

   Pages i-xi

   PDF

2. Invited Papers

   1. Front Matter

      Pages 1-1

      PDF

   2. Evolving and Packaging Reading Technologies

      • V. R. Basili

      Pages 3-13

   3. Analysis of fault generation caused by stress during software development

      • Tsuneo Furuyama, Yoshio Arai, Kazuhiko Iio

      Pages 14-28

   4. EC Projects and Efforts in the Field of Software Quality

      • Brice Lepape

      Pages 29-31

   5. Verification and Validation of Knowledge Based Systems

      • Marc Ayel

      Pages 32-32

3. Process Improvement

   1. Front Matter

      Pages 33-33

      PDF

   2. Process improvement through Root Cause Analysis

      • G. Damele, G. Bazzana, F. Andreis, F. Aquilio, S. Arnoldi, E. Pessi

      Pages 35-47

   3. A Process Improvement Experiment through Process Modelling Technology

      • Paolo Coppola, Paolo Panaroni

      Pages 48-57

   4. Process Maturity — Growing older and wiser? Using Process Advisor for Process Assessment

      • A. Bryant, John Grogan

      Pages 58-73

4. Quality Practices

   1. Front Matter

      Pages 75-75

      PDF

   2. Software quality: Perceptions and practices in Hong Kong

      • J. M. Verner, T. T. Moores, A. R. Barrett

      Pages 77-88

   3. Controlling side-effects in maintenance

      • G. Canfora, G. A. Di Lucca, M. Tortorella

      Pages 89-102

   4. The short but interesting life of small software firms

      • Mario Raffa, Giuseppe Zollo, Renata Caponi

      Pages 103-117

5. Software Testing

   1. Front Matter

      Pages 119-119

      PDF

   2. Static Analysis of VHDL Source Code: the SAVE Project

      • Mirella Mastretti, Maria Laura Busi, Roberto Sarvello, Maurizio Sturlesi, Sergio Tomasello

      Pages 121-132

   3. Metrics and Analyses in The Test Phase of Large-Scale Software

      • Eiji Obara, T. Kawasaki, Y. Ookawa, N. Maeda

      Pages 133-144

   4. Automated Testing of Safety Requirements with the Support of a Deductive Database

      • Patrizia Asirelli, Antonia Bertolino, Stefania Gnesi

      Pages 145-157

6. Numerical Assessment

   1. Front Matter

      Pages 159-159

      PDF

   2. Poisson Models for Subprogram Defect Analyses

      • William M. Evanco

      Pages 161-174

Software quality is a generalised statement difficult to agree or disagree with until a precise definition of the concept of "Software Quality" is reached in terms of measurable quantities. Unfortunately, for the software technology the basic question of: • what to measure; • how to measure; • when to measure; • how to deal with the data obtained are still unanswered and are also closely dependant on the field of application. In the past twenty years or more there have been a number of conferences and debates focusing on the concept of Software Quality, which produced no real industrial impact. Recently, however, the implementation of a few generic standards (ISO 9000, IEEE etc.) has produced and improved application of good practice principles at the industrial level. As a graduate in PhYSiCS, I still believe it is a long way before the concept of Software Quality can be defined exactly and measured, if ever. This is way I think the AQuIS series of conferences is important, its object begin to provide a platform for the transfer of technology and know how between Academic, Industrial and Research Institutions, in the field of Software Quality. Their objects are: • to provide a forum for the introduction and discussion of new research breakthroughs in Software Quality; • to provide professional Software Quality engineers with the necessary exposure to the results of current research; • to expose the research community to the problems of practical application of new results.

• classification
• complexity
• design
• development
• formal methods
• modeling
• object
• object-oriented software
• quality assurance
• software
• software development
• software engineering
• standards
• testing
• verification

Given the concentration of good, relevant papers, for anyone wanting access to current developments in testing, verification and reliability and object technology, this book seems to me to be good value... - Software Testing, Verification and Reliability

• ENEA CRE Casaccia, Rome, Italy

  Sandro Bologna

• University of Florence, Florence, Italy

  Giacomo Bucci

Policies and ethics