Diversity-Aware Mutation Adequacy Criterion for Improving Fault Detection Capability

被引:7
作者
Shin, Donghwan [1 ]
Yoo, Shin [1 ]
Bae, Doo-Hwan [1 ]
机构
[1] Korea Adv Inst Sci & Technol, Sch Comp, Daejeon, South Korea
来源
2016 IEEE NINTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW) | 2016年
关键词
D O I
10.1109/ICSTW.2016.37
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Many existing testing techniques adopt diversity as an important criterion for the selection and prioritization of tests. However, mutation adequacy has been content with simply maximizing the number of mutants that have been killed. We propose a novel mutation adequacy criterion that considers the diversity in the relationship between tests and mutants, as well as whether mutants are killed. Intuitively, the proposed criterion is based on the notion that mutants can be distinguished by the sets of tests that kill them. A test suite is deemed adequate by our criterion if the test suite distinguishes all mutants in terms of their kill patterns. Our hypothesis is that, simply by using a stronger adequacy criterion, it is possible to improve fault detection capabilities of mutation-adequate test suites. The empirical evaluation selects tests for real world applications using the proposed mutation adequacy criterion to test our hypothesis. The results show that, for real world faults, test suites adequate to our criterion can increase the fault detection success rate by up to 76.8 percentage points compared to test suites adequate to the traditional criterion.
引用
收藏
页码:122 / 131
页数:10
相关论文
共 30 条
  • [1] Alshahwan N., 2014, P 2014 INT S SOFTW T, P181
  • [2] Establishing Theoretical Minimal Sets of Mutants
    Ammann, Paul
    Delamaro, Marcio E.
    Offutt, Jeff
    [J]. 2014 IEEE SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2014, : 21 - 30
  • [3] A Practical Guide for Using Statistical Tests to Assess Randomized Algorithms in Software Engineering
    Arcuri, Andrea
    Briand, Lionel
    [J]. 2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2011, : 1 - 10
  • [4] Baudry B., 2006, 28th International Conference on Software Engineering Proceedings, P82, DOI 10.1145/1134285.1134299
  • [5] Cadar C., 2008, Proceedings of the 8th USENIX conference on Operating systems design and implementation, OSDI'08, (USA), P209
  • [6] Chen TY, 2004, LECT NOTES COMPUT SC, V3321, P320
  • [7] HINTS ON TEST DATA SELECTION - HELP FOR PRACTICING PROGRAMMER
    DEMILLO, RA
    LIPTON, RJ
    [J]. COMPUTER, 1978, 11 (04) : 34 - 41
  • [8] Feldt R., P IEEE 9 INT C SOFTW
  • [9] AN EXPERIMENTAL COMPARISON OF THE EFFECTIVENESS OF BRANCH TESTING AND DATA-FLOW TESTING
    FRANKL, PG
    WEISS, SN
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1993, 19 (08) : 774 - 787
  • [10] Fraser G., 2011, P 19 ACM SIGSOFT S 1, P416