DocumentCode
1090812
Title
Automatically generating test data from a Boolean specification
Author
Weyuker, Elaine ; Goradia, Tarak ; Singh, Ashutosh
Author_Institution
AT&T Bell Labs., Murray Hill, NJ, USA
Volume
20
Issue
5
fYear
1994
fDate
5/1/1994 12:00:00 AM
Firstpage
353
Lastpage
363
Abstract
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
Keywords
Boolean algebra; formal specification; program testing; Boolean specification; automatic test case generation; black-box testing; costs; fault detection effectiveness; software testing; test data generation; test set size; Aircraft; Automatic testing; Collision avoidance; Computer bugs; Costs; Fault detection; Formal specifications; Genetic mutations; Software testing; System testing;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/32.286420
Filename
286420
Link To Document