paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Information Retrieval-Based Fault Localization for Concurrent Programs

面向并发程序的基于信息检索的故障定位
ASE 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)2023匹配度 2/10 · 该论文研究基于信息检索与知识图谱的并发程序故障定位,属于软件测试与调试方向,但未涉及静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析等用户核心研究主题,与整体研究画像交叉较少。引用 7 inbox
Shuai Shao, Tingting Yu
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:提出 BLCoiR,用知识图谱重构并发缺陷报告查询,提升并发程序故障定位的准确性与效率。

已有基于信息检索的故障定位(IRFL)技术可根据用户提交的缺陷报告,对可能包含根因故障的源文件进行排序,但尚未针对并发程序这一困难场景。本文提出 BLCoiR,其核心是基于知识图谱(KG)表示从并发缺陷报告中抽取的领域实体及其语义关系。BLCoiR 利用自然语言处理与概念建模技术提取与并发构造等相关的词实体,并将这些实体按语义关系链接形成知识图谱,再把该图谱转化为信息检索查询以执行源文件级故障定位。作者在来自 44 个真实应用的 692 份并发缺陷报告上开展实证研究,结果表明 BLCoiR 在定位并发缺陷的准确性和效率上均优于现有 IRFL 技术,展示了利用知识图谱建模领域实体及其关系进行故障定位的有效性。

问题
现有 IRFL 技术能根据缺陷报告排序可能包含根因的源文件,但未专门处理并发程序,而并发缺陷通常难以定位。
方法
BLCoiR 使用 NLP 与概念建模从并发缺陷报告中抽取并发构造等相关实体及其语义关系,构建知识图谱,并将其转化为信息检索查询以进行故障定位。
评估
在来自 44 个真实应用的 692 份并发缺陷报告上进行实证研究,并与现有 IRFL 技术比较,显示其在准确性和效率上更优。
原文摘要(Abstract)

Information retrieval-based fault localization (IRFL) techniques have been proposed as a solution to identify the files that are likely to contain faults that are root causes of failures reported by users. These techniques have been extensively studied to accurately rank source files, however, none of the existing approaches have focused on the specific case of concurrent programs. This is a critical issue since concurrency bugs are notoriously difficult to identify. To address this problem, this paper presents a novel approach called BLCoiR, which aims to reformulate bug report queries to more accurately localize source files related to concurrency bugs. The key idea of BLCoiR is based on a novel knowledge graph (KG), which represents the domain entities extracted from the concurrency bug reports and their semantic relations. The KG is then transformed into the IR query to perform fault localization. BLCoiR leverages natural language processing (NLP) and concept modeling techniques to construct the knowledge graph. Specifically, NLP techniques are used to extract relevant entities from the bug reports, such as the word entities related to concurrency constructs. These entities are then linked together based on their semantic relationships, forming the KG. We have conducted an empirical study on 692 concurrency bug reports from 44 real-world applications. The results show that BLCoiR outperforms existing IRFL techniques in terms of accuracy and efficiency in localizing concurrency bugs. BLCoiR demonstrates effectiveness of using a knowledge graph to model the domain entities and their relationships, providing a promising direction for future research in this area.

链接与引用

DOI 原文 · DBLP

BibTeX
@inproceedings{ShaoY23,
  title = {Information Retrieval-Based Fault Localization for Concurrent Programs},
  author = {Shuai Shao and Tingting Yu},
  booktitle = {ASE},
  year = {2023},
  doi = {10.1109/ase56229.2023.00122}
}