[发明专利]一种飞机系统模型仿真测试流程优化方法

说明书

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

技术领域

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

背景技术

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

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

发明内容

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

本申请的技术方案是：

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

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

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

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

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

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

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

状态覆盖准则。

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

迁移覆盖准则。

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

ZOT循环覆盖准则。

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

全ZOT路径覆盖准则。

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

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

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

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

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

对于每条独立迁移转换路径的循环回路，选取M个循环组合依次取消独立迁移转换路径上组合的回路点，得到简单独立迁移转换路径，其中，N为独立迁移转换路径的循环回路的个数，1≤M≤N；

整合深度优先算法DFS、基本迁移转换覆盖准则BTCC，建立测试用例流程优化方法，利用测试用例流程优化方法生成基本迁移转换路径；

根据循环复杂度得到基本迁移转换路径的最大数量。

附图说明

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

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