CISUC

Strongly-Typed Genetic Programming and Purity Analysis: Input Domain Reduction for Evolutionary Testing Problems

Authors

Abstract

Search-based test case generation for object-oriented software is hindered by the size of the search space, which encompasses the arguments to the implicit and explicit parameters of the test object's public methods. The performance of this type of search problems can be enhanced by the definition of adequate Input Domain Reduction strategies.

The focus of our on-going work is on employing evolutionary algorithms for generating test data for the structural unit-testing of Java programs. Test cases are represented and evolved using the Strongly-Typed Genetic Programming paradigm; Purity Analysis is particularly useful in this situation because it provides a means to automatically identify and remove Function Set entries that do not contribute to the definition of interesting test scenarios.

Keywords

Search-Based Test Case Generation, Strongly-Typed Genetic Programming, Input Domain Reduction

Subject

Evolutionary Testing

Conference

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


Cited by

Year 2013 : 4 citations

 A Arcuri, G Fraser, 'Parameter tuning or default values? An empirical investigation in search-based software engineering', 2013. Link: http://link.springer.com/article/10.1007/s10664-013-9249-9 Google Scholar ID: 10191189203822146179

 F Peters, T Menzies, L Gong, H Zhang, 'Balancing privacy and utility in cross-company defect prediction', 2013. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6419712 Google Scholar ID: 10191189203822146179

 G Fraser, A Arcuri, 'Whole test suite generation', 2013. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6152257 Google Scholar ID: 10191189203822146179

 G Fraser, A Arcuri, 'Handling test length bloat', 2013. Link: http://onlinelibrary.wiley.com/doi/10.1002/stvr.1495/full Google Scholar ID: 10191189203822146179

Year 2011 : 8 citations

 A Arcuri, G Fraser, 'On parameter tuning in search based software engineering', 2011. Link: http://link.springer.com/chapter/10.1007/978-3-642-23716-4_6 Google Scholar ID: 10191189203822146179

 A Mehrmand, R Feldt, 'A factorial experiment on scalability of search based software testing', 2011. Link: http://arxiv.org/abs/1101.2301 Google Scholar ID: 10191189203822146179

 G Fraser, A Arcuri, 'Evolutionary generation of whole test suites', 2011. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6004309 Google Scholar ID: 10191189203822146179

 G Fraser, A Arcuri, 'It is not the length that matters, it is how you control it', 2011. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5770604 Google Scholar ID: 10191189203822146179

 G Fraser, A Zeller, 'Exploiting common object usage in test case generation', 2011. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5770597 Google Scholar ID: 10191189203822146179

 L Cardamone, A Mocci, C Ghezzi, 'Dynamic synthesis of program invariants using genetic programming', 2011. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5949677 Google Scholar ID: 10191189203822146179

 S Yoo, M Harman, S Ur, 'Highly scalable multi objective test suite minimisation using graphics cards', 2011. Link: http://link.springer.com/chapter/10.1007/978-3-642-23716-4_20 Google Scholar ID: 10191189203822146179

 Y Li, G Fraser, 'Bytecode testability transformation', 2011. Link: http://link.springer.com/chapter/10.1007/978-3-642-23716-4_21 Google Scholar ID: 10191189203822146179

Year 2010 : 5 citations

 A Hosseingholizadeh, 'A source-based risk analysis approach for software test optimization', 2010. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5485639 Google Scholar ID: 10191189203822146179

 A Hosseingholizadeh, 'A Study On Automatic Software Quality And Reliability Anlaysis', 2010. Link: http://digitalcommons.ryerson.ca/dissertations/1403/ Google Scholar ID: 10191189203822146179

 GHL Pinto, SR Vergilio, 'A multi-objective genetic algorithm to test data generation', 2010. Link: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5670025 Google Scholar ID: 10191189203822146179

 K Jansen, 'Instrumentation and transformation of Java source code for automated testing with search-based testing algorithms', 2010. Link: https://www.duo.uio.no/handle/10852/8791 Google Scholar ID: 10191189203822146179

 L Araki, SR Vergilio, 'Um framework de geraçao de dados de teste para critérios estruturais baseados em código objeto Java', 2010. Link: http://sbrc2010.inf.ufrgs.br/anais/data/pdf/wtf/st03_01_wtf.pdf Google Scholar ID: 10191189203822146179

Year 2009 : 2 citations

 A Arcuri, 'Automatic software generation and improvement through search based techniques', 2009. Link: http://etheses.bham.ac.uk/400/ Google Scholar ID: 10191189203822146179

 M Harman, SA Mansouri, Y Zhang, 'Search based software engineering: A comprehensive analysis and review of trends techniques and applications', 2009. Link: http://crest.cs.ucl.ac.uk/fileadmin/crest/sebasepaper/HarmanMZ09.pdf Google Scholar ID: 10191189203822146179