MuDelta: Delta-Oriented Mutation Testing at Commit Time

被引:6
|
作者
Ma, Wei [1 ]
Chekam, Thierry Titcheu [1 ]
Papadakis, Mike [1 ]
Harman, Mark [2 ,3 ]
机构
[1] Univ Luxembourg, SnT, Luxembourg, Luxembourg
[2] Facebook, London, England
[3] UCL, London, England
基金
欧洲研究理事会;
关键词
mutation testing; commit-relevant mutants; continuous integration; regression testing; machine learning;
D O I
10.1109/ICSE43902.2021.00086
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
To effectively test program changes using mutation testing, one needs to use mutants that are relevant to the altered program behaviours. In view of this, we introduce MuDelta, an approach that identifies commit-relevant mutants; mutants that affect and are affected by the changed program behaviours. Our approach uses machine learning applied on a combined scheme of graph and vector-based representations of static code features. Our results, from 50 commits in 21 Coreutils programs, demonstrate a strong prediction ability of our approach; yielding 0.80 (ROC) and 0.50 (PR Curve) AUC values with 0.63 and 0.32 precision and recall values. These predictions are significantly higher than random guesses, 0.20 (PR-Curve) AUC, 0.21 and 0.21 precision and recall, and subsequently lead to strong relevant tests that kill 45%more relevant mutants than randomly sampled mutants (either sampled from those residing on the changed component(s) or from the changed lines). Our results also show that MuDelta selects mutants with 27% higher fault revealing ability in fault introducing commits. Taken together, our results corroborate the conclusion that commit-based mutation testing is suitable and promising for evolving software.
引用
收藏
页码:897 / 909
页数:13
相关论文
共 50 条
  • [41] PhaDOP: A Pharo framework for implementing software product lines using Delta-Oriented Programming and model-based engineering
    Niang, Boubou Thiam
    Kahn, Giacomo
    Ouzrout, Yacine
    Derras, Mustapha
    Laval, Jannik
    JOURNAL OF COMPUTER LANGUAGES, 2024, 80
  • [42] Goal-Oriented Mutation Testing with Focal Methods
    Vercammen, Sten
    Ghafari, Mohammad
    Demeyer, Serge
    Borg, Markus
    PROCEEDINGS OF THE 9TH ACM SIGSOFT INTERNATIONAL WORKSHOP ON AUTOMATING TEST CASE DESIGN, SELECTION, AND EVALUATION (A-TEST '18), 2018, : 23 - 30
  • [43] Control Oriented Mutation Testing for Detection of Potential Software Bugs
    Bashir, Muhammad Bilal
    Nadeem, Aamer
    10TH INTERNATIONAL CONFERENCE ON FRONTIERS OF INFORMATION TECHNOLOGY (FIT 2012), 2012, : 35 - 40
  • [44] Mutation testing on an object-oriented framework: An experience report
    Segura, Sergio
    Hierons, Robert M.
    Benavides, David
    Ruiz-Cortes, Antonio
    INFORMATION AND SOFTWARE TECHNOLOGY, 2011, 53 (10) : 1124 - 1136
  • [45] Communication Sequence Graphs for Mutation-Oriented Integration Testing
    Belli, Fevzi
    Hollmann, Axel
    Padberg, Sascha
    2009 THIRD IEEE INTERNATIONAL CONFERENCE ON SECURE SOFTWARE INTEGRATION AND RELIABILITY IMPROVEMENT, PROCEEDINGS, 2009, : 387 - 392
  • [46] Aspect-oriented response injection: an alternative to classical mutation testing
    Bogacki, Bartosz
    Walter, Bartosz
    SOFTWARE ENGINEERING TECHNIQUES: DESIGN FOR QUALITY, 2006, 227 : 273 - +
  • [47] A Fitness Function for Evolutionary Mutation Testing of Object-Oriented Programs
    Bashir, Muhammad Bilal
    Nadeem, Aamer
    2013 IEEE 9TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES (ICET 2013), 2013, : 279 - 284
  • [48] Evaluation of Mutant Sampling Criteria in Object-Oriented Mutation Testing
    Derezinska, Anna
    Rudnik, Marcin
    PROCEEDINGS OF THE 2017 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2017, : 1315 - 1324
  • [49] Time for Networks: Mutation Testing for Timed Automata Networks
    Cortes, David
    Ortiz, James
    Basile, Davide
    Aranda, Jesus
    Perrouin, Gilles
    Schobbens, Pierre-Yves
    PROCEEDINGS OF THE 2024 IEEE/ACM 12TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE 2024, 2024, : 44 - 54
  • [50] Investigating the effectiveness of object-oriented testing strategies using the mutation method
    Kim, SW
    Clark, JA
    McDermid, JA
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2001, 11 (04): : 207 - 225