This Article 
 Bibliographic References 
 Add to: 
Automatically Generating Test Data from a Boolean Specification
May 1994 (vol. 20 no. 5)
pp. 353-363

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.

[1] J. J. Chilenski and S. P. Miller, "Applicability of modified condition/decision coverage to software testing,"Software Eng. J., submitted for publication.
[2] R. A. DeMillo, R. J. Lipton, and F. G. Sayward, "Hints on test data selection: Help for the practicing programmer,"Comput., Apr. 1978, pp. 34-41.
[3] K. A. Foster, "Sensitive test data for logic expressions,"ACM SIGSOFT Software Eng. Notes, vol. 9, no. 2, pp. 120-126, Apr. 1984.
[4] P. G. Frankl and E. J. Weyuker, "A formal analysis of the fault-detecting ability of testing methods,"IEEE Trans. Software Eng., vol. 19, pp. 202-213, Mar. 1993.
[5] D. Gelperin, "Partial testing of complex decision logic," in preparation.
[6] R. Hamlet, "Theoretical comparison of testing methods," inProc. 3rd Symp. Testing, Analysis, and Verification, Dec. 1989, pp. 28-37.
[7] Z. Kohavi,Switching and Finite Automata Theory, second edition. New York: McGraw-Hill, 1978.
[8] N. G. Leveson, M. P. E. Heimdahl, H. Hildreth, and J. D. Reese, "Requirements specification for process-control systems," Tech. Rep. 92-106, Dept. of Inform. and Comput. Sci., Univ. of Cal., Irvine, Nov. 1992.
[9] K. C. Tai, "Condition-based software testing strategies,"Proc. Compsac 90, 14th Ann. Int. Comput. Software&Applic. Conf., Oct. 1990, pp. 564-569.
[10] S. N. Weiss, "What to compare when comparing test data adequacy criteria,"Sofrware Eng. Notes, vol. 14, no. 6, pp. 42-49, Oct. 1989.
[11] E. J. Weyuker, "Can we measure software testing effectiveness,"Proc. IEEE-CS Int. Software Metrics Symp., May 1993, pp. 100-107.
[12] E. J. Weyuker, S. N. Weiss, and D. Hamlet, "Comparison of program testing strategies," inProc. 4th Symp. Software Testing, Analysis, and Verification, ACM Press, Oct. 1991, pp. 1-10.

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
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
Usage of this product signifies your acceptance of the Terms of Use.