Search based software testing of object-oriented containers

Information Sciences

Volumn 178, Issue 15, 2008, Pages 3075-3095

  Arcuri, Andrea ^a   Yao, Xin ^a  

^a in Computational Intelligence and Applications (CERCIA)   (United Kingdom)

Author keywords

Containers; Nature inspired algorithms; Object oriented software; Search algorithms; Search based software engineering; Software testing; Testability transformations; White box testing

Indexed keywords

ALGORITHMS; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; PROBLEM SOLVING;

INPUT SPACE REDUCTIONS; NATURE INSPIRED ALGORITHMS; SEARCH ALGORITHMS; SEARCH BASED SOFTWARE ENGINEERING; TESTABILITY TRANSFORMATIONS; WHITE BOX TESTING;

SOFTWARE TESTING;

EID: 44949140755     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2007.11.024     Document Type: Article

References (62)

1. A. Arcuri, X. Yao, A memetic algorithm for test data generation of object-oriented software, in: IEEE Congress on Evolutionary Computation (CEC), 2007, pp. 2048-2055.
2. A. Arcuri, X. Yao, On test data generation of object-oriented software, in: Testing: Academic and Industrial Conference, Practice and Research Techniques (TAIC PART), 2007, pp. 72-76.
3. A. Baresel, D. Binkley, M. Harman, B. Korel, Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach, in: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), 2004, pp. 43-52.
4. A. Baresel, H. Sthamer, Evolutionary testing of flag conditions, in: Genetic and Evolutionary Computation Conference (GECCO), 2003, pp. 2442-2454.
5. A. Baresel, H. Sthamer, M. Schmidt, Fitness function design to improve evolutionary structural testing, in: Genetic and Evolutionary Computation Conference (GECCO), 2002, pp. 1329-1336.
6. Barr R.S., Golden B.L., Kelly J.P., Rescende M.G.C., and Stewart W.R. Designing and reporting on computational experiments with heuristic methods. Journal of Heuristics 1 1 (1995) 9-32
7. Beizer B. Software Testing Techniques (1990), Van Nostrand Rheinhold, New York
8. C. Boyapati, S. Khurshid, D. Marinov, Korat: automated testing based on java predicates, in: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), 2002.
9. U. Buy, A. Orso, M. Pezzè, Automated testing of classes, in: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), 2000, pp. 39-48.
10. Chen T.Y., and Lau M.F. On the divide-and-conquer approach towards test suite reduction. Information Sciences 152 (2003) 89-119
11. Y. Cheon, M. Kim, A specification-based fitness function for evolutionary testing of object-oriented programs, in: Genetic and Evolutionary Computation Conference (GECCO), 2006, pp. 1952-1954.
12. Y. Cheon, M.Y. Kim, A. Perumandla, A complete automation of unit testing for java programs, in: Proceedings of the 2005 International Conference on Software Engineering Research and Practice, 2005, pp. 290-295.
13. Clark J., Dolado J.J., Harman M., Hierons R., Jones B., Lumkin M., Mitchell B., Mancoridis S., Rees K., Roper M., and Shepperd M. Reformulating software engineering as a search problem. IEE Proceedings - Software 150 3 (2003) 161-175
14. M.L. Collard, Addressing source code using srcml, in: IEEE International Workshop on Program Comprehension Working Session: Textual Views of Source Code to Support Comprehension (IWPC'05), 2005.
15. M. d'Amorim, C. Pacheco, T. Xie, D. Marinov, M.D. Ernst, An empirical comparison of automated generation and classification techniques for object-oriented unit testing, in: IEEE International Conference on Automated Software Engineering (ASE), 2006, pp. 59-68.
16. Deb K. Multi-Objective Optimization Using Evolutionary Algorithms (2001), John Wiley and Sons
17. R. Doong, P.G. Frankl, The astoot approach to testing object-oriented programs, ACM Transactions on Software Engineering and Methodology, 1994, pp. 101-130.
18. Ellims M., Bridges J., and Ince D.C. The economics of unit testing. Empirical Software Engineering 11 1 (2006) 5-31
19. Ferguson R., and Korel B. The chaining approach for software test data generation. ACM Transactions on Software Engineering and Methodology 5 1 (1996) 63-86
20. M. Harman, L. Hu, R. Hierons, A. Baresel, H. Sthamer, Improving evolutionary testing by flag removal, in: Genetic and Evolutionary Computation Conference (GECCO), 2002, pp. 1351-1358.
21. Harman M., Hu L., Hierons R., Wegener J., Sthamer H., Baresel A., and Roper M. Testability transformation. IEEE Transactions on Software Engineering 30 1 (2004) 3-16
22. M. Harman, M. Munro, L. Hu, X. Zhang, Side-effect removal transformation, in: Proceedings of the 9th IEEE International Workshop on Program Comprehension, 2001, pp. 310-319.
23. Holland J.H. Adaptation in Natural and Artificial Systems. second ed. (1992), MIT Press, Cambridge
24. IEEE-Standards-Board. IEEE standard for software unit testing: an american national standard, ansi/ieee std 1008-1987. IEEE Standards: Software Engineering, Process Standards, vol. 2, 1999.
25. King J.C. Symbolic execution and program testing. Communications of the ACM (1976) 385-394
26. S. Kirkpatrick, C.D. Gelatt, M.P. Vecchi, Optimization by simulated annealing. Science, Number 4598, 13 May 1983, 220, 4598:671-680, 1983.
27. Korel B. Automated software test data generation. IEEE Transactions on Software Engineering (1990) 870-879
28. Lin J.C., and Yeh P.L. Automatic test data generation for path testing using GAs. Information Sciences 131 1-4 (2001) 47-64
29. X. Liu, B. Wang, H. Liu, Evolutionary search in the context of object oriented programs, in: MIC2005: The Sixth Metaheuristics International Conference, 2005.
30. Mann H.B., and Whitney D.R. On a test of whether one of two random variables is stochastically larger than the other. Annals of Mathematical Statistics 18 1 (1947) 50-60
31. D. Marinov, S. Khurshid, Testera: A novel framework for testing java programs, in: IEEE International Conference on Automated Software Engineering (ASE), 2001.
32. J. McDonald, D. Hoffman, P. Strooper, Programmatic testing of the standard template library containers, in: IEEE International Conference on Automated Software Engineering (ASE), 1998, pp. 147-156.
33. McMinn P. Search-based software test data generation: a survey. Software Testing, Verification and Reliability 14 2 (2004) 105-156
34. P. McMinn, Evolutionary Search for Test Data in the Presence of State Behaviour. Ph.D. Thesis, University of Sheffield, 2005.
35. P. McMinn, D. Binkley, Testability transformation for efficient automated test data search in the presence of nesting, in: Proceedings of the Third UK Software Testing Workshop, 2005, pp. 165-182.
36. P. McMinn, M. Holcombe, The state problem for evolutionary testing, in: Genetic and Evolutionary Computation Conference (GECCO), 2003, pp. 2488-2500.
37. P. McMinn, M. Holcombe, Hybridizing evolutionary testing with the chaining approach, in: Genetic and Evolutionary Computation Conference (GECCO), 2004, pp. 1363-1374.
38. P. McMinn, M. Holcombe, Evolutionary testing of state-based programs, in: Genetic and Evolutionary Computation Conference (GECCO), 2005, pp. 1013-1020.
39. Metropolis N., Rosenbluth A., Rosenbluth M., Teller A., and Teller E. Equations of state calculations by fast computing machines. Journal of Chemical Physics 21 (1953) 1087-1091
40. Miller J., Reformat M., and Zhang H. Automatic test data generation using genetic algorithm and program dependence graphs. Information and Software Technology 48 7 (2006) 586-605
41. P. Moscato, On evolution, search, optimization, genetic algorithms and martial arts: Towards memetic algorithms. Caltech Concurrent Computation Program, C3P Report 826, 1989.
42. Myers G. The Art of Software Testing (1979), Wiley, New York
43. P. Netisopakul, L. White, J. Morris, D. Hoffman, Data coverage testing of programs for container classes, in: Proceedings 13th International Symposium on Software Reliability Engineering, 2002, pp. 183-194.
44. Runarsson T.P., and Yao X. Stochastic ranking for constrained evolutionary optimization. IEEE Transactions on Evolutionary Computation 4 3 (2000) 284-294
45. R. Sagarna, A. Arcuri, X. Yao, Estimation of distribution algorithms for testing object oriented software, in: IEEE Congress on Evolutionary Computation (CEC), 2007, pp. 438-444.
46. A. Seesing, Evotest: test case generation using genetic programming and software analysis. Master's thesis, Delft University of Technology, 2006.
47. G. Tassey, The economic impacts of inadequate infrastructure for software testing, final report, National Institute of Standards and Technology, 2002.
48. P. Tonella, Evolutionary testing of classes, in: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), 2004, pp. 119-128.
49. N. Tracey, J. Clark, K. Mander, J.A. McDermid, An automated framework for structural test-data generation, in: IEEE International Conference on Automated Software Engineering (ASE), 1998, pp. 285-288.
50. W. Visser, C.S. Pasareanu, S. Khurshid, Test input generation with java pathfinder, in: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), 2004.
51. W. Visser, C.S. Pasareanu, R. Pelànek, Test input generation for java containers using state matching, in: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), 2006, pp. 37-48.
52. Waeselynck H., Fosse P.T., and Kaddour O.A. Simulated annealing applied to test generation: landscape characterization and stopping criteria. Empirical Software Engineering 12 1 (2006) 35-63
53. S. Wappler, F. Lammermann, Using evolutionary algorithms for the unit testing of object-oriented software, in: Genetic and Evolutionary Computation Conference (GECCO), 2005, pp. 1053-1060.
54. S. Wappler, J. Wegener, Evolutionary unit testing of object-oriented software using a hybrid evolutionary algorithm, in: IEEE Congress on Evolutionary Computation (CEC), 2006, pp. 851-858.
55. S. Wappler, J. Wegener, Evolutionary unit testing of object-oriented software using strongly-typed genetic programming, in: Genetic and Evolutionary Computation Conference (GECCO), 2006, pp. 1925-1932.
56. Wegener J., Baresel A., and Sthamer H. Evolutionary test environment for automatic structural testing. Information and Software Technology 43 14 (2001) 841-854
57. Wolpert D.H., and Macready W.G. No free lunch theorems for optimization. IEEE Transactions on Evolutionary Computation 1 1 (1997) 67-82
58. Xiao M., El-Attar M., Reformat M., and Miller J. Empirical evaluation of optimization algorithms when used in goal-oriented automated test data generation techniques. Empirical Software Engineering 12 2 (2007) 183-239
59. T. Xie, D. Marinov, D. Notkin, Rostra: a framework for detecting redundant object-oriented unit tests, in: IEEE International Conference on Automated Software Engineering (ASE), 2004, pp. 196-205.
60. T. Xie, D. Marinov, W. Schulte, D. Notkin, Symstra: a framework for generating object-oriented unit tests using symbolic execution, in: Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2005, pp. 365-381.
61. Yao X. Simulated annealing with extended neighbourhood. International Journal of Computer Mathematics 40 (1991) 169-189
62. X. Yao, Comparison of different neighbourhood size in simulated annealing, in: Proceedings of the Fourth Australian Conference on Neural Networks (ACNN'93), 1993, pp. 216-219.