The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - May (1994 vol.20)
pp: 353-363
ABSTRACT
<p>This paper presents a family of strategies for automatically generating test data for any implementation intended to satisfy a given specification that is a Boolean formula. The fault detection effectiveness of these strategies is investigated both analytically and empirically, and the costs, assessed in terms of test set size, are compared.</p>
INDEX TERMS
program testing; formal specification; Boolean algebra; test data generation; Boolean specification; fault detection effectiveness; costs; test set size; automatic test case generation; black-box testing; software testing
CITATION
E. Weyuker, T. Goradia, A. Singh, "Automatically Generating Test Data from a Boolean Specification", IEEE Transactions on Software Engineering, vol.20, no. 5, pp. 353-363, May 1994, doi:10.1109/32.286420
15 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool