基于模型的矩阵自动化测试方法及计算机可读存储介质技术

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

【技术实现步骤摘要】
基于模型的矩阵自动化测试方法及计算机可读存储介质


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

技术介绍

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

技术实现思路

[0003]本专利技术提供了一种基于模型的矩阵自动化测试方法，旨在改善上述问题。
[0004]本专利技术是这样实现的，一种基于模型的矩阵自动化测试方法，所述方法具体包括如下步骤：
[0005]S1、标识待测试软件中的功能条件，基于功能条件生成逻辑表；
[0006]S2、基于逻辑表生成逻辑矩阵图；
[0007]S3、遍历逻辑矩阵图中的所有路径，生成测试用例及测试用例对应的测试脚本，基于测试脚本对待测试软件进行测试。
[0008]逻辑表的生成方法具体包括如下步骤：
[0009]S11、检测待测试软件中的功能条件标识；
[0010]S12、检测该功能条件是否为复杂功能条件，若检测结果为是，则将复杂的功能条件等价变换为基本功能条件；
[0011]S13、基于等价变换后的基本功能条件生成逻辑表。
[0012]逻辑检测表由节点、信息点及有向边组成，节点与节点间、节点与信息点间通过有向边连接；
[0013]一个节点对应一个基本功能条件，基于基本功能条件出现顺序依次进行排列；
[0014]有向边表示该节点对应基本功能条件的逻辑判断，每个节点存在两个有向；
[0015]信息点表示有向边指示的逻辑判断结果。
[0016]逻辑矩阵图的生成方法具体包括如下步骤：
[0017]S21、获取逻辑表的第一个节点；
[0018]S22、生成该节点的两条有向边；
[0019]S23、获取各有向边末端的信息点，若信息点为非END，则获取该有向边末端的节点，执行步骤S22，直至最后一个节点的两个有向边的末端信息点均为END。
[0020]逻辑矩阵中的一条路径对应一个测试用例。
[0021]测试脚本的生成方法具体如下：
[0022]S31、构建脚本模板；
[0023]S32、将路径中依次出现的节点填充至脚本模板的节点位置，在路径中的最后一个节点填充至脚本模板后，形成该测试用例下的测试脚本。
[0024]本专利技术是这样实现的，一种计算机可读存储介质，所述存储介质中存储有至少一条指令、至少一段程序、代码集或指令集，所述至少一条指令、所述至少一段程序、所述代码集或指令集由处理器加载并执行时实现如上所述基于模型的矩阵自动化测试方法步骤。
[0025]本专利技术能够将复杂的状态机架构映射为清晰的二维场景矩阵，为复杂状态机的测试工作提供一种便捷、灵活、清晰以及高效率的自动化测试方法。可以适用任何涉及状态迁移的测试模型，能够显著提高复杂状态机验证与测试工作效率，并且可保存的场景矩阵现场与自动执行的结果在状态机测试上的应用给相关领域提供了一个新的思路。
附图说明
[0026]图1为本专利技术实施例提供的基于模型的矩阵自动化测试方法流程图；
[0027]图2为本专利技术实施例提供的逻辑矩形图的结构示意图。
具体实施方式
[0028]下面对照附图，通过对最优实施例的描述，对本专利技术的具体实施方式作进一步详细的说明。
[0029]图1为本专利技术实施例提供的基于模型的矩阵自动化测试方法流程图，该方法具体包括如下步骤：
[0030]S1、标识待测试软件中的功能条件，基于功能条件生成逻辑表。
[0031]在本专利技术实施例中，逻辑表的生成方法具体如下：
[0032]S11、检测待测试软件中的功能条件标识，一般用“if”来标识功能条件；
[0033]S12、检测该功能条件是否为复杂功能条件，若检测结果为是，则将复杂的功能条件等价变换为基本功能条件；
[0034]若功能条件中存在“and”或“or”逻辑词，则该功能条件为基本功能条件，对基本功能条件等价变换为基本功能条件，转化过程见下表：
[0035][0036]S13、基于等价变换后的基本功能条件生成逻辑表；
[0037]逻辑检测表由节点、信息点及有向边组成，节点与节点间、节点与信息点间通过有向边连接，其中一个节点对应一个基本功能条件，基于基本功能条件出现顺序依次进行排列；有向边表示该节点对应基本功能条件的逻辑判断，每个节点存在两个有向；信息点表示有向边指示的逻辑判断结果，包括：“Ture”、“False”及“End”。
[0038]S2基于逻辑表生成逻辑矩阵图；
[0039]在本专利技术实施例中，逻辑矩阵图的生成方法具体包括如下步骤：
[0040]S21、获取逻辑表中的第一个节点；
[0041]S22、生成该节点的两条有向边；
[0042]S23、获取该各有向边末端的信息点，若信息点为非END，则获取该有向边末端的节点，执行步骤S22，直至最后一个节点的两个有向边的末端信息点均为END。
[0043]S3、遍历逻辑矩阵图中的所有路径，生成测试用例及测试用例对应的测试脚本，基于测试脚本对待测试软件进行测试。
[0044]在本专利技术实施例中，一条路径对应一个测试用例，一个测试用例对应一个测试脚本，测试脚本的生成方法具体如下：
[0045]S31、构建脚本模板；
[0046]S32、将路径中依次出现的节点填充至脚本模板的节点位置，在路径中的最后一个节点填充至脚本模板后，形成该测试用例下的测试脚本。
[0047]下面是本专利技术针对一个具体的实施例对上述记载的技术方案进行更为详细的说明，说明具体如下：在软件测测试分析中，测试分析过程中会验证一个函数的所有功能路径，必须标识出所有的功能条件并生成伪代码，标识出功能条件：
[0048]例如：
[0049][0050]对复杂功能条件进行等价变换，标识出条件后，必须要确定每条被测试的环境。区分基本功能和复杂功能条件之间。基本功能条件只有一个基本比较组成，条件C1就是基本比较条件的例子。复杂条件是包含多个比较的条件，通过AND及OR等关系来关联，条件C2就是复杂功能条件的例子。对于复杂条件可以等价变换为简单条件。对源代码等价变换后，可以得到所有条件都是基本功能条件的代码：
[0051][0052]对应的逻辑表具体如下
[0053] C1_1C1_2C110P1P2！＝0TrueFalse C21_1C21_2
C2110P3！＝04TrueFalse C22_1C22_2C2210P3！＝08TrueFalse
[0054]确定逻辑测试用例，把每个节点(包括C1、C21及本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种基于模型的矩阵自动化测试方法，其特征在于，所述方法具体包括如下步骤：S1、标识待测试软件中的功能条件，基于功能条件生成逻辑表；S2、基于逻辑表生成逻辑矩阵图；S3、遍历逻辑矩阵图中的所有路径，生成测试用例及测试用例对应的测试脚本，基于测试脚本对待测试软件进行测试。2.如权利要求1所述基于模型的矩阵自动化测试方法，其特征在于，逻辑表的生成方法具体包括如下步骤：S11、检测待测试软件中的功能条件标识；S12、检测该功能条件是否为复杂功能条件，若检测结果为是，则将复杂的功能条件等价变换为基本功能条件；S13、基于等价变换后的基本功能条件生成逻辑表。3.如权利要求1所述基于模型的矩阵自动化测试方法，其特征在于，逻辑检测表由节点、信息点及有向边组成，节点与节点间、节点与信息点间通过有向边连接；一个节点对应一个基本功能条件，基于基本功能条件出现顺序依次进行排列；有向边表示该节点对应基本功能条件的逻辑判断，每个节点存在两个有向；信息点表示有向边指示的逻辑判断结果。4.如权利要求1所述...

【专利技术属性】
技术研发人员：段岳云，
申请(专利权)人：奇瑞汽车股份有限公司，
类型：发明
国别省市：