CISUC

Search-Based Test Case Generation for Object-Oriented Java Software Using Strongly-Typed Genetic Programming

Authors

José Carlos Bregieiro Ribeiro

Abstract

In evolutionary testing, meta-heuristic search techniques are used to generate high-quality test data. The focus of our on-going work is on employing evolutionary algorithms for the structural unit-testing of object-oriented Java programs.

Test cases are evolved using the Strongly-Typed Genetic Programming technique. Test data quality evaluation includes instrumenting the test object, executing it with the generated test cases, and tracing the structures traversed in order to derive coverage metrics. The strategy for efficiently guiding the search process towards achieving full structural coverage involves favouring test cases that exercise problematic structures and control-flow paths. Static analysis and instrumentation is performed solely with basis on the information extracted from the test objects' Java Bytecode.

Relevant contributions include the introduction of novel methodologies for automation, search guidance and input domain reduction, and the presentation of the eCrash automated test case generation tool.

Keywords

Search-Based Test Case Generation, Evolutionary Testing, Strongly-Typed Genetic Programming, Object-Orientation

Subject

Evolutionary Testing

Conference

10th Annual Conference on Genetic and Evolutionary Computation, July 2008

DOI


Cited by

Year 2013 : 3 citations

 Fraser, Gordon, and Andrea Arcuri. "Whole test suite generation." (2013): 1-1.

 Arcuri, Andrea, and Gordon Fraser. "Parameter tuning or default values? An empirical investigation in search-based software engineering." Empirical Software Engineering (2013): 1-30.

 Fraser, Gordon, and Andrea Arcuri. "Handling test length bloat." Software Testing, Verification and Reliability (2013).

Year 2011 : 8 citations

 Fraser, Gordon, and Andrea Arcuri. "Evolutionary generation of whole test suites." Quality Software (QSIC), 2011 11th International Conference on. IEEE, 2011.

 Arcuri, Andrea, and Gordon Fraser. "On parameter tuning in search based software engineering." Search Based Software Engineering. Springer Berlin Heidelberg, 2011. 33-47.

 Arcuri, Andrea, and Gordon Fraser. "On parameter tuning in search based software engineering." Search Based Software Engineering. Springer Berlin Heidelberg, 2011. 33-47.

 Fraser, Gordon, and Andrea Arcuri. "It is not the length that matters, it is how you control it." Software Testing, Verification and Validation (ICST), 2011 IEEE Fourth International Conference on. IEEE, 2011.

 Fraser, Gordon, and Andreas Zeller. "Exploiting common object usage in test case generation." Software Testing, Verification and Validation (ICST), 2011 IEEE Fourth International Conference on. IEEE, 2011.

 Mehrmand, Arash, and Robert Feldt. "A factorial experiment on scalability of search based software testing." arXiv preprint arXiv:1101.2301 (2011).

 Li, Yanchuan, and Gordon Fraser. "Bytecode testability transformation." Search Based Software Engineering. Springer Berlin Heidelberg, 2011. 237-251.

 Cardamone, Luigi, Andrea Mocci, and Carlo Ghezzi. "Dynamic synthesis of program invariants using genetic programming." Evolutionary Computation (CEC), 2011 IEEE Congress on. IEEE, 2011.

Year 2010 : 5 citations

 Pinto, Gustavo HL, and Silvia Regina Vergilio. "A multi-objective genetic algorithm to test data generation." Tools with Artificial Intelligence (ICTAI), 2010 22nd IEEE International Conference on. Vol. 1. IEEE, 2010.

 Hosseingholizadeh, Ahmad. "A source-based risk analysis approach for software test optimization." Computer Engineering and Technology (ICCET), 2010 2nd International Conference on. Vol. 2. IEEE, 2010.

 Araki, L., and Silvia Regina Vergilio. "Um framework de geraçao de dados de teste para critérios estruturais baseados em código objeto Java." Workshop de Testes e Tolerância a Falhas. 2010.

 Jansen, Karsten. "Instrumentation and transformation of Java source code for automated testing with search-based testing algorithms." (2010).

 Hosseingholizadeh, Ahmad. "A Study On Automatic Software Quality And Reliability Anlaysis." (2010).

Year 2009 : 3 citations

 Arcuri, Andrea. Automatic software generation and improvement through search based techniques. Diss. University of Birmingham, 2009.

 Arash Mehrmand, A Factorial Experiment on Scalability of Search-based Software Testing, Master Thesis, Thesis Number: MSE-2009:20, School of Engineering, Blekinge Institute of Technology, Sweden, June 2009
URL: http://www.bth.se/fou/cuppsats.nsf/all/3db8cb2edf809a4fc125764d006e6775/$file/ARASH_MEHRMAND_Master_Thesis.pdf

 Mark Harman and S. Afshin Mansouri and Yuanyuan Zhang, Search Based Software Engineering: A Comprehensive Analysis and Review of Trends Techniques and Applications, TR-09-03, 2009
URL: http://www.dcs.kcl.ac.uk/technical-reports/papers/TR-09-03.pdf