缺陷修复技术-北京大学软件工程研究所.pdfVIP

缺陷修复技术 熊英飞 北京大学软件工程研究所 缘起 • 人和Bug的斗争从来没有停止过 • 缺陷检测：到底有没有Bug • 从上世纪60年代开始 • 代表技术：软件测试、软件验证 • 缺陷定位：Bug在哪里 • 从上世纪90年代开始 • 代表技术：统计性调试 • 缺陷修复：自动消除Bug • 约从2000年之后开始 • 代表技术：生成-验证缺陷修复技术 2 “生成-验证”缺陷修复 输入：一个程序和一组测试，至少有一个测试没有通过 输出：一个补丁，可以使程序通过所有测试 错误定位 补丁生成 补丁验证 3 代表性工作 • GenProg • [Westley Weimer: ICSE’09, GECCO’09, CACM’10, ICSE’12] • 方法： • 复制其他语句来替换/插入到之前/删除错误语句 • 采用遗传算法从基本操作合成补丁 • 实证研究：55/105 ，8$/bug • 引发一系列相关工作 • AutoFiix, Nopol, RSRepair, MintHint, AutoRepair, SemFix, DirectFix, SPR… • 程序员的前景一片光明，“躺着也能把钱挣了”的 时代眼看就要到来 4 转折 • [Qi-ISSTA’15] • GenProg被认为修复的55个缺陷中，只有2个是正确的 • 根本原因：通过测试并不代表是正确的修复 • [Le Goues-FSE’15] • 详细实验了GenProg ，AE等多个主流修复方法，采用 了更大的数据集，更多的测试集 • 结果基本一致 • 其他后续工作 • Prophet, Angelix • 补丁的正确率最好也不到40% 5 我们的工作 高正确率的缺陷修复 从QA网站学习 精准条件修复 [ASE15] [ICSE17] [ASE15] Qing Gao, Hansheng Zhang, Jie Wang, Yingfei Xiong, Lu Zhang, Hong Mei. Fixing Recurring Crash Bugs via Analyzing QA Sites. ASE15 [ICSE17] Yingfei Xiong, Jie Wang, Runfa Yan, Jiachen Zhang, Shi Han, Gang Huang, Lu Zhang. Precise Condition Synthesis for Program Repair. ICSE17 从QA网站学习 • 开发人员遇到未知错误的时候会怎么办？ java.lang.RuntimeException : Unable to start receiver com.vaguehope.onosendai.update.AlarmReceiver: 从QA网站学习 挑战：自然语言理解是很困难的