软件学报

作者：李晓卓,贺也平,马恒太

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

关键词：软件调试;程序分析;软件缺陷;缺陷理解

基金：核高基国家科技重大专项（2014ZX01029101-002）；中国科学院战略性先导科技专项（XDA-Y01-01）

缺陷理解是针对缺陷本身及衍生产物建立完整认知过程的研究.由于调试的连贯性及完美缺陷理解假设不合理性，深入分析缺陷传播过程及缺陷间关系、研究关键信息检测及理解信息表达方式，提取及表达面向缺陷研究不同场景不同需求下的可理解性信息，最终达到优化缺陷分析结果及辅助调试各过程缺陷知识复用及积累的目的成为必然.由定位与修复之间存在的知识割裂问题出发，思考缺陷理解研究的本质，明确缺陷处理过程中缺乏知识挖掘及互用问题.通过工程实例分析及文献成果梳理，提炼总结缺陷理解领域的研究方向及技术方法，探讨缺陷理解研究中的特点及难点，思考缺陷理解研究中存在的问题及未来的研究方向，对缺陷理解的研究趋势进行了展望.

来源：2020年第1期

《软件学报》期刊编辑部

查看软件学报杂志2020年第1期