[发明专利]面向bug报告的自动化修复方法

摘要

本发明提出了一种面向bug报告的自动化修复方法，属于软件维护领域。该方法首先在bug报告中使用缺陷定位技术，定位得到可疑bug语句块，根据其所在的函数提取函数关键信息，并使用DSL（领域特定语言）构造函数特征规约；接着抽取bug报告关键信息，使用DSL构造报告规约；然后构造一个“草案”，“草案”内包括可疑bug语句块所在的函数、函数特征规约以及报告规约；再基于“草案”搜索补丁数据库，返回相似度高的候选函数，抽取候选函数内代码片段作为候选补丁，将候选补丁替换可疑bug语句块并统一“草案”内函数变量的命名；最后基于报告规约中的输入输出测试集，单元测试“草案”中的函数，根据输出结果验证修复正确性。

主权项

1.一种面向bug报告的自动化修复方法，其特征在于，包括以下步骤：步骤1）利用缺陷定位技术定位到bug报告，得到具体文件中的具体类中函数的可疑bug语句块；步骤2）根据bug语句块所在的函数提取函数关键信息，并使用领域特定语言构造函数特征规约；步骤3）提取bug报告中的产品信息、组件信息、软件版本信息、平台信息以及bug报告内配套输入输出测试集，并使用领域特定语言将这些信息构造为报告规约；步骤4）构造 “草案”，“草案”包括可疑bug语句块所在的函数，以及分别在步骤2和步骤3中构造的规约；步骤5）基于“草案”搜索补丁数据库，比较补丁数据库内各个补丁规约与“草案”中规约相似度大小，返回一组与“草案”中的函数相似度较高的候选函数，构成候选函数列表；步骤6）根据步骤5，选取候选函数列表中相似度最高的函数，分析该候选函数与“草案”中的函数的具体语法树，在候选函数具体语法树中寻找一个节点，该节点与“草案”中的函数具体语法树中可疑bug语句块的父级类型一致，然后将该节点的子节点所代表的语句块作为候选补丁，并用该候选补丁替换“草案”中函数内的可疑bug语句块；步骤7）根据报告规约中的输入输出测试集，单元测试“草案”中的函数，根据输出结果验证修复正确性。