paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Triggering Modes in Spectrum-Based Multi-location Fault Localization

基于频谱的多位置故障定位中的触发模式
FSE Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2023匹配度 3/10 · 论文研究SBFL在多位置缺陷下的触发模式,属于动态故障定位与调试方向,并非用户关注的静态分析、LLM/Agent 改进程序分析、浮点程序分析或贝叶斯程序分析等核心交叉方向。虽然包含工业数据集和问题驱动的实证分析,但与研究画像的匹配度较低。引用 2 inbox
Tung Dao, Na Meng, ThanhVu Nguyen
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:研究多位置缺陷下SBFL的触发时机,提出IFLM框架并用开源与工业数据集评估四种触发模式。

基于频谱的故障定位(SBFL)可辅助调试,但通常需要先执行大量测试才能应用,限制了其在工业界的实用性。已有关于提前触发模式的研究仅针对单位置缺陷,而多位置缺陷在真实场景(如作者所在公司 Cvent 的 CI/CD 流程)中十分普遍。本文面向多位置缺陷,提出 Instant Fault Localization for Multi-location Bugs(IFLM)框架,并在开源数据集 Defects4J 与工业数据集 Cvent 上比较评估四种触发模式。结果表明:无需执行全部测试即可应用 SBFL;但与单位置缺陷的已有结论相反,多位置缺陷下首次测试失败后立即触发 SBFL 的效果不如执行完全部测试后再触发;同时人工缺陷与真实缺陷上的表现存在差异。论文贡献包括 IFLM 框架与 Cvent 数据集的构建、多位置缺陷下 SBFL 有效性分析,以及面向工业环境集成 SBFL 的实践启示。

问题
工业环境中应用 SBFL 前往往需执行大量测试,限制其实用性;而已有的提前触发模式研究只考虑单位置缺陷,多位置缺陷普遍存在但其触发时机效果尚不清楚。
方法
提出 IFLM 框架,用于多位置缺陷的即时故障定位,并在开源与工业缺陷数据集上系统比较四种触发模式。
评估
在开源数据集 Defects4J 与工业数据集 Cvent 上评估四种触发模式下 SBFL 对多位置缺陷的定位效果,并对比真实缺陷与人工缺陷的表现差异。
原文摘要(Abstract)

Spectrum-based fault localization (SBFL) techniques can aid in debugging, but their practicality in industrial settings has been limited due to the large number of tests needed to execute before applying SBFL. Previous research has explored different trigger modes for SBFL and found that applying it immediately after the first test failure is also effective. However, this study only considered single-location bugs, while multi-location bugs are prevalent in real-world scenarios and especially at our company Cvent, which is interested in integrating SBFL to its CI/CD workflow. In this work, we investigate the effectiveness of SBFL on multi-location bugs and propose a framework called Instant Fault Localization for Multi-location Bugs (IFLM). We compare and evaluate four trigger modes of IFLM using open-source (Defects4J) and close-source (Cvent) bug datasets. Our study showed that it is not necessary to execute all test cases before applying SBFL. However, we also found that that applying SBFL right after the first failed test is less effective than applying it after executing all tests for multi-location bugs, which is contrary to the single-location bug study. We also observe differences in performance between real and artificial bugs. Our contributions include the development of IFLM and CVent bug datasets, analysis of SBFL effectiveness for multi-location bugs, and practical implications for integrating SBFL in industrial environments.

链接与引用

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

BibTeX
@inproceedings{Dao0N23,
  title = {Triggering Modes in Spectrum-Based Multi-location Fault Localization},
  author = {Tung Dao and Na Meng and ThanhVu Nguyen},
  booktitle = {FSE},
  year = {2023},
  doi = {10.1145/3611643.3613884}
}