A Mathematical Framework for the Investigation of Testing | IEEE Journals & Magazine | IEEE Xplore

A Mathematical Framework for the Investigation of Testing


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...Show More

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.
Published in: IEEE Transactions on Software Engineering ( Volume: SE-9, Issue: 6, November 1983)
Page(s): 686 - 709
Date of Publication: 30 November 1983

ISSN Information:


Contact IEEE to Subscribe

References

References is not available for this document.