摘要
本申请涉及计算机技术领域,特别涉及一种测试用例的生成方法、装置、计算机设备及存储介质。所述方法包括:获取待测源程序的控制流图,其中所述控制流图表征所述待测源程序中各个程序语句之间的控制流关系;基于所述控制流图确定数据流的覆盖条件,其中所述数据流的覆盖条件包括覆盖所述待测源程序的所有数据流路径;生成目标测试用例,其中所述目标测试用例用于测试所述待测源程序的所有数据流路径。本申请通过数据流分析聚焦定义‑使用对,仅覆盖与变量实际依赖相关的路径,可服了传统方法因遍历所有控制流路径导致状态空间指数级增长的问题,使测试的成本和测试的复杂度降低,且提升了测试的精准度。
技术关键词
源程序
生成方法
定义
动态符号执行技术
语句
计算机可读指令
嵌套循环结构
变量
计算机设备
深度优先搜索
抽象语法树
处理器
有效性
生成装置
节点
语义
可读存储介质
分支
关系
系统为您推荐了相关专利信息
分块
拓扑图
分割方法
多机器人系统
多机器人任务分配
软件开发项目
文档生成方法
大语言模型
镜像
命令
深度学习模型
可编程交换机
非临时性计算机可读存储介质
数据
定义
生成方法
麻醉机
时间同步
可读存储介质
图像识别模型