Analysing the fitness landscape of search-based software testing problems

被引:35
作者
Aleti, Aldeida [1 ]
Moser, I. [2 ]
Grunske, Lars [3 ]
机构
[1] Monash Univ, Fac Informat Technol, Clayton, Vic, Australia
[2] Swinburne Univ Technol, Fac Sci Engn & Technol, Hawthorn, Vic, Australia
[3] Univ Stuttgart, Inst Software Technol, Stuttgart, Germany
基金
澳大利亚研究理事会;
关键词
Test data generation; Genetic algorithms; Fitness landscape characterisation; OPTIMIZATION; COEFFICIENT; GENERATION;
D O I
10.1007/s10515-016-0197-7
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Search-based software testing automatically derives test inputs for a software system with the goal of improving various criteria, such as branch coverage. In many cases, evolutionary algorithms are implemented to find near-optimal test suites for software systems. The result of the search is usually received without any indication of how successful the search has been. Fitness landscape characterisation can help understand the search process and its probability of success. In this study, we recorded the information content, negative slope coefficient and the number of improvements during the progress of a genetic algorithm within the EvoSuite framework. Correlating the metrics with the branch and method coverages and the fitness function values reveals that the problem formulation used in EvoSuite could be improved by revising the objective function. It also demonstrates that given the current formulation, the use of crossover has no benefits for the search as the most problematic landscape features are not the number of local optima but the presence of many plateaus.
引用
收藏
页码:603 / 621
页数:19
相关论文
共 46 条
[1]   Test data generation with a Kalman filter-based adaptive genetic algorithm [J].
Aleti, Aldeida ;
Grunske, Lars .
JOURNAL OF SYSTEMS AND SOFTWARE, 2015, 103 :343-352
[2]   A Systematic Review of the Application and Empirical Investigation of Search-Based Test Case Generation [J].
Ali, Shaukat ;
Briand, Lionel C. ;
Hemmati, Hadi ;
Panesar-Walawege, Rajwinder K. .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2010, 36 (06) :742-762
[3]   Autocorrelation coefficient for the graph bipartitioning problem [J].
Angel, E ;
Zissimopoulos, V .
THEORETICAL COMPUTER SCIENCE, 1998, 191 (1-2) :229-243
[4]  
[Anonymous], P 15 ANN C COMP GEN
[5]  
[Anonymous], 2000, 6 INT C PAR PROBL SO
[6]  
[Anonymous], 1963, The Mathematical Theory of Communication
[7]   Parameter tuning or default values? An empirical investigation in search-based software engineering [J].
Arcuri, Andrea ;
Fraser, Gordon .
EMPIRICAL SOFTWARE ENGINEERING, 2013, 18 (03) :594-623
[8]  
Arcuri A, 2011, LECT NOTES COMPUT SC, V6956, P33, DOI 10.1007/978-3-642-23716-4_6
[9]  
Boyer R. S., 1975, SIGPLAN Notices, V10, P234, DOI 10.1145/390016.808445
[10]  
Clarke L. A., 1976, IEEE Transactions on Software Engineering, VSE-2, P215, DOI 10.1109/TSE.1976.233817