Automatically Generating Test Data from a Boolean Specification

IEEE Transactions on Software Engineering

Volumn 20, Issue 5, 1994, Pages 353-363

  Singh, Ashutosh ^a  

^a NEW YORK UNIVERSITY   (United States)

^b SIEMENS CORPORATE RESEARCH   (United States)

Author keywords

Automatic test case generation; black box test ; ing; software testing

Indexed keywords

ALGORITHMS; BOOLEAN ALGEBRA; COMPUTATIONAL COMPLEXITY; COMPUTER SOFTWARE SELECTION AND EVALUATION; FORMAL LOGIC; PROGRAM DEBUGGING; SOFTWARE ENGINEERING; STATE ASSIGNMENT; TABLE LOOKUP;

AUTOMATIC TEST CASE GENERATION; BLACK BOX TESTING; MUTATION ANALYSIS; SOFTWARE TESTING; TEST DATA;

COMPUTER SOFTWARE;

EID: 0028437965     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.286420     Document Type: Article

References (12)

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,” in Proc. 3rd Symp. Testing, Analysis, and Verification, 1989, pp. 28–37.
7. Z. Kohavi, Switching and Finite Automata Theory, 2nd ed. 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,” Software Eng. Notes, vol. 14, 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 R. Hamlet, “Comparison of program testing strategies,” in Proc. 4th Symp. Software Testing, Analysis and Verification (TAV4), 1991, pp. 1–10.