Heuristics-based infeasible path detection for dynamic test data generation

Information and Software Technology

Volumn 50, Issue 7-8, 2008, Pages 641-655

  Ngo, Minh Ngoc ^a   Tan, Hee Beng Kuan ^a  

^a NANYANG TECHNOLOGICAL UNIVERSITY   (Singapore)

Author keywords

Dynamic test data generation; Heuristic based; Infeasible path detection

Indexed keywords

COMPUTER PROGRAMMING; COST REDUCTION; DATA PROCESSING; RELIABILITY ANALYSIS; SOFTWARE TESTING;

DYNAMIC TEST DATA GENERATION; INFEASIBLE PROGRAM PATH DETECTION;

HEURISTIC METHODS;

EID: 42649110693     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2007.06.006     Document Type: Article

References (43)

1. Numerical methods for constrained optimization, Academic Press, 1974.
2. R. Bodik, R. Gupta, M.L. Soffa, Interprocedural conditional branch elimination, presented at Proceedings of the 1997 ACM SIGPLAM Conference on Programming Language Design and Implementation, PLDI, June 15-18 1997, Las Vegas, NV, USA, 1997.
3. R. Bodik, R. Gupta, M.L. Soffa, Refining data flow information using infeasible paths, Software Engineering Notes ESEC/FSE '97, 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 22-25 September 1997, vol. 22, pp. 361-77, 1997.
4. P.M.S. Bueno, M. Jino, Identification of potentially infeasible program paths by monitoring the search for test data, presented at Proceedings of ASE 2000 15th IEEE International Automated Software Engineering Conference, 11-15 September 2000, Grenoble, France, 2000.
5. Bueno P.M.S., and Jino M. Automatic test data generation for program paths using genetic algorithms. International Journal of Software Engineering and Knowledge Engineering 12 (2002) 691-709
6. Clarke L.A. A system to generate test data and symbolically execute programs. IEEE Transactions on Software Engineering SE-2 (1976) 215-222
7. C. Csallner, Y. Smaragdakis, Check 'n' crash: combining static checking and testing, presented at 27th International Conference on Software Engineering, ICSE 2005, May 15-21 2005, Saint Louis, MO, United States, 2005.
8. Ferguson R., and Korel B. The chaining approach for software test data generation. ACM Transactions on Software Engineering and Methodology 5 (1996) 63-86
9. Ferrante J., Ottenstein K.J., and Warren J.D. The program dependence graph and its use in optimization. ACM Transactions on Programming Languages and Systems 9 (1987) 319-349
10. I. Forgacs, A. Bertolino, Feasible test path selection by principal slicing, presented at ESEC/FSE '97, 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 22-25 September 1997 Software Engineering Notes, Zurich, Switzerland, 1997.
11. Gallagher K.B., and Lyle J.R. Using program slicing in software maintenance. IEEE Transactions on Software Engineering 17 (1991) 751-761
12. George B., and Williams L. A structured experiment of test-driven development. Information and Software Technology 46 (2004) 337-342
13. GFP, A Personal Financial Management System. Available from: .
14. A. Goldberg, T.C. Wang, D. Zimmerman, Applications of feasible path analysis to program testing, presented at 1994 International Symposium on Software Testing and Analysis (ISSTA), 17-19 August 1994 SIGSOFT Software Engineering Notes, Seattle, WA, USA, 1994.
15. GraphViz, Dotty. Available from: .
16. N. Gupta, A.P. Mathur, M.L. Soffa, Automated test data generation using an iterative relaxation method, Proceedings of the 1998 ACM SIGSOFT 6th International Symposium on the Foundations of Software Engineering, FSE-6, SIGSOFT-98, November 3-November 5 1998, pp. 231-244, 1998.
17. N. Gupta, A.P. Mathur, M.L. Soffa, Generating test data for branch coverage, presented at Proceedings of ASE 2000 15th IEEE International Automated Software Engineering Conference, 11-15 September 2000, Grenoble, France, 2000.
18. D. Hedley, M.A. Hennell, The causes and effects of infeasible paths in computer programs, presented at Proceedings of the 8th International Conference on Software Engineering (Cat. No.85CH2139-4), 28-30 August 1985, London, UK, 1985.
19. HTMLParser, A HTML Parser. Available from: .
20. G. Jayaraman, V.P. Ranganath, J. Hatcliff, Kaveri: delivering the Indus Java program slicer to Eclipse, presented at Fundamental Approaches to Software Engineering. 8th International Conference, FASE 2005 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005. Proceedings, 4-8 April 2005, Edinburgh, UK, 2005.
21. JHotDraw, A Java GUI framework. Available from: .
22. JLibSys, A Library Management System. Available from: .
23. JMathLib, A library of mathematical functions. Available from: .
24. Korel B. Automated software test data generation. IEEE Transactions on Software Engineering 16 (1990)
25. B. Korel, Automated test data generation for programs with procedures, presented at Proceedings of International Symposium on Software Testing and Analysis (ISSTA'96), 8-10 January 1996, San Diego, CA, USA, 1996.
26. Malevris N. A path generation method for testing LCSAJs that restrains infeasible paths. Information and Software Technology 37 (1995) 435-441
27. Malevris N., Yates D.F., and Veevers A. Predictive metric for likely feasibility of program paths. Information and Software Technology 32 (1990) 115-118
28. T.J. McCabe, Structured testing: a software testing methodology using the cyclomatic complexity metric, Nat. Bur. Stand., Washington, DC, USA 1982/12/1982.
29. Michael C.C., McGraw G., and Schatz M.A. Generating software test data by evolution. IEEE Transactions on Software Engineering 27 (2001) 1085-1110
30. Pargas R.P., Harrold M.J., and Peck R.R. Test-data generation using genetic algorithms. Software Testing Verification and Reliability 9 (1999) 263-282
31. PMD, A Java source code analyzer. Available from: .
32. J. Poole, Method to Determine a Basis Set of Paths to Perform Program Testing, United States 1995/11/ 1995.
33. K. Sen, G. Agha, CUTE and jCUTE: concolic unit testing and explicit path model-checking tools, presented at 18th International Conference on Computer Aided Verification, CAV 2006, August 17-20 2006, Seattle, WA, United States, 2006.
34. SOOT, A Java bytecode optimization framework. Available from: .
35. Sourceforge, Open-source website. Available from: .
36. P. Tonella, Evolutionary testing of classes, presented at ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2004, July 11-14 2004, Boston, MA, United States, 2004.
37. W. Visser, C.S. Pasareanu, S. Khurshid, Test input generation with Java PathFinder, presented at ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2004, 11-14 July 2004 Software Engineering Notes, Boston, MA, USA, 2004.
38. Watkins A., and Hufnagel E.M. Evolutionary test data generation: a comparison of fitness functions. Software - Practice and Experience 36 (2006) 95-116
39. T. Xie, D. Marinov, W. Schulte, D. Notkin, Symstra: a framework for generating object-oriented unit tests using symbolic execution, presented at Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Proceedings, 4-8 April 2005, Edinburgh, UK, 2005.
40. D.F. Yates, N. Malevris, Reducing the effects of infeasible paths in branch testing, presented at ACM SIGSOFT '89 Third Symposium on Software Testing, Analysis and Verification (TAV3), 13-15 December 1989 SIGSOFT Software Engineering Notes, Key West, FL, USA, 1989.
41. J. Zhang, X. Chen, X. Wang, Path-oriented test data generation using symbolic execution and constraint solving techniques, presented at Proceedings of the Second International Conference on Software Engineering and Formal Methods, 28-30 September 2004, Beijing, China, 2004.
42. Zhang J., and Wang X. A constraint solver and its application to path feasibility analysis. International Journal of Software Engineering and Knowledge Engineering 11 (2001) 139-156
43. Zhao R., and Lyu M.R. Character string predicate based automatic software test data generation. IEEE 3rd International Conference on Quality Software (2003)