FLACOCO：基于工业级覆盖率的 Java 故障定位
软件工程
2023-03-17 v2
摘要
故障定位是调试过程中的关键步骤。基于频谱的故障定位（Spectrum-Based Fault Localization, SBFL）是一类流行的故障定位技术，它利用代码覆盖率来预测可疑代码行。本文提出了 FLACOCO，一个面向 Java 的新型故障定位工具。FLACOCO 的关键创新在于它构建于 Java 最常用且最可靠的覆盖率库之一 JaCoCo 之上。FLACOCO 通过精心设计的命令行接口和 Java API 提供，并支持所有 Java 版本。我们通过复现先前的科学实验，在自动程序修复领域的两个用例上验证了 FLACOCO。我们发现它能够有效替代最先进的故障定位库。总体而言，我们希望 FLACOCO 因其基于工业级代码覆盖率，能够助力故障定位研究及其在工业界的应用。介绍视频见 https://youtu.be/RFRyvQuwRYA。
引用
@article{arxiv.2111.12513,
title = {FLACOCO: Fault Localization for Java based on Industry-grade Coverage},
author = {André Silva and Matias Martinez and Benjamin Danglot and Davide Ginelli and Martin Monperrus},
journal= {arXiv preprint arXiv:2111.12513},
year = {2023}
}
备注
11 pages, 4 figures, code available https://github.com/SpoonLabs/flacoco