This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Mathematical Framework for the Investigation of Testing
November 1983 (vol. 9 no. 6)
pp. 686-709
J.S. Gourlay, Department of Computer and Information Science, Ohio State University
Testing has long been in need of mathematical underpinnings to explain its value as well as its limitations. This paper develops and applies a mathematical framework that 1) unifies previous work on the subject, 2) provides a mechanism for comparing the power of methods of testing programs based on the degree to which the methods approximate program verification, and 3) provides a reasonable and useful interpretation of the notion that successful tests increase one's confidence in the program's correctness.
Index Terms:
testing theory, Hardware testing, mutation analysis, path analysis, software reliability, software testing, specifications
Citation:
J.S. Gourlay, "A Mathematical Framework for the Investigation of Testing," IEEE Transactions on Software Engineering, vol. 9, no. 6, pp. 686-709, Nov. 1983, doi:10.1109/TSE.1983.235433
Usage of this product signifies your acceptance of the Terms of Use.