软件自动修复技术研究

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

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 suffer from the limitation of repair effectiveness and efficiency. Through integrating the activities of fault localization, patch generation and patch validation, this project plans to systematically investigate the repair process. This project will 1) study the fault localization technique using logic semantics from the viewpoint of automated program repair,2) investigate the patch generation mechnism based on multiple dimensions, and 3) present the techniques to improve the efficiency of patch validation. This project will build a prototype system, which equips with strong repair effectiveness and efficiency. We also attempt to use the system to automatically repair the real-life faults in open source and aerospace software,especially large-scale ones, and demonstrate its effectiveness and efficiency using rigorous statistical approaches.