编程语言的设计原理recursive types - 北京大学.pdf

缺陷修复技术 熊英飞 北京大学软件工程研究所 报告人介绍– 熊英飞 • 2000~2004，电子科技大学本科 • 2004~2006，北京大学研究生 • 导师：梅宏、杨芙清 • 2006~2009，日本东京大学博士 • 导师：胡振江、武市正人 • 2009~2011，加拿大滑铁卢大学博士后 • 导师：Krzysztof Czarnecki • 2012~，北京大学“百人计划”研究员（Tenure- Track ） • 研究方向：软件分析、编程语言设计 缘起 • 人和Bug的斗争从来没有停止过 • 缺陷检测：到底有没有Bug • 从上世纪60年代开始 • 代表技术：软件测试、软件验证 • 缺陷定位：Bug在哪里 • 从上世纪90年代开始 • 代表技术：统计性调试 • 缺陷修复：自动消除Bug • 约从2000年之后开始 • 代表技术：生成-验证缺陷修复技术 3 “生成-验证”缺陷修复 错误定位 补丁生成 补丁验证 4 代表性工作 • GenProg • [Westley Weimer: ICSE’09, GECCO’09, CACM’10, ICSE’12] • 错误定位：采用统计性调试 • 补丁生成： • 基本操作：复制其他语句/删除语句 • 采用遗传算法从基本操作合成补丁 • 补丁验证：运行程序中的测试验证补丁 • 实证研究：55/105，8$/bug • 引发一系列相关工作 • AutoFiix, Nopol, RSRepair, MintHint, AutoRepair, SemFix, DirectFix, SPR… • 程序员的前景一片光明，“躺着也能把钱挣了” 的时代眼看就要到来 5 转折 • [Qi-ISSTA’15] • GenProg被认为修复的55个缺陷中，只有2个是正确的 • 根本原因：通过测试并不代表是正确的修复 • [Le Goues-FSE’15] • 详细实验了GenProg，AE等多个主流修复方法，采用 了更大的数据集，更多的测试集 • 结果基本一致 • 其他后续工作 • Prophet, Angelix • 补丁的正确率最好也只有30%左右 6 原因分析 • 软件中的规约通常是不充分的 • 已有缺陷修复技术仅已满足规约为目标，但通过 规约并不意味着是正确的修复 7 我们的方法 • 获取领域知识来修复缺陷 • 有经验的程序员在不知道软件规约的情况下也能修复 很多缺陷 • 获取有经验的程序员的领域知识，利用领域知识修复 特定类型的缺陷 • 我们小组的工作 • 设计编程语言编码领域知识 • 从已有数据自动获取领域知识 • 针对重要缺陷类型设计专门修复算法 8 基于问答网站分析的 复发崩溃缺陷的自动修复 高庆，张汉生，王杰， 熊英飞，张路，梅宏 北京大学软件工程研究所 发表于ASE’15 示例 context: Context 应该为 context.getApplicationContext() : ApplicationContext …… 示例 修复 我们的工作 • 主要思想 • 自动化这个过程 • 使用因特网资源（问答网站）来修复崩溃缺陷 • 核心 • 使用代码分析而不是复杂的自然语言处理 方法概览 方法概览 方法概览 方法概览 方法概览 步骤1: 提取问答网页 步骤1: 提取