[发明专利]基于模型的矩阵自动化测试方法及计算机可读存储介质

说明书

本发明涉及软件测试技术领域，提供了一种基于模型的矩阵自动化测试方法，包括如下步骤：S1、标识待测试软件中的功能条件，基于功能条件生成逻辑表；S2、基于逻辑表生成逻辑矩阵图；S3、遍历逻辑矩阵图中的所有路径，生成测试用例及测试用例对应的测试脚本，基于测试脚本对待测试软件进行测试。将复杂的状态机架构映射为清晰的二维场景矩阵，为复杂状态机的测试工作提供一种便捷、灵活、清晰以及高效率的自动化测试方法。可以适用任何涉及状态迁移的测试模型，能够显著提高复杂状态机验证与测试工作效率。

技术领域

本发明涉及软件测试技术领域，提供了一种基于模型的矩阵自动化测试方法及计算机可读存储介质。

背景技术

现代软件工程强调增量和迭代的开发过程，要求提高软件开发质量和加快软件开发速度。大量复杂状态的系统开发已涉及到使用有限状态机开发方法，它的使用可以解决复杂的逻辑问题。常规测试一般是由人来设计特定的测试场景，测试用例固定，缺少不确定性。特别是难以找出复杂的状态机迁移，更加不易筛选出状态机系统的错误和不合格项。

发明内容

本发明提供了一种基于模型的矩阵自动化测试方法，旨在改善上述问题。

本发明是这样实现的，一种基于模型的矩阵自动化测试方法，所述方法具体包括如下步骤：

S1、标识待测试软件中的功能条件，基于功能条件生成逻辑表；

S2、基于逻辑表生成逻辑矩阵图；

S3、遍历逻辑矩阵图中的所有路径，生成测试用例及测试用例对应的测试脚本，基于测试脚本对待测试软件进行测试。

逻辑表的生成方法具体包括如下步骤：

S11、检测待测试软件中的功能条件标识；

S12、检测该功能条件是否为复杂功能条件，若检测结果为是，则将复杂的功能条件等价变换为基本功能条件；

S13、基于等价变换后的基本功能条件生成逻辑表。

逻辑检测表由节点、信息点及有向边组成，节点与节点间、节点与信息点间通过有向边连接；

一个节点对应一个基本功能条件，基于基本功能条件出现顺序依次进行排列；

有向边表示该节点对应基本功能条件的逻辑判断，每个节点存在两个有向；

信息点表示有向边指示的逻辑判断结果。

逻辑矩阵图的生成方法具体包括如下步骤：

S21、获取逻辑表的第一个节点；

S22、生成该节点的两条有向边；

S23、获取各有向边末端的信息点，若信息点为非END，则获取该有向边末端的节点，执行步骤S22，直至最后一个节点的两个有向边的末端信息点均为END。

逻辑矩阵中的一条路径对应一个测试用例。

测试脚本的生成方法具体如下：

S31、构建脚本模板；

S32、将路径中依次出现的节点填充至脚本模板的节点位置，在路径中的最后一个节点填充至脚本模板后，形成该测试用例下的测试脚本。

本发明是这样实现的，一种计算机可读存储介质，所述存储介质中存储有至少一条指令、至少一段程序、代码集或指令集，所述至少一条指令、所述至少一段程序、所述代码集或指令集由处理器加载并执行时实现如上所述基于模型的矩阵自动化测试方法步骤。