买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网恭喜南京大学申请的专利一种性能缺陷自动检测的方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114490369B 。

龙图腾网通过国家知识产权局官网在2025-04-22发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210060556.4，技术领域涉及：G06F11/3604；该发明授权一种性能缺陷自动检测的方法是由王豫;熊俊;徐砚听;王林章设计研发完成，并于2022-01-19向国家知识产权局提交的专利申请。

本一种性能缺陷自动检测的方法在说明书摘要公布了：软件系统在运行时出现性能问题，可能是由于代码中存在性能缺陷，如冗余的操作、变量重复赋值等。本发明提出一种方法，用来自动检测CC++代码中潜在的性能缺陷，该方法首先基于性能缺陷的代码特征，定义用于表示该性能缺陷的标签，基于性能缺陷发生的语句序列，构建表示性能缺陷行为特征的标签约束集合；第二步，对源代码进行程序分析的构建过程间控制流图，在此基础上引入性能标签，构建带标签的过程间控制流图；第三步，在带标签的过程间控制流图上，通过深度优先遍历，同时收集路径上的标签序列，根据标签序列与标签约束集合的一致性，判定待检测系统是否存在性能缺陷，从而报告相应的性能缺陷。

本发明授权一种性能缺陷自动检测的方法在权利要求书中公布了：1.一种性能缺陷自动检测的方法，用来自动检测CC++代码中潜在的性能缺陷，所述方法包括如下步骤：步骤1：基于性能缺陷的代码特征，定义能够用于表示该性能缺陷的标签，基于性能缺陷发生的语句序列，构建表示性能缺陷行为特征的标签约束集合；所述步骤1具体如下：步骤1.1：基于性能缺陷的代码特征，定义用于表达性能缺陷的所有标签对象，标签对象使用一个字符串表示；步骤1.2：定义基于指令的标签构建规则，对于待检测的性能缺陷问题发生的语句序列，即每一条指令，生成有关此指令的标签对象，该标签就是对该指令的一个抽象的描述，描述了该指令的行为；步骤1.3：定义用于构建标签的复杂约束的四种原子约束，分别是数目约束：获取一个标签的数目，位置约束：获取一个标签的位置，匹配约束：判断两个标签是否“匹配”，近邻约束：表示两个标签的位置相邻；步骤1.4：定义复合约束，使用步骤1.3的四种原子约束构建更加复杂的约束用来描述缺陷的特征，即逻辑约束：一个约束通过逻辑与，逻辑或和逻辑非构成一个复合约束，以及布尔约束：两个约束通过一系列数学运算构成，返回为真或假；步骤1.5：根据所检测的性能缺陷发生时的语句序列，构造对应的标签序列，通过对此标签序列的分析，使用步骤1.4复合约束来构建描述性能缺陷特征的约束集合；步骤2：对源代码进行程序分析构建过程间控制流图，并基于控制流图和步骤1标签构建的规则引入性能标签，构建带标签的过程间控制流图；所述步骤2具体如下：步骤2.1：构建带标签的过程间控制流图，一个带标签的过程间控制流图指的是每个节点都拥有若干个标签，在步骤1基础上，为控制流图的每一个节点根据构建规则生成某干个标签；步骤2.2：压缩步骤2.1生成的带标签的过程间控制流图，这是因为在该图的许多节点上可能没有任何的标签，因此在步骤2.1之后删除这些节点，具体过程为：对于空标签的节点，如果该节点出度入度都为1，直接将前驱结点与后继节点相连，并删除此节点，因为本发明生成的带标签的过程间控制流图每个节点都对应一条指令，因此这种冗余的指令很多，有利于加快之后的检测步骤；步骤2.3：将构建的约束附加在带标签的过程间控制流图，表示标签在该图上需满足的约束；步骤3：基于步骤1的约束集合，在步骤2生成的带标签过程间控制流图上寻找满足约束的路径，其过程为：通过深度优先遍历的方式，寻找图中的一条路径，收集该路径产生的一组由标签组成的序列，根据标签序列与标签约束集合的一致性，判断该序列是否满足约束给定的条件，即是否存在性能缺陷，从而报告相应的性能缺陷，实现性能缺陷的自动检测。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人南京大学，其通讯地址为：210093 江苏省南京市鼓楼区汉口路22号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。