公开(公告)号：CN114780406B

公开(公告)日：2025-04-25

申请号：CN202210428792.7

申请日：2022-04-22

Applicant: 南京大学

Inventor： 左志强 ,  张馨月 ,  李宣东

IPC: G06F11/3668

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

公开(公告)号：CN114780406A

公开(公告)日：2022-07-22

申请号：CN202210428792.7

申请日：2022-04-22

Applicant: 南京大学

Inventor： 左志强 ,  张馨月 ,  李宣东

IPC: G06F11/36

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