CN110781557B - 一种飞机系统模型仿真测试流程优化方法 - Google Patents

Abstract

本申请属于飞机系统模型仿真测试流程优化设计技术领域，具体涉及一种飞机系统模型仿真测试流程优化方法，包括：模型转化步骤：将飞机系统的UML状态图模型转化为飞机系统的功能/逻辑模型；模型搜索步骤：对功能/逻辑模型进行全覆盖搜索，以找出有限空间内功能/逻辑模型对应于UML状态图模型全流程测试样本的分支；分支优化步骤：利用流程优化覆盖准则库对各分支进行优化，进而得到优化后的测试分支。

Description

一种飞机系统模型仿真测试流程优化方法

技术领域

本申请属于飞机系统模型仿真测试流程优化设计技术领域，具体涉及一种飞机系统模型仿真测试流程优化方法。

背景技术

当前，对于模型的仿真测试已被广泛认可，但是对于复杂飞机系统模型的仿真测试流程研究较少，现有飞机系统模型的仿真测试流程的筛选、优化因样本巨大而局限于人工经验的判断，效率较低，且容易发生关键流程漏测试。

鉴于现有技术的上述缺陷提出本申请。

发明内容

本申请的目的是提供一种飞机系统模型仿真测试流程优化方法，以克服或减轻现有技术至少一方面的缺陷。

本申请的技术方案是：

一种飞机系统模型仿真测试流程优化方法，包括以下步骤：

模型转化步骤：将飞机系统的UML状态图模型转化为飞机系统的功能/逻辑模型；

模型搜索步骤：对功能/逻辑模型进行全覆盖搜索，以找出有限空间内功能/逻辑模型对应于UML状态图模型全流程测试样本的分支；

分支优化步骤：利用流程优化覆盖准则库对各分支进行优化，进而得到优化后的测试分支。

根据本申请的至少一个实施例，模型转化步骤中，

利用图理论对UML状态图模型进行模型解释、转化。

根据本申请的至少一个实施例，分支优化步骤中流程优化覆盖准则库包括：

状态覆盖准则。

根据本申请的至少一个实施例，分支优化步骤中流程优化覆盖准则库包括：

迁移覆盖准则。

根据本申请的至少一个实施例，分支优化步骤中流程优化覆盖准则库包括：

ZOT循环覆盖准则。

根据本申请的至少一个实施例，分支优化步骤中流程优化覆盖准则库包括：

全ZOT路径覆盖准则。

根据本申请的至少一个实施例，分支优化步骤中流程优化覆盖准则库包括：

基于飞机系统测试的经验准则。

根据本申请的至少一个实施例，分支优化步骤中流程优化覆盖准则库包括：

DFS-BTCC覆盖准则，具体如下：

查找初始状态到终止状态各条独立迁移转换路径的循环回路；

对于每条独立迁移转换路径的循环回路，选取M个循环组合

依次取消独立迁移转换路径上组合

的回路点，得到简单独立迁移转换路径，其中，N为独立迁移转换路径的循环回路的个数，1≤M≤N；

整合深度优先算法DFS、

基本迁移转换覆盖准则BTCC，建立测试用例流程优化方法，利用测试用例流程优化方法生成基本迁移转换路径；

根据循环复杂度得到

基本迁移转换路径的最大数量。

附图说明

图1是本申请实施例提供的飞机系统模型仿真测试流程优化方法的流程图；

图2是本申请实施例提供的飞机系统模型仿真测试流程优化路线图。

具体实施方式

下面结合附图和实施例对本申请作进一步的详细说明。可以理解的是，此处所描述的具体实施例仅仅用于解释相关申请，而非对该申请的限定。另外还需要说明的是，为了便于描述，附图中仅示出了与本申请相关的部分。

需要说明的是，在不冲突的情况下，本申请中的实施例及实施例中的特征可以相互组合。下面将参考附图并结合实施例来详细说明本申请。

需要说明的是，在本申请的描述中，术语“中心”、“上”、“下”、“左”、“右”、“竖直”、“水平”、“内”、“外”等指示的方向或位置关系的术语是基于附图所示的方向或位置关系，这仅仅是为了便于描述，而不是指示或暗示装置或元件必须具有特定的方位、以特定的方位构造和操作，因此不能理解为对本申请的限制。此外，术语“第一”、“第二”、“第三”仅用于描述目的，而不能理解为指示或暗示相对重要性。

此外，还需要说明的是，在本申请的描述中，除非另有明确的规定和限定，术语“安装”、“相连”、“连接”应做广义理解，例如，可以是固定连接，也可以是可拆卸连接，或一体地连接；可以是机械连接，也可以是电连接；可以是直接相连，也可以通过中间媒介间接相连，可以是两个元件内部的连通。对于本领域技术人员而言，可根据具体情况理解上述术语在本申请中的具体含义。

下面结合附图1至图2对本申请做进一步详细说明。

一种飞机系统模型仿真测试流程优化方法，包括以下步骤：

模型转化步骤：将飞机系统的UML状态图模型转化为飞机系统的功能/逻辑模型；

模型搜索步骤：对功能/逻辑模型进行全覆盖搜索，以找出有限空间内功能/逻辑模型对应于UML状态图模型全流程测试样本的分支；

分支优化步骤：利用流程优化覆盖准则库对各分支进行优化，进而得到优化后的测试分支。

对于上述实施例公开的飞机系统模型仿真测试流程优化方法，本领域技术人员可以理解的是，该飞机系统模型仿真测试流程优化方法可满足模型测试流程较少且能够对模型进行充分性测试的要求，能够提高测试流程的优化效率。

对于飞机系统模型仿真测试可以依据测试平台需求给出相应测试脚本，通过测试平台驱动飞机系统的UML状态图模型的运行，以完成模型的仿真测试。

在一些可选的实施例中，模型转化步骤中，

利用图理论对UML状态图模型进行模型解释、转化。

在一些可选的实施例中，分支优化步骤中流程优化覆盖准则库包括：

状态覆盖准则。

在一些可选的实施例中，分支优化步骤中流程优化覆盖准则库包括：

迁移覆盖准则。

在一些可选的实施例中，分支优化步骤中流程优化覆盖准则库包括：

ZOT循环覆盖准则。

在一些可选的实施例中，分支优化步骤中流程优化覆盖准则库包括：

全ZOT路径覆盖准则。

在一些可选的实施例中，分支优化步骤中流程优化覆盖准则库包括：

基于飞机系统测试的经验准则。

在一些可选的实施例中，分支优化步骤中流程优化覆盖准则库包括：

DFS-BTCC覆盖准则，具体如下：

查找初始状态到终止状态各条独立迁移转换路径的循环回路；

对于每条独立迁移转换路径的循环回路，选取M个循环组合

依次取消独立迁移转换路径上组合

的回路点，得到简单独立迁移转换路径，其中，N为独立迁移转换路径的循环回路的个数，1≤M≤N；

整合深度优先算法DFS、

基本迁移转换覆盖准则BTCC，建立测试用例流程优化方法，利用测试用例流程优化方法生成基本迁移转换路径；

根据循环复杂度得到

基本迁移转换路径的最大数量，即测试用例集的最小数量。

对于上述实施例公开的飞机系统模型仿真测试流程优化方法，本领域技术人员可以理解的是，

基本迁移转换覆盖准则满足了状态覆盖准则和迁移覆盖准则，与ZOT循环覆盖准则、全ZOT路径覆盖准则相比，保留了循环分别执行0次和1次的情况，去掉了循环执行2次的情况,使得每一个循环可以减少一次测试，减少了三分之一的测试量，可避免较大的冗余，同时增加了

循环回路组合，让循环回路之间匹配完全，保证了测试的相对完备性。

DFS-BTCC测试用例流程优化算法，采用邻接矩阵的方法描述如下：

G＝(S,E)为一个图，其中S＝{S1,S2,S3……Sn}，对于有向图中顶点i的出度为第i行所有非零元素的个数，而入度为第i列所有非零元素的个数，具体过程为：

1)、从邻接矩阵中求出入度为0的顶点和出度为0的顶点Se、Ss，其中，Se为初始顶点，Ss为终止顶点；

2)、从Se顶点开始，查找有向图的邻接矩阵，以Se所在行的第一列为起始点搜索，直到该行的最后一列，如果遇到出度不为零(非Se点)的点Sx，且为Se到Sx的弧线没有被访问过，则遍历此弧线；

3)、继续查找邻接矩阵，以Sx所在行的第一列为起始点搜索，直到该行的最后一列，如果出度全为零(非Sx点)，返回步骤2)继续搜索上一个顶点没有遍历的弧线；如果遇到出度不为零(非Sx点)的点Sz，且为Sx到Sz的弧线没有被访问过，则遍历此弧线，查看该条弧线是否自循环或与前面的弧线形成回路，如果形成循环回路，则保存该回路，继续执行步骤3)；如果有向图邻接矩阵所有出度不为零的点全部被遍历，且对应的弧线被访问，执行步骤4)；

4)、得到一系列有循环回路的测试序列集{Q1，Q2……Qn}，例如Q1＝Se……SxSy……Ss；

5)、找出一条测试序列Qi上存在的所有循环回路个数N，选取M(1≤M≤N)个循环进行组合

取消该条测试序列上组合

的回路点，形成新的迁移转换路径，加到测试序列集中，测试序列集增加的测试序列个数为

继续对测试序列Qi+1进行步骤5)操作，直到执行到Qn结束。

本发明测试流程优化分析路线的提出明确了流程优化的步骤，测试流程优化分析算法的优点为在保证测试流程满足基本测试需求、测试流程数量较少的情况下，充分组合测试流程中的循环回路，满足复杂系统测试情况多变的需求，最后自动生成的测试流程在数量上和覆盖率上都是较优的。

至此，已经结合附图所示的优选实施方式描述了本申请的技术方案，但是，本领域技术人员容易理解的是，本申请的保护范围显然不局限于这些具体实施方式。在不偏离本申请的原理的前提下，本领域技术人员可以对相关技术特征作出等同的更改或替换，这些更改或替换之后的技术方案都将落入本申请的保护范围之内。

Claims (2)

1.一种飞机系统模型仿真测试流程优化方法，其特征在于，包括以下步骤：

模型转化步骤：将飞机系统的UML状态图模型转化为飞机系统的功能/逻辑模型；

模型搜索步骤：对功能/逻辑模型进行全覆盖搜索，以找出有限空间内功能/逻辑模型对应于UML状态图模型全流程测试样本的分支；

分支优化步骤：利用流程优化覆盖准则库对各分支进行优化，进而得到优化后的测试分支；

所述分支优化步骤中流程优化覆盖准则库包括：

DFS-BTCC覆盖准则，具体如下：

查找初始状态到终止状态各条独立迁移转换路径的循环回路；

对于每条独立迁移转换路径的循环回路，选取M个循环组合

依次取消独立迁移转换路径上组合

的回路点，得到简单独立迁移转换路径，其中，N为独立迁移转换路径的循环回路的个数，1≤M≤N；

整合深度优先算法DFS、

基本迁移转换覆盖准则BTCC，建立测试用例流程优化方法，利用测试用例流程优化方法生成基本迁移转换路径；

根据循环复杂度得到

基本迁移转换路径的最大数量。

2.根据权利要求1所述的飞机系统模型仿真测试流程优化方法，其特征在于，

所述模型转化步骤中，

利用图理论对UML状态图模型进行模型解释、转化。

Images