MEDIC: A static analysis framework for equivalent mutant identification

Marinos Kintis

doi:10.1016/j.infsof.2015.07.009

2015-12-01

PRE

Marinos Kintis *

Nicos Malevris

DOI：10.1016/j.infsof.2015.07.009

原文链接

原文求助

摘要

En 中文

Context: The equivalent mutant problem is a well-known impediment to the adoption of mutation testing in practice. In consequence of its undecidable nature, a complete automated solution is unattainable. To worsen the situation, the manual analysis of the generated mutants of a program under test is prohibitive due to their vast number and the complexity of determining their equivalence. Objective: This paper focuses on the automated identification of equivalent and partially equivalent mutants, i.e. mutants that are equivalent to the original program for a specific subset of paths. To this end, the utilisation of a series of previously proposed data flow patterns is investigated. This study also examines the cross-language nature of these patterns and the killability of the detected partially equivalent mutants. Method: A tool, named MEDIC (Mutants' Equivalence DIsCovery), incorporating the aforementioned patterns was developed. Its efficiency and effectiveness were evaluated based on a set of manually analysed mutants from real-world programs, written in the Java programming language. Furthermore, MEDIC was employed to test subjects written in the JavaScript programming language. Results: MEDIC managed to detect 56% of the examined equivalent mutants in 125 s, providing strong evidence regarding both its effectiveness and efficiency. Additionally, MEDIC was able to identify equivalent mutants in the JavaScript test subjects, lending colour to the cross-language nature of the implemented patterns. Finally, the identified partially equivalent mutant set consisted largely of killable mutants, 16% of which were stubborn ones. Conclusion: It can be concluded that pattern-based equivalent mutant identification forms a viable approach for combating the equivalent mutant problem. MEDIC automatically detected a considerable number of the manually identified equivalent mutants and was successfully applied to test subjects in all examined programming languages. (C) 2015 Elsevier B.V. All rights reserved.

Keyword:

Mutation testing

Equivalent mutant detection

Stubborn mutant detection

Static analysis

Data flow analysis

AI总结

对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

Information and Software Technology

IF:

4.3

论文数:

3.8K

被引数:

7.7K

机构

暂无机构信息

引用论文

Tongue thickness measured by ultrasonography is associated with tongue pressure in the Japanese elderly

PLOS ONE

IF0

2020-08-07

OAAI

Masahiro Nakamori; Eiji Imamura; Masako Fukuta; Keisuke Tachiyama; Teppei Kamimura; Yuki Hayashi; Hayato Matsushima; Kanami Ogawa; Masami Nishino; Akiko Hirata; Tatsuya Mizoue; Shinichi Wakabayashi

Using mutation analysis for assessing and comparing testing coverage criteria 使用突变分析评估和比较测试覆盖率标准

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2006-08-01

345

PREAI

Andrews, James H.; Briand, Lionel C.; Labiche, Yvan; Namin, Akbar Siami

Overcoming the Equivalent Mutant Problem: A Systematic Literature Review and a Comparative Experiment of Second Order Mutation

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2014-01-01

134