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