[发明专利]静态分析违规的修复策略的自动改善和半自动改善

说明书

根据实施方式的一个方面，操作可以包括检索修复模式的集合和软件程序的第二违规集合。操作还可以包括：从所检索的第二违规集合中选择未修正的违规，并且从修复模式的集合中选择修复模式。操作还可以包括执行第一操作集合，用于改善修复模式。第一操作集合可以包括对所选择的未修正的违规应用所选择的修复模式，基于确定修复结果对应于违规来从修复模式的集合中移除所应用的修复模式。第一操作集合还可以包括重新选择下一修复模式作为所选择的修复模式。操作还可以包括通过针对修复模式的集合迭代地执行第一操作集合来获得改善的修复模式的集合。

技术领域

本公开内容中讨论的实施方式涉及针对软件程序中的静态分析违规(violation)的修复模式的改善。

背景技术

正在开发用于软件程序的许多新技术，以识别和标记可能影响软件 程序的性能和正确性或违反项目的风格准则(style guideline)的可疑代 码模式。可疑代码模式或违规可能不仅会影响要由软件程序执行的操作， 而且还可能会影响软件程序的总体开发时间。已经开发出某些解决方案 来修复从不同领域的各种软件程序中识别出的不同违规。这样的解决方 案被称为修复或解决相应的违规的修复示例。

本公开内容中要求保护的主题不限于解决任何缺点或仅在诸如上面 描述的环境中操作的实施方式。更确切地，提供该背景仅是为了说明可 以实践本公开内容中描述的一些实施方式的一个示例技术领域。

发明内容

根据实施方式的一个方面，操作可以包括检索修复模式的集合。可 以基于与软件程序的第一违规集合相关联的第一修复示例集合来学习修 复模式的集合中的每个修复模式。操作还可以包括检索软件程序的第二 违规集合。第二违规集合中的每个违规可以是未修正的违规。操作还可 以包括：从所检索的软件程序的第二违规集合中选择第一软件程序的未 修正的违规，以及从修复模式的集合中选择修复模式。操作还可以包括 执行第一操作集合，以改善修复模式的集合。第一操作集合可以包括将 所选择的修复模式应用于所选择的未修正的违规以生成修复结果。第一 操作集合还可以包括：确定生成的修复结果是否对应于违规，以及基于 确定所生成的修复结果对应于违规来从该修复模式的集合中移除所应用 的修复模式。第一操作集合还可以包括重新选择修复模式的集合中的下 一修复模式作为所选择的修复模式。操作还可以包括通过基于所选择的 修复模式针对修复模式的集合迭代地执行第一操作集合来获得改善的修 复模式的集合。

实施方式的目的和优点将至少通过权利要求中特别指出的元素、特 征和组合来实现和完成。

前面的总体描述和下面的详细描述均作为示例给出，并且是说明性 的，并且不是对所要求保护的本发明的限制。

附图说明

将通过使用附图以附加解释和细节来描述和说明示例实施方式，在 附图中：

图1是表示与针对软件程序中的静态分析违规的修复模式的改善有 关的示例环境的图；

图2是示出用于针对软件程序中的静态分析违规的修复模式的改善 的示例性电子装置的框图；

图3A示出了包括违规和修复的软件程序的有缺陷的软件程序的示 例；

图3B示出了修复软件程序中的违规的示例性修复模式；

图4是用于针对软件程序中的静态分析违规的修复模式的改善的示 例方法的流程图；

图5A和图5B共同示出了用于基于对软件程序中的违规应用修复模 式来改善修复模式的示例方法的流程图；以及

图6A和图6B共同示出了用于基于人为反馈来改善修复模式的示例 方法的流程图，

所有这些附图都是根据本公开内容中描述的至少一个实施方式。

具体实施方式