MuCheck: an extensible tool for mutation testing of haskell programs
MuCheck: an extensible tool for mutation testing of haskell programs
复制标题
MuCheck：用于 Haskell 程序突变测试的可扩展工具
DOI：
10.1145/2610384.2628052
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Alex Groce
中科院分区：
文献类型：
--
作者：
D. Le;Mohammad Amin Alipour;Rahul Gopinath;Alex Groce
本文介绍了Haskell程序的突变测试工具Mucheck。 Mucheck是功能程序的广泛使用的快速检查随机测试工具的对应物，可用于评估QuickCheck属性定义的功效。该工具实现了专门为功能程序设计的突变操作员，并利用Haskell的类型系统来实现比其他可能性更相关的突变体集合。由于高度紧凑的代码，参考透明性和清洁语义，突变覆盖范围对于功能程序特别有价值。这些使基于存活的突变体的增强测试套件或规范成为改进测试的实用方法。
This paper presents MuCheck, a mutation testing tool for Haskell programs. MuCheck is a counterpart to the widely used QuickCheck random testing tool for functional programs, and can be used to evaluate the efficacy of QuickCheck property definitions. The tool implements mutation operators that are specifically designed for functional programs, and makes use of the type system of Haskell to achieve a more relevant set of mutants than otherwise possible. Mutation coverage is particularly valuable for functional programs due to highly compact code, referential transparency, and clean semantics; these make augmenting a test suite or specification based on surviving mutants a practical method for improved testing.