通过重复变异复现缺陷重新审视胜任程序员假设
软件工程
2023-05-17 v2
摘要
胜任程序员假设指出，大多数程序员足够胜任以创建正确或近乎正确的源代码。由于这暗示缺陷通常应通过正确代码的小幅变体表现出来，胜任程序员假设是变异测试的基本假设之一。遗憾的是，该假设是否成立仍不明确，且过往研究提出了相互矛盾的主张。在本文中，我们提供了关于胜任程序员假设及其与变异测试关系的新视角。我们尝试通过变异链重新创建真实世界缺陷，以理解变异测试与缺陷之间是否存在直接联系。这些路径的长度有助于我们理解源代码是否真的近乎正确，还是说需要较大的变体。我们的结果表明，虽然胜任程序员假设似乎成立，但变异测试缺少重要的算子来生成具代表性的真实世界缺陷。
引用
@article{arxiv.2104.02517,
title = {A new perspective on the competent programmer hypothesis through the reproduction of bugs with repeated mutations},
author = {Zaheed Ahmed and Eike Stein and Steffen Herbold and Fabian Trautsch and Jens Grabowski},
journal= {arXiv preprint arXiv:2104.02517},
year = {2023}
}
备注
Submitted and under review