人工创建等价变异体的实证评估
软件工程
2024-04-16 v1
摘要
变异测试包括评估测试套件在检测源代码中人工植入缺陷方面的有效性，并指导测试套件的改进。尽管变异测试工具在实践中日益普及，但等价变异体，即仅在语法上不同但语义上无异的变异体，阻碍了这一过程。虽然先前的研究调查了变异测试工具产生等价变异体的频率以及现有检测这些等价变异体方法的有效性，但人类在多大程度上也会创建等价变异体，以及他们识别这些变异体的表现如何，仍不清楚。因此，我们在 Code Defenders 这一变异测试游戏的背景下研究了这些问题，在该游戏中，玩家竞争性地生成变异体和测试。通过人工检查以及自动识别方法，我们确定人工创建的变异体中只有不到 10% 是等价的。令人惊讶的是，我们的发现表明，相当一部分开发者在准确识别等价变异体方面存在困难，这强调了在变异测试中改进检测机制和加强开发者培训的必要性。
引用
@article{arxiv.2404.09241,
title = {An Empirical Evaluation of Manually Created Equivalent Mutants},
author = {Philipp Straubinger and Alexander Degenhart and Gordon Fraser},
journal= {arXiv preprint arXiv:2404.09241},
year = {2024}
}