A Controlled Experiment in Program Testing and Code Walkthroughs/Inspections

Communications of the ACM

Volumn 21, Issue 9, 1978, Pages 760-768

  Myers, Glenford J ^a  

^a IBM RESEARCH   (United States)

Author keywords

code inspections; code walkthroughs; debugging; personnel selection; program verification; software reliability; testing

Indexed keywords

COMPUTER PROGRAMMING;

EID: 0018018910     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/359588.359602     Document Type: Article

References (11)

1. Fagan, M.E. Design and code inspections to reduce errors in program development. IBM Syst. J. 15, 3 (1976), 182-211.
2. Goodenough, J.B., and Gerhart, S.L. Toward a theory of test data selection. IEEE Trans. Software Eng. SE-1, 2 (1975), 156-173.
3. Gould, J.D. Some psychological evidence on how people debug computer programs. Int. J. Man-Machine Studies 7, 2 (1975), 151-182.
4. Gould, J.D., and Drongowski, P. An exploratory study of computer program debugging. Human Factors 16, 3 (1974), 258-277.
5. Griffith, P.F., and Henry, R.M. An investigatory study into human problem solving capabilities as they relate to programmer efficiency. Comptr. Personnel 3, 3 (1972), 10-15.
6. Hetzel, W.C. An experimental analysis of program verification methods. Ph.D. Th., U. of North Carolina, Chapel Hill, 1976.
7. Howden, W.E. Symbolic testing and the DISSECT symbolic evaluation system. IEEE Trans. Software Eng. SE-3, 4 (1977), 266-278.
8. Jelinski, Z., and Moranda, P.B. Applications of a probabilitybased model to a code reading experiment. Rec. 1973 IEEE Symp. Comptr. Software Reliability, IEEE, New York, 1973, pp. 78-81.
9. Myers, G.J. Software Reliability: Principles and Practices. Wiley-Interscience, New York, 1976.
10. Naur, P. Programming by action clusters. BIT 9, 3 (1969), 250-258.
11. Shneiderman, B. Experimental testing in programming languages, stylistic considerations and design techniques. Proc. AFIPS 1975 NCC, AFIPS Press, Montvale, N.J., 1975, pp. 653-656.