IBIR: Bug-report-driven Fault Injection

被引:7
作者
Khanfir, Ahmed [1 ]
Koyuncu, Anil [2 ]
Papadakis, Mike [1 ]
Cordy, Maxime [1 ]
Bissyande, Tegawende F. [1 ]
Klein, Jacques [1 ]
Le Traon, Yves [1 ]
机构
[1] Univ Luxembourg, SnT, 29 Ave John F Kennedy, L-1855 Luxembourg, Luxembourg
[2] Sabanci Univ, Aoeniversite Caddesi 27, TR-34956 Istanbul, Turkiye
基金
欧洲研究理事会;
关键词
Fault injection; mutation; bug reports; information retrieval; MUTANT REDUCTION; ALL-USES; MUTATION; SOFTWARE; LOCALIZATION;
D O I
10.1145/3542946
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Much research on software engineering relies on experimental studies based on fault injection. Fault injection, however, is not often relevant to emulate real-world software faults since it "blindly" injects large numbers of faults. It remains indeed challenging to inject few but realistic faults that target a particular functionality in a program. In this work, we introduce iBiR, a fault injection tool that addresses this challenge by exploring change patterns associated to user-reported faults. To inject realistic faults, we create mutants by re-targeting a bug-report-driven automated program repair system, i.e., reversing its code transformation templates. iBiR is further appealing in practice since it requires deep knowledge of neither code nor tests, just of the program's relevant bug reports. Thus, our approach focuses the fault injection on the feature targeted by the bug report. We assess iBiR by considering the Defects4J dataset. Experimental results show that our approach outperforms the fault injection performed by traditionalmutation testing in terms of semantic similarity with the original bug, when applied at either system or class levels of granularity, and provides better, statistically significant estimations of test effectiveness (fault detection). Additionally, when injecting 100 faults, iBiR injects faults that couple with the real ones in around 36% of the cases, while mutation testing achieves less than 4%.
引用
收藏
页数:31
相关论文
共 83 条
[21]   Mutant reduction based on dominance relation for weak mutation testing [J].
Gong, Dunwei ;
Zhang, Gongjie ;
Yao, Xiangjuan ;
Meng, Fanlin .
INFORMATION AND SOFTWARE TECHNOLOGY, 2017, 81 :82-96
[22]   Towards Practical Program Repair with On-Demand Candidate Generation [J].
Hua, Jinru ;
Zhang, Mengshi ;
Wang, Kaiyuan ;
Khurshid, Sarfraz .
PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2018, :12-23
[23]  
Jiang Y, 2015, 2015 INTERNATIONAL SYMPOSIUM ON BIOELECTRONICS AND BIOINFORMATICS (ISBB), P1, DOI 10.1109/ISBB.2015.7344908
[24]  
Just R., 2014, PROC INT S SOFTW TES, P437, DOI DOI 10.1145/2610384.2628055
[25]   Are Mutants a Valid Substitute for Real Faults in Software Testing? [J].
Just, Rene ;
Jalali, Darioush ;
Inozemtseva, Laura ;
Ernst, Michael D. ;
Holmes, Reid ;
Fraser, Gordon .
22ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (FSE 2014), 2014, :654-665
[26]  
Khanfir Ahmed, 2022, IBIR
[27]  
Kim D, 2013, PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013), P802, DOI 10.1109/ICSE.2013.6606626
[28]   A FORTRAN LANGUAGE SYSTEM FOR MUTATION-BASED SOFTWARE TESTING [J].
KING, KN ;
OFFUTT, AJ .
SOFTWARE-PRACTICE & EXPERIENCE, 1991, 21 (07) :685-718
[29]   How effective are mutation testing tools? An empirical analysis of Java']Java mutation testing tools with manual analysis and real faults [J].
Kintis, Marinos ;
Papadakis, Mike ;
Papadopoulos, Andreas ;
Valvis, Evangelos ;
Malevris, Nicos ;
Le Traon, Yves .
EMPIRICAL SOFTWARE ENGINEERING, 2018, 23 (04) :2426-2463
[30]  
Koyuncu A, 2019, Arxiv, DOI arXiv:1902.02703