MUSIC: Mutation Analysis Tool with High Configurability and Extensibility
MUSIC: Mutation Analysis Tool with High Configurability and Extensibility
复制标题
MUSIC：具有高可配置性和可扩展性的突变分析工具
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Moonzoo Kim
中科院分区：
文献类型：
--
作者：
Duy Loc Phan;Yunho Kim;Moonzoo Kim
尽管变异分析对于各种软件分析任务都很重要，但针对 C 程序的实用变异工具却很少。我们开发了 MUSIC（具有高可配置性和可扩展性的突变分析工具），它可以为现代复杂的现实世界 C 程序生成突变体。 MUSIC 提供了各种变异算子，包括 10 个新变异算子（例如字符串和函数调用变异算子）以及 63 个常规变异算子。此外，MUSIC 支持用户轻松创建新的变异算子。此外，MUSIC 可以出于各种目的选择突变算子的域和范围。我们将 Milu、Proteum 和 MUSIC 应用于西门子基准程序和现代现实世界的 C 程序 cURL，并在适用性和生成的一些死产（即语法上非法）突变体方面对它们进行了比较。在实验中，MUSIC成功生成了突变体，没有任何死产突变体。
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.