This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Theoretical and Empirical Studies of Program Testing
July 1978 (vol. 4 no. 4)
pp. 293-298
W.E. Howden, Department of Mathematics, University of Victoria
Two approaches to the study of program testing are described. One approach is theoretical and the other empirical. In the theoretical approach situations are characterized in which it is possible to use testing to formally prove the correctness of programs or the correctness of properties of programs. In the empirical approach statistics are collected which record the frequency with which different testing strategies reveal the errors in a collection of programs. A summary of the results of two research projects which investigated these approaches are presented. The differences between the two approaches are discussed and their relative advantages and disadvantages are compared.
Index Terms:
traces, Algebraic, graph theory, program equivalence, proofs of correctness, reliability, statistics, testing
Citation:
W.E. Howden, "Theoretical and Empirical Studies of Program Testing," IEEE Transactions on Software Engineering, vol. 4, no. 4, pp. 293-298, July 1978, doi:10.1109/TSE.1978.231514
Usage of this product signifies your acceptance of the Terms of Use.