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 条
[11]  
Maldonado J. C., 2001, PROTEUM FAMILY TOOLS, P113
[12]   Ask the Mutants: Mutating Faulty Programs for Fault Localization [J].
Moon, Seokhyeon ;
Kim, Yunho ;
Kim, Moonzoo ;
Yoo, Shin .
2014 IEEE SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2014, :153-162
[13]   Metallaxis-FL: mutation-based fault localization [J].
Papadakis, Mike ;
Le Traon, Yves .
SOFTWARE TESTING VERIFICATION & RELIABILITY, 2015, 25 (5-7) :605-628