摘要
本发明涉及软件测试技术领域,公开了一种基于有限状态机同态图的测试用例生成方法及系统,本发明将待测项目的源文件导入预设测试引擎,生成与待测项目的源文件中函数状态变化关系对应的有限状态机图;基于有限状态机图中的信息得到有限状态机同态图;基于深度优先搜索算法对同态图进行遍历生成节点与边之间串联的测试路径集合;将测试路径集合导入预设测试引擎的测试模块中,生成待测项目的多个测试用例结果。本发明通过构建有限状态机同态图,更简单且全面地表示项目函数的状态转移关系,大幅减少状态数量,减少冗余结构,利用深度优先搜索算法对同态图进行遍历得到的测试路径集合,保证多条测试用例的生成,提高了软件项目的测试覆盖率。
技术关键词
节点
状态机
深度优先搜索算法
顶点
关系
标识符
生成方法
邻居
项目
测试用例生成系统
测试模块
矩阵
软件测试技术
测试覆盖率
可读存储介质
指令
计算机程序产品
存储器
系统为您推荐了相关专利信息
LSTM神经网络
资源调配方法
代表
序列
资源管理技术
实时监测数据
非线性特征
力学性能分析方法
变化趋势预测
长短期记忆网络
实体链接方法
大语言模型
图谱
文本
实体链接装置
特征点
点云配准方法
条纹
纹理特征
Delaunay三角剖分