论文信息 - Improving software quality through formal inspections

Improving software quality through formal inspections

Abstract The software inspection process was created for the dual purpose of improving software quality and increasing programmers productivity. This paper puts forward formal inspections as an alternative to and a better method than technical walkthroughs in the software life cycle reviewing process. Examples of benefits gained in the development of defect-free software by utilizing formal inspections are cited.

John C. Kelly | Yosef S. Sherif | Y. Sherif | J. Kelly

[1] Harry M. Sneed,et al. Software Engineering Management , 1989 .

[2] Volney Rodriguez,et al. SOFTWARE METRICS INTERPRETATION THROUGH EXPERIMENTATION. , 1986 .

[3] Yosef S. Sherif,et al. Computer software development: Quality attributes, measurements, and metrics , 1988 .

[4] Guylaine Marie Pollock. A design methodology and support environment for complexity metrics via reusable software parts , 1985 .

[5] Michael Fagan. Design and Code Inspections to Reduce Errors in Program Development , 1976, IBM Syst. J..

[6] Marilyn W. Bush,et al. The software product assurance metrics study: JPL's software systems quality and productivity , 1989 .

[7] Joseph G. Voelkel,et al. Guide to Quality Control , 1982 .

[8] Herman P. Schultz. Software Management Metrics , 1988 .

[9] Michael E. Fagan. Advances in software inspections , 1986, IEEE Transactions on Software Engineering.

[10] Edward N. Adams,et al. Optimizing Preventive Service of Software Products , 1984, IBM J. Res. Dev..

[11] Y. S. Sherif,et al. Parallel processing, distributed systems and local area networks , 1988 .

[12] Victor R. Basili,et al. Cleanroom Software Development: An Empirical Evaluation , 1987, IEEE Transactions on Software Engineering.

[13] Yosef S. Sherif,et al. Computer networks and distributed systems , 1988 .

[14] Barry W. Boehm,et al. Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.