Automatic test data generation for program paths using genetic algorithms

International Journal of Software Engineering and Knowledge Engineering

Volumn 12, Issue 6, 2002, Pages 691-709

  Bueno, Paulo Marcos Siqueira ^a   Jino, Mario ^a  

^a UNIVERSITY OF CAMPINAS   (Brazil)

Author keywords

Case based reasoning; Dynamic technique; Genetic algorithms; Software testing; Test data generation

Indexed keywords

BINARY CODES; COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA STRUCTURES; DECODING; DIGITAL ARITHMETIC; ENCODING (SYMBOLS); GENETIC ALGORITHMS; PROGRAM DIAGNOSTICS; PROGRAM TRANSLATORS;

AUTOMATIC TEST DATA GENERATION; CASE BASED REASONING; DYNAMIC TECHNIQUE; PROGRAM PATHS; SOFTWARE TESTING;

SOFTWARE ENGINEERING;

EID: 0036971758     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218194002001074     Document Type: Article

References (39)

1. A. Aamodt and E. Plaza, "Case-based reasoning: Foundational issues, methodological variations, and system approaches", AICom - Artificial Intelligence Communications 7(1) (1994) 39-59.
2. A. Bertolino and M. Marré, "Automatic generation of path covers based on the control flow analysis of computer programs", IEEE Trans. on Software Engineering 20(12) (1994) 885-889.
3. D. L. Bird and C. U. Munoz, "Automatic generation of random self-checking test cases", IBM System Journal 22(3) (1983) 229-245.
4. R. S. Boyer, B. Elspas, and N. L. Karl, "Select: A formal system for testing and debugging programs by symbolic execution", ACM SigPlan Notices 10(6) (1975) 234-245.
5. P. M. S. Bueno and M. Jino, "Identification of potentially infeasible program paths by monitoring the search for test data", in Proc. IEEE Int. Conf. on Automated Software Engineering (ASE2000), IEEE, Grenoble, France, September 2000, pp. 209-218.
6. L. Clarke, "A system to generate test data and symbolically execute programs", IEEE Trans. on Software Engineering 2(3) (1976) 215-222.
7. R. A. De Millo and A. J. Offutt, "Constraint-based automatic test data generation", IEEE Trans. on Software Engineering 17(9) (1991) 900-910.
8. R. Ferguson and B. Korel, "The chaining approach for software test data generation", ACM Trans. on Software Engineering and Methodology 5(1) (1996) 63-86.
9. I. Forgács and A. Bertolino, "Feasible test path selection by principal slicing", Software Engineering Notes 22(6) (1997) 378-394.
10. F. G. Frankl and E. J. Weyuker, "An applicable family of data flow testing criteria", IEEE Trans. on Software Engineering 14(10) (1988) 1483-1498.
11. M. J. Gallagher and V. L. Narasimhan, "Adtest: A test data generation suite for Ada software systems", IEEE Trans. on Software Engineering 23(8) (1997) 473-484.
12. D. E. Goldberg, Genetic Algorithms in Search, Optimization, and Machine Learning, Addison-Wesley, 1989.
13. N. Gupta, A. P. Mathur, and M. L. Soffa, "Automated test data generation using an iterative relaxation method", Foundations of Software Engineering 11 (1998) 231-244.
14. N. Gupta, A. P. Mathur, and M. L. Soffa, "UNA based iterative test data generation and its evaluation", Proc. IEEE Automated Software Engineering Conference, October 1999.
15. W. E. Howden, "Symbolic testing and dissect symbolic evaluation system", IEEE Trans. on Software Engineering 3(4) (1997) 266-278.
16. D. C. Ince, "The automatic generation of test data", The Computer Journal 30(3) (1987) 63-69.
17. B. F. Jones, H. H. Sthamer, and D. E. Eyres, "Automatic structural testing using genetic algorithms", Software Engineering Journal, September 1996, pp. 299-306.
18. B. Korel, "Automated software test data generation", IEEE Trans. on Software Engineering 16(8) (1990) 870-879.
19. J. W. Laski and B. Korel, "A data flow oriented program testing strategy", IEEE Trans. on Software Engineering 9(3) (1983) 347-354.
20. J. C. Maldonado, M. L. Chaim, and M. Jino, "Bridging the gap in the presence of infeasible paths: Potential uses testing criteria", in Proc. XII Int. Conf. of the Chilean Computer Science Society, Santiago, Chile, October 1992.
21. C. C. Michael and G. McGraw, "Automated software test data generation of complex programs", in Proc. Int. Conf. on Automated Software Engineering, IEEE, Honolulu, Hawai, October 1998.
22. C. C. Michael, G. E. McGraw, M. A. Schatz, and C. C. Walton, "Genetic algorithms for dynamic test data generation", in Proc. Int. Conf. on Automated Software Engineering (ASE '97), IEEE, November 1997.
23. W. Miller and D. L. Spooner, "Automatic generation of floating-point test data", IEEE Trans. on Software Engineering 2(3) (1976) 223-226.
24. S. C. Ntafos, "On required element testing", IEEE Trans. on Software Engineering 10(6) (1984) 795-803.
25. S. C. Ntafos and S. L. Hakimi, "On path cover problems in digraphs and applications to program testing", IEEE Trans. on Software Engineering 5(5) (1979) 520-529.
26. A. J. Offut, Z. Jin, and J. Pan, "The dynamic domain reduction procedure for test data generation", Software Practice and Experience 29(2) (1999) 167-193.
27. M. A. Ould, "Testing - a challenge to method and tool developers", Software Engineering Journal, March 1991, pp. 59-64.
28. R. P. Pargas, Harrold M. J., and R. R. Peck, "Test-data generation using genetic algorithms", Journal of Software Testing, Verification and Reliability 9 (1999) 263-282.
29. L. M. Peres, S. R. Vergilio, M. Jino, and J. C. Maldonado, "Path selection strategies in the context of software testing criteria", in 1st Latin American Test Workshop, IEEE, Rio de Janeiro, Brazil, January 2000, pp. 222-227.
30. C. V. Ramamoorthy, F. H. Siu-Bun, and W. T. Chen, "On automated generation of program test data", IEEE Transactions on Software Engineering 2(4) (1976) 293-300.
31. S. Rapps and E. J. Weyuker, "Selecting software test data using data flow information", IEEE Transactions on Software Engineering 11(4) (1985) 367-375.
32. M. Roper, I. Maclean, A. Brooks, J. Miller, and M. Wood, "Genetic algorithms and the automatic generation of test data", Technical Report RR/95/195 Dep. Computer Science, University of Strathclyde, 1995.
33. M. Srinivas and L. M. Patnaik "Genetic algorithms: A survey", IEEE Computer 27(6) (1994) 17-26.
34. N. Tracey, J. Clark, and K. Mander, "Automated program flaw finding using simulated annealing", in Proc. Int. Symp. on Software Testing and Analysis, ACM, Florida, USA, March 1998, pp. 73-81.
35. N. Tracey, J. Clark, K. Mander, and J. McDermid, "An automated framework for structural test-data generation", in IEEE Automated Software Engineering, IEEE, Honolulu, 1998.
36. N. Tracey, J. Clark, and K. McDermid Mander, "Automated test-data generation for exception conditions", in Software-Practice and Experience 30 (2000) 61-79.
37. H. Ural and B. Yang, "A structural test selection criterion", Information Processing Letters 28(3) (1988) 157-163.
38. W. E. Herman, "Flow analysis approach to program testing", The Australian Computer Journal 8(3) (1976) 259-266.
39. M. Zbigniew, Genetic Algorithms + Data Structures = Evolution Programs. Springer Verlag, 3rd edn., 1996.