The Dynamic Domain Reduction Procedure for Test Data Generation

Software - Practice and Experience

Volumn 29, Issue 2, 1999, Pages 167-193

  Offutt, A Jefferson ^a   Jin, Zhenyi ^a   Pan, Jie ^b  

^a GEORGE MASON UNIVERSITY   (United States)

^b Template Software   (United States)

Author keywords

Automated test generation; Software testing; Symbolic evaluation

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA FLOW ANALYSIS; SEARCH ENGINES;

AUTOMATED TEST GENERATION;

DATA REDUCTION;

EID: 0033077271     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/(sici)1097-024x(199902)29:2<167::aid-spe225>3.0.co;2-v     Document Type: Article

References (40)

1. G. Myers, The Art of Software Testing, Wiley, New York, NY, 1979.
2. I. Sommerville, Software Engineering, Addison-Wesley, 4th edition, 1992.
3. P. G. Frankl and E. J. Weyuker, 'An applicable family of data flow testing criteria', IEEE Transactions on Software Engineering, 14(10), 1483-1498 (October 1988).
4. H. Zhu, P. A. V. Hall and J. H. R. May, 'Software unit test coverage and adequacy', ACM Computing Surveys, 29(4), 366-427 (December 1997).
5. B. Korel, 'Automated software test data generation', IEEE Transactions on Software Engineering, 16(8), 870-879 (August 1990).
6. R. A. DeMillo and A. J. Offutt, 'Constraint-based automatic test data generation', IEEE Transactions on Software Engineering, 17(9), 900-910 (September 1991).
7. R. S. Boyer, B. Elpas and K. N. Levitt, 'Select - a formal system for testing and debugging programs by symbolic execution', Proceedings of the International Conference on Reliable Software, June 1975. (SIGPLAN Notices, 10(6).)
8. R. S. Boyer, B. Elpas and K. N. Levitt, 'Select - a formal system for testing and debugging programs by symbolic execution', Proceedings of the International Conference on Reliable Software, June 1975. (SIGPLAN Notices, 10(6).)
9. C. V. Ramamoorthy, S. F. Ho and W. T. Chen, 'On the automated generation of program test data', IEEE Transactions on Software Engineering, 2(4), 293-300 (December 1976).
10. L. A. Clarke, 'A system to generate test data and symbolically execute programs', IEEE Transactions on Software Engineering, 2(3), 215-222 (September 1976).
11. W. E. Howden, 'Symbolic testing and the DISSECT symbolic evaluation system', IEEE Transactions on Software Engineering, 3(4)(July 1977).
12. R. Ferguson and B. Korel, 'The chaining approach for software test data generation', ACM Transactions on Software Engineering Methodology, 5(1), 63-86 (January 1996).
13. J. Borzovs, A. Kalniņš and I. Medvedis, 'Automatic construction of test sets: Practical approach', Lecture Notes in Computer Science, Vol 502, Springer-Verlag, Berlin, 1991, pp. 360-432.
14. E. F. Miller and R. A. Melton, 'Automated generation of testcase datasets', Proceedings of the International Conference on Reliable Software, April 1975, pp. 51-58.
15. J. A. Bauer and A. B. Finger, 'Test plan generation using formal grammars', Proceedings of the 4th International Conference on Software Engineering, San Diego, CA (September 1979), pp. 425-432.
16. P. M. Maurer, 'Generating testing data with enhanced context-free grammars', IEEE Software, 7(4)(July 1990).
17. H. Sturgis, 'An effective test strategy', Technical report CSL-85-8, Xerox Pare, November 1985.
18. H. D. Mills, M. D. Dyer and R. C. Linger, 'Cleanroom software engineering', IEEE Software (September 1987).
19. J. M. Voas, L. Morell and K. W. Miller, 'Predicting where faults can hide from testing', IEEE Software, 8(2), 41-58 (March 1991).
20. W. E. Howden, 'Methodology for the generation of program test data', IEEE Transactions on Software Engineering, SE-24 (May 1975).
21. L. A. Clarke and D. J. Richardson, 'Applications of symbolic evaluation', The Journal of Systems and Software, 5(1), 15-35 (January 1985).
22. J. A. Darringer and J. C. King, 'Applications of symbolic execution to program testing', IEEE Computer, 11(4)(April 1978).
23. R. A. DeMillo and A. J. Offutt, 'Experimental results from an automatic test case generator', ACM Transactions on Software Engineering Methodology, 2(2), 109-127 (April 1993).
24. R. G. Hamlet, 'Testing programs with the aid of a compiler', IEEE Transactions on Software Engineering, 3(4), 279-290 (July 1977).
25. R. A. DeMillo, R. J. Lipton and F. G. Sayward, 'Hints on test data selection: Help for the practicing programmer', IEEE Computer, 11(4), 34-41 (April 1978).
26. R. A. DeMillo, D. S. Guindi, K. N. King, W. M. McCracken and A. J. Offutt, 'An extended overview of the Mothra software testing environment', Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, Banff, Alberta, July 1988, pp. 142-151.
27. B. Korel, 'Dynamic method for software test data generation', The Journal of Software Testing, Verification, and Reliability, 2(4), 203-213 (1992).
28. R. E. Fairley, 'An experimental program testing facility', IEEE Transactions on Software Engineering, SE-1, 350-3571 (December 1975).
29. A. J. Offutt, 'An integrated automatic test data generation system', Journal of Systems Integration, 1(3), 391-409 (November 1991).
30. M. Weiser, 'Program slicing', IEEE Transactions on Software Engineering, SE-10(4), 352-357 (July 1984).
31. F. Tip, 'A survey of program slicing techniques', Technical report CS-R-9438, Computer Science/Department of Software Technology, Centrum voor Wiskunde en Informatica, 1994.
32. T. E. Cheatham, G. H. Holloway and J. A. Townley, 'Symbolic evaluation and the analysis of programs', IEEE Transactions on Software Engineering, 5(4)(July 1979).
33. J. R. Horgan and S. London, 'ATAC: A data flow coverage testing tool for C', Proceedings of the Symposium of Quality Software Development Tools, New Orleans, LA, May 1992, pp. 2-10.
34. P. G. Frankl, S. N. Weiss and E. J. Weyuker, 'ASSET: A system to select and evaluate tests', Proceedings of the Conference on Software Tools, New York, NY, April 1985.
35. J. Offutt, Z. Jin and J. Pan, 'The dynamic domain reduction approach for test data generation: Design and algorithms', Technical report ISSE-TR-94-110, Department of Information and Software Systems Engineering, George Mason University, Fairfax VA, September 1994.
36. H. D. Pande, W. A. Landi and B. G. Ryder, 'Interprocedural def-use associations for c systems with single level pointers', IEEE Transactions of Software Engineering, 20(5), 385-403 (May 1994).
37. M. J. Harrold and M. L. Soffa, 'Selecting and using data for integration testin', IEEE Software, 8(2), 58-65 (March 1991).
38. R. Jasper, M. Brennan, K. Williamson, B. Currier and D. Zimmerman, Test data generation and feasible path analysis', Proceedings of the 1994 International Symposium on Software Testing, and Analysis, Seattle, WA, August 1994, pp. 95-107.
39. A. Goldberg, T. C. Wang and D. Zimmerman, 'Applications of feasible path analysis to program testing', Proceedings of the 1994 International Symposium on Software Testing, and Analysis, Seattle, WA, August 1994, pp. 80-94.
40. A. J. Offutt and J. Pan, 'Detecting equivalent mutants and the feasible path problem', The Journal of Software Testing, Verification, and Reliability, 7(3), 165-192 (September 1997).