[发明专利]基于DEVS的数据链系统的建模与测试的方法

权利要求书

1.基于DEVS的数据链系统的建模与测试的方法,其特征在于包括以下步骤：

(1)建立输入/输出行为模型：使用DEVS原子模型，建立目标数据链系统消息标准中表示的输入/输出行为的模型，作为基础原子模型；

(2)建立最小可测试输入/输出对模型：基于步骤(1)中建立的输入/输出行为模型，根据输入/输出行为的时间顺序，使用DEVS耦合模型，建立最小可测试输入/输出对模型，作为第一层次耦合模型；

(3)建立规则行为模型：基于步骤(2)中建立的最小可测试输入/输出对模型，根据其依赖关系，使用DEVS耦合模型，建立单规则行为模型，作为第二层次耦合模型；

(4)建立场景行为模型：基于步骤(3)中建立的规则行为模型，根据规则间的依赖关系，使用DEVS耦合模型，建立多规则场景行为模型，作为第三层次耦合模型；

(5)建立被测系统模型：基于步骤(4)中生成的场景行为模型，基于ADEVS框架，结合网络模块和时间管理模块，使得仿真能够使用UDP协议进行通信，以支持实时分布式仿真测试环境，最终使用C++语言，编写生成被测系统模型；

(6)建立测试模型：对步骤(5)中生成的被测系统模型的输入/输出行为做镜像操作，生成测试模型；

(7)测试执行：运行步骤(5)与步骤(6)的中生成的被测系统模型与测试模型，测试模型能够根据被测系统模型的输入/输出行为，正确的判断其是否正确的实现了消息标准中的规则或任务，如果未正确实现，测试模型给出错误的级别以及错误的项目；

(8)以数据链消息标准文本中的新的规则或任务为起始，重复步骤(1)～步骤(8)，建立所有规则的被测系统模型与测试模型。

2.根据权利要求1所述的基于DEVS的数据链系统的建模与测试的方法，其特征在于步骤(1)中建立输入/输出行为模型具体是：

1-1.分析目标数据链系统消息标准，抽取出文本中表示的建模所需的输入/输出行为，以及状态转移条件与动作；

1-2.使用DEVS原子模型范式，建立HoldSend原子模型，用以代表输出行为；HoldSend原子模型将在等待一段时间后，启动发送原语，向目标发送一条J系列消息；

1-3.使用DEVS原子模型范式，建立WaitRecv原子模型，用以代表输入行为；WaitRecv原子模型将在一段时间内，保持启动接收原语，等待接收目标消息。

3.根据权利要求1所述的基于DEVS的数据链系统的建模与测试的方法，其特征在于步骤(2)中建立最小可测试输入/输出对模型具体是：

2-1.分析目标数据链系统消息标准中的各个最小可测试输入/输出对中的，输入/输出行为在时间上发生的顺序；

2-2.根据各个最小可测试输入/输出对中的各个输入/输出行为的发生顺序，结合DEVS耦合模型范式，将步骤(1)中生成的HoldSend原子和WaitRecv原子，组合生成I/O Digraph耦合模型，作为第一层次耦合模型。

4.根据权利要求1所述的基于DEVS的数据链系统的建模与测试的方法，其特征在于步骤(3)中建立规则行为模型具体是：

3-1.分析目标规则中各个最小可测试输入/输出对之间的依赖性关系；

3-2.根据目标规则中各个最小可测试输入/输出对之间的依赖性关系，将步骤(2)中生成的各个I/O Digraph耦合模型，组合生成RuleDigraph耦合模型，作为第二层次耦合模型。

5.根据权利要求1所述的基于DEVS的数据链系统的建模与测试的方法，其特征在于步骤(4)中建立场景行为模型具体是：

4-1.分析目标场景中各个规则之间的依赖性；

4-2.根据目标场景中各个规则之间的依赖性关系，将步骤(3)中生成的各个RuleDigraph耦合模型，组合生成SceneDigraph耦合模型，作为第三层次耦合模型。