Issue No. 03 - May (1980 vol. 6)
E.J. Weyuker , Courant Institute of Mathematical Sciences, New York University
The theory of test data selection proposed by Goodenough and Gerhart is examined. In order to extend and refine this theory, the concepts of a revealing test criterion and a revealing subdomain are proposed. These notions are then used to provide a basis for constructing program tests.
theory of testing, Program testing, revealing subdomain, software error detection, software reliability, test data generation
T.J. Ostrand, E.J. Weyuker, "Theories of Program Testing and the Application of Revealing Subdomains", IEEE Transactions on Software Engineering, vol. 6, no. , pp. 236-246, May 1980, doi:10.1109/TSE.1980.234485