软件学报

作者：李斌,贺也平,马恒太

单位：李斌，中国科学院大学, 北京 100049;基础软件国家工程研究中心(中国科学院 软件研究所), 北京 10019011,贺也平，中国科学院大学, 北京 100049;基础软件国家工程研究中心(中国科学院 软件研究所), 北京 100190;计算机科学国家重点实验室(中国科学院 软件研究所), 北京 10019002,马恒太，基础软件国家工程研究中心(中国科学院 软件研究所), 北京 10019003

关键词：程序自动修复;静态分析;程序规约;补丁生成;测试集

基金：核高基国家科技重大专项（2014ZX01029101-002）

程序自动修复技术能够有效地降低软件维护成本，是近年来学术研究的热点问题.待修复程序规约的刻画，对自动修复过程具有至关重要的作用.从规约的角度对程序自动修复问题和技术进行了分析梳理.从待修复程序是否具有完整的程序规约，将现有修复问题分为不完全规约、完全规约和半完全规约这3大类待修复问题.以3类抽象问题为线索，梳理了不同前提假设下修复技术面临的核心问题、问题之间的联系和技术体系中的逻辑关系.分析了不完全规约程序修复问题中高精度补丁生成、规约补全和补丁择优等问题，梳理了完全规约程序修复问题中内存泄漏、资源泄露、并发错误中的数据竞争、原子性违背、顺序违背和死锁，配置错误以及特定性能错误等具体问题及研究进展，整理了半完全规约程序修复问题中多种形式的修复具体问题及研究进展.最后分析了程序自动修复面临的机遇和挑战.

来源：2019年第2期

《软件学报》期刊编辑部

查看软件学报杂志2019年第2期