Issue No. 06 - November (1983 vol. 9)
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.
testing theory, Hardware testing, mutation analysis, path analysis, software reliability, software testing, specifications
J. Gourlay, "A Mathematical Framework for the Investigation of Testing," in IEEE Transactions on Software Engineering, vol. 9, no. , pp. 686-709, 1983.