paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction

通过迭代测试套件缩减改进基于频谱的多故障定位
ISSTA Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis2023匹配度 1/10 · 该论文研究软件测试与调试中的频谱故障定位(SBFL)及多故障重排,属于传统软件工程/动态分析方向,与用户关注的“PL→AI/Agentic程序分析”“AI/PL与LLM结合”“浮点程序分析”“贝叶斯程序分析”均无直接关联。引用 25 inbox
Dylan Callaghan, Bernd Fischer
crossref: 2026-09-12dblp: 2026-09-12arxiv: 2026-09-12

AI 速览

一句话:提出 FLITSR,通过迭代缩减测试套件重排 SBFL 结果,显著提升多故障定位效果。

频谱故障定位(SBFL)在单故障程序中有效,但故障数增加时精度下降。本文提出 FLITSR,一种 SBFL 扩展:迭代选择能更好区分单个故障的测试子集,用缩减测试套件重新计算并重排基础度量的可疑度,从而找回被其他元素掩盖而排名过低的多故障。作者在大型合成数据集(15 个开源项目、最多 32 个注入故障)和 Defects4J 真实多故障数据集(326 个版本、最多 14 个真实故障)的方法级与语句级频谱上评估。结果显示,平均浪费工作量较最佳基础度量降低 30%-90%,精确率和召回率也普遍提升;方法级真实故障上还显著优于 GRACE。

问题
SBFL 对单故障有效,但多故障时因故障相互掩盖,可疑度排名精度显著下降。
方法
FLITSR 迭代缩减测试套件,为每个故障选择更具区分力的测试子集,并据此重排基础 SBFL 度量的可疑度。
评估
在合成多故障数据集与 Defects4J 真实多故障数据集上,以方法级/语句级频谱比较浪费工作量、精确率与召回率,并与最佳基础度量及 GRACE 对比。
原文摘要(Abstract)

Spectrum-based fault localization (SBFL) works well for single-fault programs but its accuracy decays for increasing fault numbers. We present FLITSR (Fault Localization by Iterative Test Suite Reduction), a novel SBFL extension that improves the localization of a given base metric specifically in the presence of multiple faults. FLITSR iteratively selects reduced versions of the test suite that better localize the individual faults in the system. This allows it to identify and re-rank faults ranked too low by the base metric because they were masked by other program elements. We evaluated FLITSR over method-level spectra from an existing large synthetic dataset comprising 75000 variants of 15 open-source projects with up to 32 injected faults, as well as method- and statement-level spectra from a new dataset with 326 true multi-fault versions from the Defects4J benchmark set containing up to 14 real faults. For all three spectrum types we consistently see substantial reductions of the average wasted efforts at different fault levels, of 30%-90% over the best base metric, and generally similarly large increases in precision and recall, albeit with larger variance across the underlying projects. For the method-level real faults, FLITSR also substantially outperforms GRACE, a state-of-the-art learning-based fault localizer.

链接与引用

DOI 原文 · arXiv · PDF(开放获取) · DBLP

BibTeX
@inproceedings{CallaghanF23,
  title = {Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction},
  author = {Dylan Callaghan and Bernd Fischer},
  booktitle = {ISSTA},
  year = {2023},
  doi = {10.1145/3597926.3598148}
}