The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.06 - November (1983 vol.9)
pp: 686-709
J.S. Gourlay , Department of Computer and Information Science, Ohio State University
ABSTRACT
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, November 1983, doi:10.1109/TSE.1983.235433
25 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool