软件自动修复技术研究

项目名称： 软件自动修复技术研究

项目编号： No.61379054

项目类型： 面上项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 毛晓光

作者单位： 中国人民解放军国防科学技术大学

项目金额： 78万元

中文摘要： 软件错误自动修复是推进软件维护自动化，提高软件质量和可信性的重要手段。尽管人们已经提出了多种支持自动修复的方法和技术，然而现有研究表明，当前自动修复技术在修复能力及效率方面仍具有局限性。本项目拟一体化研究软件错误自动修复体系，针对错误定位、补丁生成以及补丁验证三个阶段，研究面向自动修复并融合逻辑语义的错误定位方法、多源补丁生成方法及算法、以及补丁有效性验证性能优化技术。通过项目研究，建立具有较强修复能力兼具较高修复效率的自动修复原型系统，通过大型开源软件以及航天软件的真实历史错误进行修复试验，依据科学统计和度量方法验证该系统的效能。

中文关键词： 程序自动修复；软件错误定位；；；

英文摘要： Automated program repair plays an important role in automating the activity of software maintenance and improving both software quality and trustworthy. Although the research on automated program repair has made some progress, current techniques still suf

英文关键词： Automated Program Repair；Software Fault Localization；；；