History-Based Automated Program Repair

基于历史的自动化程序修复

• 批准号: RGPIN-2015-05248
• 负责人: Tan, Lin
• 金额: $ 3.13万
• 依托单位: University of Waterloo
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2017
• 资助国家: 加拿大
• 起止时间: 2017-01-01 至 2018-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=634492
• 关键词: History; Based; Automated; Program; Repair

Software reliability and security are grand and fundamental research challenges in information technology. Producing reliable and secure software is also critically important to Canada's economy and public safety. Software bugs significantly impair software reliability and security. They cost our economy billions annually. Many bugs, even those that are known, remain in mature software for a long time due to the lack of the development resources to fix them. Therefore, techniques to help developers fix bugs are in high demand. Automatically fixing bugs could: (1) reduce the cost of software development through saving programmers' time and effort in diagnosing and fixing bugs, and (2) improve software reliability and security through fixing more bugs earlier.

软件的可靠性和安全性是信息技术领域的重大而基础的研究挑战。生产可靠和安全的软件对加拿大的经济和公共安全也至关重要。软件漏洞严重损害软件的可靠性和安全性。它们每年使我们的经济损失数十亿美元。许多bug，即使是那些已知的bug，也会在成熟的软件中保留很长一段时间，因为缺乏开发资源来修复它们。因此，帮助开发人员修复bug的技术需求很高。自动修复bug可以：（1）透过节省程序员在诊断及修复错误方面的时间及精力，减低软件开发成本;及（2）透过及早修复更多错误，提高软件的可靠性及安全性。