[00101397]基于DEVS的数据链系统的建模与测试的方法
联系人：
所在地：
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
本发明涉及一种基于DEVS的数据链系统的建模与测试的方法。本发明步骤为：建立输入/输出行为模型：根据目标数据链系统消息标准的输入/输出行为建立；建立最小可测试输入/输出对模型：根据各个输入/输出行为在时间上的发生顺序建立；建立规则行为模型：根据各个最小可测试输入/输出对的依赖性关系建立；建立场景行为模型：根据各个规则的依赖性关系建立；建立被测系统模型：基于场景行为模型,使用ADEVS框架并结合相关子模块生成；建立测试模型：镜像被测系统模型的输入/输出行为建立；测试执行：运行测试模型和被测系统模型,能判断出其是否正确实现了目标消息标准中的元素并给出结果；本发明你根据被测系统模型的输入/输出行为,判断其正确性。
