← 返回列表
一种基于程序路径的测试完备性检查方法、设备及存储介质
摘要文本
本发明公开了一种基于程序路径的测试完备性检查方法、设备及存储介质。本发明利用结构化的程序路径信息可以形象地来描述实验室阶段或现实环境中未曾测试或始料未及的测试场景组合。通过统计未覆盖路径集合，定量化的给出了测试结果的反馈，并且可以很好的帮助测试设计人员或开发人员针对这些未曾覆盖的测试路径进行补足测试，从而更好地提高程序的鲁棒性。并且，在不更改程序源代码的情况下，实现了桩点信息输出的自动插桩处理。 （macrodatas.cn）
申请人信息
- 申请人:浙江大学
- 申请人地址:310058 浙江省杭州市西湖区余杭塘路866号
- 发明人: 浙江大学
专利详细信息
| 项目 | 内容 |
|---|---|
| 专利名称 | 一种基于程序路径的测试完备性检查方法、设备及存储介质 |
| 专利类型 | 发明申请 |
| 申请号 | CN202311590080.6 |
| 申请日 | 2023/11/27 |
| 公告号 | CN117520191A |
| 公开日 | 2024/2/6 |
| IPC主分类号 | G06F11/36 |
| 权利人 | 浙江大学 |
| 发明人 | 陈祥献; 许馨月; 吴建林; 于金玲 |
| 地址 | 浙江省杭州市西湖区余杭塘路866号 |
专利主权项内容
1.一种基于程序路径的测试完备性检查方法，其特征在于包括如下步骤：步骤(1)，分析程序AST结构，创建相应的程序控制流程图；步骤(2)，基于步骤(1)中得到的程序控制流程图，裁剪压缩程序控制流程图数据；步骤(3)，遍历控制流程图中程序基本块，逐个插桩加入桩点数据；步骤(4)，输入测试用例数据集并执行步骤(3)已插桩处理后的测试对象程序；收集并暂存程序运行过程中的桩点数据流信息；步骤(5)，遍历步骤(2)中得到的程序控制流程图，计算分析静态程序路径；步骤(6)，还原步骤(4)中桩点数据流信息数据，结合步骤(2)中得到的程序控制流程图，得到动态执行路径；步骤(7)，利用步骤(5)中得到的静态程序路径以及步骤(6)中得到的动态流程图，计算出该测试用例集中未覆盖的程序路径。