MUSIC: Mutation Analysis Tool with High Configurability and Extensibility

被引:14
作者
Duy Loc Phan [1 ]
Kim, Yunho [1 ]
Kim, Moonzoo [1 ]
机构
[1] Korea Adv Inst Sci & Technol, Sch Comp, Daejeon, South Korea
来源
2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW) | 2018年
基金
新加坡国家研究基金会;
关键词
Mutation analysis; Practical mutation tool; C programs;
D O I
10.1109/ICSTW.2018.00026
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Although mutation analysis is important for various software analysis tasks, there exist few practical mutation tools for C programs. We have developed MUSIC (MUtation analySIs tool with high Configurability and extensibility) which generates mutants for modern complex real-world C programs. MUSIC provides various mutation operators including 10 new mutation operators such as string and function call mutation operators as well as 63 conventional mutation operators. Also, MUSIC supports a user to create a new mutation operator easily. Furthermore, MUSIC can select a domain and a range of a mutation operator for various purposes. We have applied Milu, Proteum, and MUSIC to Siemens benchmark programs and a modern real-world C program cURL, and compared them in terms of applicability and a number of stillborn (i.e., syntactically illegal) mutants generated. In the experiment, MUSIC successfully generates mutants without any stillborn mutants.
引用
收藏
页码:40 / 46
页数:7
相关论文
共 13 条
[1]  
Agrawal H., 1989, TECH REP
[2]  
[Anonymous], 2018 IEEE 11 INT C S
[3]   Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact [J].
Do, HS ;
Elbaum, S ;
Rothermel, G .
EMPIRICAL SOFTWARE ENGINEERING, 2005, 10 (04) :405-435
[4]   Mutation-Driven Generation of Unit Tests and Oracles [J].
Fraser, Gordon ;
Zeller, Andreas .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2012, 38 (02) :278-292
[5]   MUSEUM: Debugging real-world multilingual programs using mutation analysis [J].
Hong, Shin ;
Kwak, Taehoon ;
Lee, Byeongcheol ;
Jeon, Yiru ;
Ko, Bongseok ;
Kim, Yunho ;
Kim, Moonzoo .
INFORMATION AND SOFTWARE TECHNOLOGY, 2017, 82 :80-95
[6]   Mutation-Based Fault Localization for Real-World Multilingual Programs [J].
Hong, Shin ;
Lee, Byeongcheol ;
Kwak, Taehoon ;
Jeon, Yiru ;
Ko, Bongsuk ;
Kim, Yunho ;
Kim, Moonzoo .
2015 30TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2015, :464-475
[7]   MILU: A Customizable, Runtime-Optimized Higher Order Mutation Testing Tool for the Full C Language [J].
Jia, Yue ;
Harman, Mark .
TACI PART 2008:TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE PRACTICE AND RESEARCH TECHNIQUES, PROCEEDINGS, 2008, :94-98
[8]  
Kim Y., 2018, ICSE 18
[9]  
Kim Y, 2013, IEEE INT CONF AUTOM, P519, DOI 10.1109/ASE.2013.6693109
[10]   LLVM: A compilation framework for lifelong program analysis & transformation [J].
Lattner, C ;
Adve, V .
CGO 2004: INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, 2004, :75-86