The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - July (1978 vol.4)
pp: 293-298
W.E. Howden , Department of Mathematics, University of Victoria
ABSTRACT
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
23 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool