空类型变异算子是否有助于防范空类型故障？
软件工程
2020-04-10 v1
摘要
空类型是 Java 程序故障的主要来源，其过度使用对软件维护有严重影响。遗憾的是，传统变异测试算子默认不覆盖空类型故障，因此无法用作预防措施。我们通过设计四种显式建模空类型故障的新变异算子来解决该问题。我们展示了这些变异算子如何能够揭示缺失的测试，并证明这些变异算子在实践中是有用的。对于后者，我们分析了 15 个开源项目的测试套件，以描述采用这些算子来增强测试套件所带来的权衡。
引用
@article{arxiv.2004.04211,
title = {Do Null-Type Mutation Operators Help Prevent Null-Type Faults?},
author = {Ali Parsai and Serge Demeyer},
journal= {arXiv preprint arXiv:2004.04211},
year = {2020}
}