写点什么

BugBuilder: 高质量大规模缺陷库自动构建方法

  • 2023-03-22
    广东
  • 本文字数:1903 字

    阅读完需:约 6 分钟

BugBuilder: 高质量大规模缺陷库自动构建方法

本文分享自华为云社区《BugBuilder: 高质量大规模缺陷库自动构建方法》,作者:华为云软件分析 Lab 。

1. 问题场景


由于各种原因,例如错误定位、软件测试、程序修复和缺陷预测,软件工程界的研究迫切需要大规模高质量的缺陷库。首先,现实世界的缺陷及其精准修复补丁对于严格评估许多自动或半自动的错误语句定位、软件缺陷数量预测以及错误应用修复方法必不可少。我们希望这些方法在现实世界的应用程序上能很好地工作,因此在这些方法广泛应用之前,必须使用大量现实世界的缺陷及其修复补丁进行评估。虽然可以通过自动变异或手动注入缺陷也可以用于评估,但他们可能与现实世界的缺陷有本质的不同,因此,根据它们得出的结论可能不适用于现实世界的缺陷。


其次,有了实际缺陷及修复补丁,也可以激励研究人员提出发现、定位和修复软件缺陷的新方法。例如,通过分析大量现实世界的缺陷,研究人员可能可以找出什么样的语句更容易出错,因此他们可以在自动修复时尝试先修复此类语句,以提高程序修复的效率。再如,通过阅读人工编写的补丁,研究人员已经发现了许多常见的修复模式,并反过来利用这些模式显著提高了自动修复能力。最后,数据驱动和基于学习的程序自动修复和缺陷检测方法通常依赖大量不同的真实缺陷及精准补丁。值得注意的是,这些缺陷的质量,例如缺陷的多样性和补丁的准确性,可能会显著影响此类数据驱动方法的效果。


现有手动或半自动构建的缺陷库(如 SIR、BugBench、Defects4J 等)构建成本较高,缺陷规模和多样性非常有限。而全自动构建的缺陷库(如 iBUGS 和 ManyBugs)所包含的缺陷的修复补丁质量存疑,往往包含与缺陷无关的代码变更(如重构)。

2. 我们的贡献


为解决上述问题,我们联合北京理工大学的刘辉老师团队合作共同提出并开发了高质量大规模缺陷库全自动构建方法 BugBuilder,自动从版本控制系统中的人为编写的补丁中提取完整且精准的缺陷修复补丁。其工作流程如下图所示。



具体而言,对于每个缺陷修复提交,它的工作原理如下。


• 首先,识别重构操作。通过现有工具(即 RefactoringMiner)识别缺陷修复提交中的重构操作,并将识别的重构操作重新应用于有缺陷的版本来去除重构。


• 其次,构造可能的修复补丁。通过枚举其余非重构变更的所有可能组合,自动生成所有潜在补丁。


• 最后,验证并选择补丁。通过执行测试用例来验证补丁的正确性,过滤掉那些未能通过测试的补丁。如果最终只有一个是有效补丁,则将其作为精准补丁。如果有多个补丁通过验证,则利用一系列启发式方法来选择最有可能的补丁(详细做法请参照论文[1])。


值得注意的是,如果人工编写的补丁由重构和缺陷修复组成,则 BugBuilder 会将其拆分为两个有序的补丁:重构补丁和缺陷修复补丁。这一点与 Defects4J 类似,Defects4J 将人类编写的补丁拆分为与缺陷无关的补丁和缺陷修复补丁。

3. 方法有效性评估


本文从两个方面评估 BugBuilder 的有效性。


• 其一,将 BugBuilder 应用于 Defects4J 收集的 809 个真实缺陷修复提交中。对每一个提交,利用 BugBuilder 来自动提取精准补丁,如果得到了一个补丁,则将其与 Defects4J 中手动构造的补丁进行对比。在 809 个缺陷修复补丁中,BugBuilder 自动生成了 350 个补丁,其中 334 个与 Defects4J 中手动构造的补丁完全相同。经人工分析,在剩下 16 个自动生成的补丁中有 12 个比 Defects4J 人工构造的补丁更完整更精确。只有 4 个是不准确的,主要原因是重构操作的检测不完整。可见,BugBuilder 可以准确提取缺陷修复实例。


• 其二,应用上述方法构造了大规模的缺陷库 GrowingBugs(https://github.com/liuhuigmail/GrowingBugRepository ),包含从 169 个广为人知的 Java 应用中自动收集的 1916 个真实缺陷及精准修复补丁。缺陷数量是著名缺陷库 Defects4J 的 2 倍多,且在持续增长中。

4. 总结


本工作所提出的方法使得全自动构造高质量大规模缺陷库成为可能。基于该方法构建的缺陷库也可以作为 Benchmark 来促进缺陷相关研究。


参考文献:


[1] Jiang Y, Liu H, Luo X, Zhu Z, Chi X, Niu N, Zhang Y, Hu Y, Bian P, and Zhang L. BugBuilder: An Automated Approach to Building Bug Repository[J]. IEEE Transactions on Software Engineering, 2022.


文章来自 PaaS 技术创新 Lab,PaaS技术创新Lab隶属于华为云,致力于综合利用软件分析、数据挖掘、机器学习等技术,为软件研发人员提供下一代智能研发工具服务的核心引擎和智慧大脑。我们将聚焦软件工程领域硬核能力,不断构筑研发利器,持续交付高价值商业特性!加入我们,一起开创研发新“境界”!(详情欢迎联系 mayuchi1@huawei.com;guodongshuo@huawei.com)


PaaS 技术创新 Lab 主页链接:https://www.huaweicloud.com/lab/paas/home.html


点击关注,第一时间了解华为云新鲜技术~

发布于: 刚刚阅读数: 4
用户头像

提供全面深入的云计算技术干货 2020-07-14 加入

生于云,长于云,让开发者成为决定性力量

评论

发布
暂无评论
BugBuilder: 高质量大规模缺陷库自动构建方法_开发_华为云开发者联盟_InfoQ写作社区