Automatically generating test data from a Boolean specification

1 May 1994

journal article
research article
Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering

Vol. 20 (5) , 353-363
https://doi.org/10.1109/32.286420

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

This publication has 9 references indexed in Scilit:

Can we measure software testing effectiveness?
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
Condition-based software testing strategies
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
Applicability of modified condition/decision coverage to software testing
Software Engineering Journal, 1994
A formal analysis of the fault-detecting ability of testing methods
IEEE Transactions on Software Engineering, 1993
Comparison of program testing strategies
Published by Association for Computing Machinery (ACM) ,1991
Comparing test data adequacy criteria
ACM SIGSOFT Software Engineering Notes, 1989
Theoretical comparison of testing methods
Published by Association for Computing Machinery (ACM) ,1989
Sensitive test data for logic expressions
ACM SIGSOFT Software Engineering Notes, 1984
Hints on Test Data Selection: Help for the Practicing Programmer
Computer, 1978