The Community for Technology Leaders
Green Image
Issue No. 02 - March-April (2012 vol. 38)
ISSN: 0098-5589
pp: 453-477
Youssef Hassoun , King's College London, London
Phil McMinn , University of Sheffield, Sheffield
Kiran Lakhotia , University College London, London
Mark Harman , University College London, London
Joachim Wegener , Berner & Mattner Systemtechnik GmbH, Berlin
ABSTRACT
Search-Based Test Data Generation reformulates testing goals as fitness functions so that test input generation can be automated by some chosen search-based optimization algorithm. The optimization algorithm searches the space of potential inputs, seeking those that are “fit for purpose,” guided by the fitness function. The search space of potential inputs can be very large, even for very small systems under test. Its size is, of course, a key determining factor affecting the performance of any search-based approach. However, despite the large volume of work on Search-Based Software Testing, the literature contains little that concerns the performance impact of search space reduction. This paper proposes a static dependence analysis derived from program slicing that can be used to support search space reduction. The paper presents both a theoretical and empirical analysis of the application of this approach to open source and industrial production code. The results provide evidence to support the claim that input domain reduction has a significant effect on the performance of local, global, and hybrid search, while a purely random search is unaffected.
INDEX TERMS
Search-based software testing, evolutionary testing, automated test data generation, input domain reduction.
CITATION
Youssef Hassoun, Phil McMinn, Kiran Lakhotia, Mark Harman, Joachim Wegener, "Input Domain Reduction through Irrelevant Variable Removal and Its Effect on Local, Global, and Hybrid Search-Based Structural Test Data Generation", IEEE Transactions on Software Engineering, vol. 38, no. , pp. 453-477, March-April 2012, doi:10.1109/TSE.2011.18
101 ms
(Ver )