Achieving scalable mutation-based generation of whole test suites

被引:74
|
作者
Fraser, Gordon [1 ]
Arcuri, Andrea [2 ]
机构
[1] Univ Sheffield, Dept Comp Sci, Sheffield S1 4DP, S Yorkshire, England
[2] Simula Res Lab, Certus Software V&V Ctr, Lysaker, Norway
关键词
Mutation testing; Test case generation; Search-based testing; Testing classes; Unit testing; TOOL;
D O I
10.1007/s10664-013-9299-z
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Without complete formal specification, automatically generated software tests need to be manually checked in order to detect faults. This makes it desirable to produce the strongest possible test set while keeping the number of tests as small as possible. As commonly applied coverage criteria like branch coverage are potentially weak, mutation testing has been proposed as a stronger criterion. However, mutation based test generation is hampered because usually there are simply too many mutants, and too many of these are either trivially killed or equivalent. On such mutants, any effort spent on test generation would per definition be wasted. To overcome this problem, our search-based EvoSuite test generation tool integrates two novel optimizations: First, we avoid redundant test executions on mutants by monitoring state infection conditions, and second we use whole test suite generation to optimize test suites towards killing the highest number of mutants, rather than selecting individual mutants. These optimizations allowed us to apply EvoSuite to a random sample of 100 open source projects, consisting of a total of 8,963 classes and more than two million lines of code, leading to a total of 1,380,302 mutants. The experiment demonstrates that our approach scales well, making mutation testing a viable test criterion for automated test case generation tools, and allowing us to analyze the relationship of branch coverage and mutation testing in detail.
引用
收藏
页码:783 / 812
页数:30
相关论文
共 50 条
  • [1] Achieving scalable mutation-based generation of whole test suites
    Gordon Fraser
    Andrea Arcuri
    [J]. Empirical Software Engineering, 2015, 20 : 783 - 812
  • [2] Test Case Generation for Mutation-based Testing of Timeliness
    Nilsson, Robert
    Offutt, Jeff
    Mellin, Jonas
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 164 (04) : 97 - 114
  • [3] Mutation-Based Test Case Generation for Simulink Models
    Brillout, Angelo
    He, Nannan
    Mazzucchi, Michele
    Kroening, Daniel
    Purandare, Mitra
    Ruemmer, Philipp
    Weissenbacher, Georg
    [J]. FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2010, 6286 : 208 - +
  • [4] Mutation-Based Test-Case Generation with Ecdar
    Larsen, Kim G.
    Lorber, Florian
    Nielsen, Brian
    Nyman, Ulrik M.
    [J]. 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS - ICSTW 2017, 2017, : 319 - 328
  • [5] Mutation-Based Generation of Software Product Line Test Configurations
    Henard, Christopher
    Papadakis, Mike
    Le Traon, Yves
    [J]. SEARCH-BASED SOFTWARE ENGINEERING, 2014, 8636 : 92 - 106
  • [6] Mutation-Based Minimal Test Suite Generation for Boolean Expressions
    Ayav, Tolga
    Belli, Fevzi
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2023, 33 (06) : 865 - 884
  • [7] Mutation-based Diagnostic Test Generation for Hardware Design Error Diagnosis
    Deng, Shujun
    Cheng, Kwang-Ting
    Bian, Jinian
    Kong, Zhiqiu
    [J]. INTERNATIONAL TEST CONFERENCE 2010, 2010,
  • [8] Strong Mutation-Based Test Data Generation using Hill Climbing
    Souza, Francisco Carlos M.
    Papadakis, Mike
    Le Traon, Yves
    Delamaro, Marcio E.
    [J]. 2016 IEEE/ACM 9TH INTERNATIONAL WORKSHOP ON SEARCH-BASED SOFTWARE TESTING (SBST), 2016, : 45 - 54
  • [9] Mutation-Based Test Generation for Quantum Programs with Multi-Objective Search
    Wang, Xinyi
    Yu, Tongxuan
    Arcaini, Paolo
    Yue, Tao
    Ali, Shaukat
    [J]. PROCEEDINGS OF THE 2022 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE (GECCO'22), 2022, : 1345 - 1353
  • [10] Mutation-based Generation Algorithm of Negative Test Strings from Regular Expressions
    Zheng, Li-Xiao
    Yu, Li-Lin
    Chen, Hai-Ming
    Chen, Zu-Xi
    Luo, Xiang-Yu
    Wang, Xiao-Yong
    [J]. Ruan Jian Xue Bao/Journal of Software, 2024, 35 (07): : 3355 - 3376