paperbot · PL 论文追踪

全部论文 待读 收藏

P2 MSeer

MSeer:多缺陷并行故障定位技术
ICSE Proceedings of the 40th International Conference on Software Engineering2018匹配度 2/10 · 该论文研究多缺陷程序的故障定位,使用聚类方法分析失败测试,属于动态程序分析与调试方向;与用户核心关注的静态分析、LLM/Agent 改进程序分析、浮点程序分析或贝叶斯程序分析均无直接交集。虽涉及机器学习与程序语言交叉,但并非用户画像中的 PL↔AI 主线。引用 14 inbox
Ruizhi Gao, W. Eric Wong
crossref: 2026-09-12

AI 速览

一句话:提出 MSeer,通过聚类失败测试并行定位多缺陷,提升多缺陷程序的故障定位效果与效率。

多缺陷程序中,多个缺陷同时存在会削弱现有故障定位技术的效果;失败测试与具体缺陷之间的 due-to 关系难以直接识别,因此不能简单地把所有失败测试和成功测试一起用于定位。为此,论文提出 MSeer,一种面向多缺陷并行定位的故障定位技术。MSeer 使用修订的 Kendall tau 距离度量两个失败测试之间的距离,并同时估计聚类数量以及为这些簇分配初始 medoids,再采用改进的 K-medoids 聚类算法,将同一缺陷导致的失败测试聚到同一故障聚焦簇中,从而更好地刻画失败测试与对应缺陷之间的关系。论文在 7 个程序的 840 个多缺陷版本上开展案例研究,并与另外两种多缺陷并行定位技术比较,结果表明 MSeer 在有效性和效率方面均更优。

问题
多缺陷程序中,多个缺陷同时存在会削弱故障定位效果,且失败测试与底层缺陷之间的 due-to 关系难以识别,不能简单地将所有失败测试一起用于定位。
方法
MSeer 使用修订 Kendall tau 距离度量失败测试相似性,自动估计聚类数并分配初始 medoids,再用改进 K-medoids 聚类生成故障聚焦簇,以并行定位多个缺陷。
评估
在 7 个程序的 840 个多缺陷版本上进行案例研究,与另外两种多缺陷并行定位技术比较,MSeer 在有效性和效率上表现更好。
原文摘要(Abstract)

In practice, a program may contain multiple bugs. The simultaneous presence of these bugs may deteriorate the effectiveness of existing fault-localization techniques to locate program bugs. While it is acceptable to use all failed and successful tests to identify suspicious code for programs with exactly one bug, it is not appropriate to use the same approach for programs with multiple bugs because the due-to relationship between failed tests and underlying bugs cannot be easily identified. One solution is to generate fault-focused clusters by grouping failed tests caused by the same bug into the same clusters. We propose MSeer - an advanced fault localization technique for locating multiple bugs in parallel. Our major contributions include the use of (1) a revised Kendall tau distance to measure the distance between two failed tests, (2) an innovative approach to simultaneously estimate the number of clusters and assign initial medoids to these clusters, and (3) an improved K-medoids clustering algorithm to better identify the due-to relationship between failed tests and their corresponding bugs. Case studies on 840 multiple-bug versions of seven programs suggest that MSeer performs better in terms of effectiveness and efficiency than two other techniques for locating multiple bugs in parallel.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot4487,
  title = {MSeer},
  author = {Ruizhi Gao and W. Eric Wong},
  booktitle = {ICSE},
  year = {2018},
  doi = {10.1145/3180155.3182552}
}