源代码补丁正确性测试-段学明.pdfVIP

BeijingForestStudio

ThenameoftheDepartment

北京理工大学信息系统及安全对抗实验中心

部门名称

源代码补丁正确性测试

博士研究生段学明

2025年03月09日

问题回溯

•总结反思

–部分词汇表达不严谨

–理论层面对方法存在的问题分析欠缺

•相关内容

–2024.08.11张钊：《自动化程序缺陷修复及其应用研究》

–2021.12.19于浩淼：《软件缺陷自动修复方法》

2

内容提要

•预期收获

•内容引入

•内涵解析与研究目标

•研究背景与研究意义

•研究历史与现状

•知识基础

•算法原理

–APOSTLE

•特点总结与工作展望

•参考文献

3

预期收获

•预期收获

–1.了解源代码补丁正确性测试的基本概念和研究方向

–2.理解补丁正确性测试在自动程序修复流程中的必要性

–3.了解源代码补丁正确性测试的前沿方法和未来发展

4

内容引入

•自动程序修复（AutomatedProgramRepair,APR）旨在自动修复软件错误，

在软件开发和维护中发挥着重要作用

•随着深度学习技术的不断进步，越来越多的APR技术被提出，利用神经网络从

海量开源代码库中学习错误修复模式

•APR生成的补丁仍然存在过度拟合的问题，这对

实际应用构成了极大的威胁

–有效性≠正确性

–需要能够预测补丁正确性的方法

有效性和正确性测试均是APR流程中的环节

5

内涵解析与研究目标

•研究目标

–在APR流程中，验证所生成的补丁是否真正解决了目标缺陷且未引入新的问题，

即解决APR生成补丁存在的过拟合问题

•内涵解析

–APR流程：缺陷定位、生成补丁、补丁排序过滤及验证

–过拟合问题

•补丁可能符合有限测试套件的要求，但在测试套件之外的表现却与开发人员的初衷

不同

•过度拟合补丁可能会解决测试用例中的特定错误，但会在应用程序的不同部分引入

新的错误，从而导致不可靠的软件行为

6

背景意义

•研究背景

–APR技术的广泛研究和应用

–APR生成的补丁经有效性验证后仍存在不可用隐患，对实际应用构成极大的威胁

–补丁正确性测试概念被提出，以研究和应对以上隐患

•研究意义

–提高软件质量

•通过准确预测由APR生成的补丁的正确性，可以在不引入新缺陷的情况下有效解

决软件缺陷问题，从而提高软件质量

–降低维护成本

•提前准确预测补丁的正确性，尽量减少错误补丁的使用，可以有效地大幅降低整体

维护成本

–提高开发效