买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：中国电子科技集团公司第二十研究所;杭州电子科技大学

摘要：本发明涉及一种基于DEVS的数据链系统的建模与测试的方法。本发明步骤为：建立输入输出行为模型：根据目标数据链系统消息标准的输入输出行为建立；建立最小可测试输入输出对模型：根据各个输入输出行为在时间上的发生顺序建立；建立规则行为模型：根据各个最小可测试输入输出对的依赖性关系建立；建立场景行为模型：根据各个规则的依赖性关系建立；建立被测系统模型：基于场景行为模型，使用ADEVS框架并结合相关子模块生成；建立测试模型：镜像被测系统模型的输入输出行为建立；测试执行：运行测试模型和被测系统模型，能判断出其是否正确实现了目标消息标准中的元素并给出结果；本发明你根据被测系统模型的输入输出行为，判断其正确性。

主权项：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，建立所有规则的被测系统模型与测试模型；步骤1中建立输入输出行为模型具体是：1-1.分析目标数据链系统消息标准，抽取出文本中表示的建模所需的输入输出行为，以及状态转移条件与动作；1-2.使用DEVS原子模型范式，建立HoldSend原子模型，用以代表输出行为；HoldSend原子模型将在等待一段时间后，启动发送原语，向目标发送一条J系列消息；1-3.使用DEVS原子模型范式，建立WaitRecv原子模型，用以代表输入行为；WaitRecv原子模型将在一段时间内，保持启动接收原语，等待接收目标消息；步骤2中建立最小可测试输入输出对模型具体是：2-1.分析目标数据链系统消息标准中的各个最小可测试输入输出对中的，输入输出行为在时间上发生的顺序；2-2.根据各个最小可测试输入输出对中的各个输入输出行为的发生顺序，结合DEVS耦合模型范式，将步骤1中生成的HoldSend原子和WaitRecv原子，组合生成IODigraph耦合模型，作为第一层次耦合模型；步骤3中建立规则行为模型具体是：3-1.分析目标规则中各个最小可测试输入输出对之间的依赖性关系；3-2.根据目标规则中各个最小可测试输入输出对之间的依赖性关系，将步骤2中生成的各个IODigraph耦合模型，组合生成RuleDigraph耦合模型，作为第二层次耦合模型；步骤4中建立场景行为模型具体是：4-1.分析目标场景中各个规则之间的依赖性；4-2.根据目标场景中各个规则之间的依赖性关系，将步骤3中生成的各个RuleDigraph耦合模型，组合生成SceneDigraph耦合模型，作为第三层次耦合模型；步骤5中建立被测系统模型具体是：5-1.基于ADEVS框架，将步骤4中生成的SceneDigraph耦合模型转化为C++语言程序形式；5-2.结合时间管理模块和网络模块来使整个仿真系统以真实时间进行状态推进，并且能够使用UDP协议进行通信，从而支持实时分布式仿真测试环境；步骤6中建立测试模型具体是：6-1.基于步骤5中生成的被测系统模型，镜像其输入输出行为，也即将HoldSend原子转换为WaitRecv原子，将WaitRecv原子转换为HoldSend原子，从而得到测试模型的输入输出行为；6-2.与建立被测模型一样，使用ADEVS框架，并结合相应子模块，使得测试模型支持实时分布式仿真测试环境。

全文数据：

权利要求：

百度查询： 中国电子科技集团公司第二十研究所 杭州电子科技大学 基于DEVS的数据链系统的建模与测试的方法