A novel use of equivalent mutants for static anomaly detection in software artifacts
详细信息 查看全文
- 作者：Paolo Arcaini ; a ; arcaini@d3s.mff.cuni.cz" class="auth_mail" title="E-mail the corresponding author ; Angelo Gargantinib ; Elvinia Riccobenec ; Paolo Vavassorib
- 关键词：Equivalent mutant ; Static anomaly ; Quality measure
- 刊名：Information and Software Technology
- 出版年：2017
- 出版时间：January 2017
- 年：2017
- 卷：81
- 期：Complete
- 页码：52-64
- 全文大小：1130 K
文摘
- •
Equivalent mutants are usually seen as an inconvenience in mutation analysis.
- •
We claim that equivalent mutants can be useful to detect and remove static anomalies.
- •
A process for detecting static anomalies is proposed.
- •
The process is based on mutation, equivalence checking, and quality measurement.
- •
The process is applicable to different kinds of software artifacts.