paperbot · PL 论文追踪

全部论文 待读 收藏

P1 BUGSC++: A Highly Usable Real World Defect Benchmark for C/C++

BUGSC++:一个高可用性的 C/C++ 真实世界缺陷基准
ASE 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)2023匹配度 5/10 · 该论文提供 C/C++ 真实缺陷基准,属于调试/修复评测方向,并回应了基准可用性与可复现性问题,与用户对重要场景 benchmark 的兴趣有部分重合;但它不涉及静态分析、浮点/贝叶斯程序分析或 LLM/Agent,因此与核心研究方向仅为间接相关。引用 13 inbox
Gabin An, Minhyuk Kwon, Kyunghwa Choi, Jooyong Yi, Shin Yoo
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:提出 BUGSC++:含 209 个 C/C++ 真实缺陷、高可用且可复现的调试与修复基准。

随着软件系统日益庞大复杂,调试在维护中占据越来越多时间,自动化调试与修复技术因此受到关注。这些技术的开发与评估依赖缺陷基准,但现有基准因缺陷来源和自身可用性等问题,只有少数被广泛采用,可能导致研究图景偏置。本文提出 BUGSC++,一个包含从 22 个开源 C/C++ 项目收集的 209 个真实缺陷的基准。为提高可用性,它提供与广泛使用的 Defects4J 类似的用户界面;为保证可复现性,它将每个含缺陷程序封装在 Docker 容器中。作者希望该高可用真实世界缺陷基准能促进 C/C++ 调试与修复研究。

问题
自动化调试与修复技术的开发评估依赖缺陷基准,但现有基准因缺陷来源和可用性限制而只有少数被广泛使用,可能造成研究偏置。
方法
构建 BUGSC++,从 22 个开源 C/C++ 项目收集 209 个真实缺陷,提供类似 Defects4J 的用户界面,并用 Docker 容器封装每个缺陷程序以保证可复现。
评估
以可用性和可复现性为核心设计目标,通过类 Defects4J 接口与 Docker 封装来支持 C/C++ 调试与自动修复研究的基准评估。
原文摘要(Abstract)

As software systems grow larger and more complex, debugging takes up an increasingly significant portion of developers' time and efforts during software maintenance. To aid software engineers in debugging, many automated debugging and repair techniques have been proposed. Both the development and evaluation of these automated techniques depend on benchmarks of bugs. While many different defect benchmarks have been developed, only a few benchmarks are widely used due to the origin of the collected bugs as well as the usability of the benchmarks themselves, risking a biased research landscape. This paper presents BUGSC++, a new benchmark that contains 209 real-world bugs collected from 22 open-source C/C++ projects. BugsC++ aims to provide high usability by providing a similar user interface to the widely used Defects4J. Further, BugsC++ ensures the replicability of the bugs in its collection by encapsulating each buggy program in a Docker container. By providing a highly usable real-world defect benchmark for C/C++, we hope to promote debugging research for C/C++.

链接与引用

DOI 原文 · DBLP

BibTeX
@inproceedings{AnKCYY23,
  title = {BUGSC++: A Highly Usable Real World Defect Benchmark for C/C++},
  author = {Gabin An and Minhyuk Kwon and Kyunghwa Choi and Jooyong Yi and Shin Yoo},
  booktitle = {ASE},
  year = {2023},
  doi = {10.1109/ase56229.2023.00208}
}