Copyright © 1987 Published by Elsevier Science Inc.
A method for test data selection
Available online 26 June 2003.
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
Two methods have been traditionally proposed for program validation: verification and testing. In verification (formal or informal), the program source code is examined, and through this examination, the programmer convinces himself that the program is correct. In testing, the programmer performs a set of experiments that consist of feeding the program with input values and observing its output. This report presents a method for selecting test data that uses reasoning to derive test cases. The method relies on information about the program provided by the programmer in the form of assertions. It simply looks for test cases that show incongruence between the assertions, i.e., what the programmer thinks the program does and what the program actually does. The method is illustrated with several examples taken from the program validation literature.







E-mail Article
Add to my Quick Links

Cited By in Scopus (0)





