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

权利要求书

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

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

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

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

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

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

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

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

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

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

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

所述模型转化步骤中，

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