【摘 要】
：
自动程序修复帮助开发者降低人工修复bug的成本.基于测试集的修复方法旨在生成能够通过测试集的代码补丁,以使程序正常运行.回顾了基于测试集的程序修复的现有文献,按照自动
【机 构】
：
软件工程国家重点实验室武汉大学,武汉大学计算机学院,大连理工大学软件学院,南京邮电大学计算机学院
【基金项目】
：
国家自然科学基金(61502345,61403057,61370144,61202032)~~
论文部分内容阅读
自动程序修复帮助开发者降低人工修复bug的成本.基于测试集的修复方法旨在生成能够通过测试集的代码补丁,以使程序正常运行.回顾了基于测试集的程序修复的现有文献,按照自动修复方法和实证基础两个方面陈述了研究进展.首先,将已有的自动修复方法划分为3类,分别是基于搜索的、基于代码穷举的和基于约束求解的补丁生成方法;其次,细致地描述了程序修复的实证研究基础以及该研究领域中的争议;然后,简要介绍了程序修复的相关技术作为修复方法的补充;最后做出总结,描述了面临的机遇和挑战.
其他文献
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
建筑，从终极本质来说，是一种协调了实用目的和审美目的的人造空间；是一种活的、富有生机的意义空间。作为一门以建构空间为终极目标的艺术，建筑的独特性主要体现在象征性、体验性
自2014年3月教育部提出《关于全面深化课程改革落实立德树人根本任务的意见》颁布以来,学生核心素养体系的研究成为热点。纵观各研究成果,对高中阶段地理学科核心素养体系模
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
体验式教学是提升大学生获得感的重要路径。本文以天津电子信息职业技术学院为例,研究总结了思政理论课在创新课程体系、创设情境体验、拓展实践体验渠道等方面运用体验式教
建立了穿心莲内酯微球中穿心莲内酯的含量测定方法。采用紫外分光光度法，精密称量穿心莲内酯适量，用95％乙醇溶液溶解稀释，在200—500nm波长扫描，测得最大吸收波长为225nm。标准曲
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技