田万勇，赵露露，杜利刚，胡军锋

基于建模与仿真的Link-16协议一致性测试

田万勇，赵露露，杜利刚，胡军锋

（中国电子科技集团公司第二十研究所，西安 710068）

数据链是实现作战单元互操作的决定性因素，作战单元对协议实现的一致性是互操作性的基础。本文针对消息协议表述易产生歧义和测试模型通用性不足等问题，将测试重点聚焦于语法与语义，以Link-16消息与规则为测试对象，基于建模与仿真方法构建一致性测试模型。美军JITC的测试案例说明，该方法可以实现典型语法与语义的一致性测试，扩展性较好。

数据链；一致性；建模与仿真

0 引言

数据链是一种基于标准化的消息格式和通信协议，以面向比特的方式在传感器平台、指控平台以及武器平台间实时传输数字化信息的战术无线通信系统，是网络中心战和体系化作战的核心支撑系统[1]。Link-16数据链是美军联合作战的主要工具，可在作战成员间交换敌方目标数据、己方平台状况、成员位置、电子侦察/电子战情报、危险警告、导航、控制与指挥引导等信息，是全面提升美军联合作战能力的重要保障。

消息协议，又称消息标准，是数据链系统或设备终端所应遵循的标准化协议和规范，以实现系统或设备级的信息交互[2]。消息协议包括消息格式、数据元素字典和通信协议等内容，是数据链特有的标准[3]。Link-16消息协议涉及近百条消息和一万多条规则，内容繁多，应用功能多样。协议一致性测试是对数据链设备的协议实现进行检验，确定是否符合消息标准的规定。……