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

龙图腾网恭喜南京大学申请的专利基于结构化程序自动合成的代码覆盖率工具测试的方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114780406B 。

龙图腾网通过国家知识产权局官网在2025-04-25发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210428792.7，技术领域涉及：G06F11/3668；该发明授权基于结构化程序自动合成的代码覆盖率工具测试的方法是由左志强;张馨月;李宣东设计研发完成，并于2022-04-22向国家知识产权局提交的专利申请。

本基于结构化程序自动合成的代码覆盖率工具测试的方法在说明书摘要公布了：本发明公开了一种基于结构化程序自动合成的代码覆盖率工具测试方法，包括如下步骤：枚举算法生成多个控制流结构序列；初始化可插入点位置数组；使用去重算法为每个控制流结构选择合理位置信息并保证程序框架的唯一性；为每个控制流结构随机选择条件判断语句；为上述语句中使用到变量在当前程序选择合适的声明位置；消除程序框架中的显性死循环；添加空语句并生成测试源代码；分析程序中控制流结构和语句的执行情况对其打标并结合程序框架结构化信息生成不变式；利用不变式规则对覆盖率报告进行正确性测试。本发明利用结构化程序设计思想，有效降低测试用例程序复杂度，减轻了后续人工分析的工作量，同时保证了程序丰富的结构化信息。

本发明授权基于结构化程序自动合成的代码覆盖率工具测试的方法在权利要求书中公布了：1.一种基于结构化程序自动合成的代码覆盖率工具测试方法，其特征在于，包括如下步骤：步骤1：输入自动合成的结构化程序包含的控制流结构数量n，利用枚举算法重复排列生成多个控制流结构序列，其中一个结构序列表示为SS[n+1]＝{S0,S1,...,Sn}，其中S0为Main函数结构，其余S1～Sn为控制流结构；步骤2：根据控制流自身性质以及在结构序列中的位置，为序列中的每个结构Sindex初始化可插入点位置数组PSindex[]，每个位置数组内部元素为若干可插入点位置二元组Pair；步骤3：以步骤1获得的结构序列和步骤2获得的每个结构对应的位置数组作为输入，搭建由Main函数和控制流结构组成的程序框架，搭建过程中使用枚举加去重算法的方式，为每个控制流结构Sindex1≤index≤n从位置数组PSindex-1[]中选择一个合理的Pair作为控制流结构插入点，当所有Sindex1≤index≤n都确定了对应插入位置，程序框架搭建完成；步骤4：依照语法规则约束，为每个控制流结构随机选择合理的表达式作为条件判断语句，并向程序框架中随机插入若干表达式语句、赋值语句、跳转语句等丰富生成程序的语义信息；步骤5：步骤4中不同条件判断语句、表达式语句或赋值语句可能用到同一变量，故引入声明语句去重算法，为每个变量选择在当前程序中声明位置的下界，并在位置信息上界到当前下界中随机选择一位置信息插入声明语句，保证生成程序可正确编译；步骤6：分析步骤5中确定的控制流结构、判断语句和跳转语句，消除显式死循环；步骤7：向内部无任何结构语句的控制流结构，添加空语句，搭建完整结构化程序，并对应程序合成测试程序源代码；步骤8：对步骤7中生成的结构化进行执行情况预测，按照明确执行、明确不执行和不明确执行情况对控制流结构和语句打标，结合程序结构化信息和执行情况打标结果，生成不变式；步骤9：调用编译器覆盖率工具，生成步骤7中测试程序源代码对应的覆盖率报告，利用不变式规则对覆盖率报告进行正确性测试，如果报告不满足不变式，认为覆盖率工具可能存在错误。

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