缺陷修复技术.pdfVIP

缺陷修复技术 熊英飞 北京大学软件工程研究所 报告人介绍– 熊英飞 • 2000~2004 ，电子科技大学本科 • 2004~2006 ，北京大学研究生 • 导师：梅宏、杨芙清 • 2006~2009 ，日本东京大学博士 • 导师：胡振江、武市正人 • 2009~2011 ，加拿大滑铁卢大学博士后 • 导师：Krzysztof Czarnecki • 2012~ ，北京大学“百人计划”研究员（Tenure- Track ） • 研究方向：软件分析、编程语言设计 缘起 • 人和Bug的斗争从来没有停止过 • 缺陷检测：到底有没有Bug • 从上世纪60年代开始 • 代表技术：软件测试、软件验证 • 缺陷定位：Bug在哪里 • 从上世纪90年代开始 • 代表技术：基于频谱的缺陷定位、统计性调试 • 缺陷修复：自动消除Bug • 约从2000年之后开始 • 代表技术：生成-验证缺陷修复技术 • 未来愿景：交互式自动程序开发 • Issue=Bug Report+Feature Request