The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.02 - June (1975 vol.1)
pp: 156-173
Susan L. Gerhart , SofTech, Inc., Waltham, Mass. 02154; Department of Computer Science, Duke University, Durham, N. C. 27706
ABSTRACT
This paper examines the theoretical and practical role of testing in software development. We prove a fundamental theorem showing that properly structured tests are capable of demonstrating the absence of errors in a program. The theorem's proof hinges on our definition of test reliability and validity, but its practical utility hinges on being able to show when a test is actually reliable. We explain what makes tests unreliable (for example, we show by example why testing all program statements, predicates, or paths is not usually sufficient to insure test reliability), and we outline a possible approach to developing reliable tests. We also show how the analysis required to define reliable tests can help in checking a program's design and specifications as well as in preventing and detecting implementation errors.
INDEX TERMS
Testing, Reliability theory, Software reliability, Fasteners, Reliability engineering, Software, testing, Proofs of correctness
CITATION
Susan L. Gerhart, "Toward a theory of test data selection", IEEE Transactions on Software Engineering, vol.1, no. 2, pp. 156-173, June 1975, doi:10.1109/TSE.1975.6312836
16 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool