论文信息 - Empirical studies of software validation

Empirical studies of software validation

Abstract In recent years a number of research projects have been completed which have attempted to assess the effectiveness of different software validation methods. The results of those projects are summarized and the effectiveness of the different methods compared.

William E. Howden

[1] William C. Hetzel,et al. An experimental analysis of program verification methods. , 1976 .

[2] Barry Boehm,et al. Some experience with automated aids to the design of large-scale reliable software , 1975 .

[3] Leon George Stucki. The use of dynamic assertions to improve software quality. , 1976 .

[4] Barry W. Boehm,et al. Quantitative evaluation of software quality , 1976, ICSE '76.

[5] Martin L. Shooman,et al. Types, distribution, and test and correction times for programming errors , 1975 .

[6] R. J. Rubey,et al. Quantitative aspects of software validation , 1975 .

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