This Article 
 Bibliographic References 
 Add to: 
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
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.