摘要

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