基于建模與仿真的Link-16協(xié)議一致性測試

田萬勇，趙露露，杜利剛，胡軍鋒

基于建模與仿真的Link-16協(xié)議一致性測試

田萬勇，趙露露，杜利剛，胡軍鋒

（中國電子科技集團(tuán)公司第二十研究所，西安 710068）

數(shù)據(jù)鏈?zhǔn)菍?shí)現(xiàn)作戰(zhàn)單元互操作的決定性因素，作戰(zhàn)單元對協(xié)議實(shí)現(xiàn)的一致性是互操作性的基礎(chǔ)。本文針對消息協(xié)議表述易產(chǎn)生歧義和測試模型通用性不足等問題，將測試重點(diǎn)聚焦于語法與語義，以Link-16消息與規(guī)則為測試對象，基于建模與仿真方法構(gòu)建一致性測試模型。美軍JITC的測試案例說明，該方法可以實(shí)現(xiàn)典型語法與語義的一致性測試，擴(kuò)展性較好。

數(shù)據(jù)鏈；一致性；建模與仿真

0 引言

數(shù)據(jù)鏈?zhǔn)且环N基于標(biāo)準(zhǔn)化的消息格式和通信協(xié)議，以面向比特的方式在傳感器平臺(tái)、指控平臺(tái)以及武器平臺(tái)間實(shí)時(shí)傳輸數(shù)字化信息的戰(zhàn)術(shù)無線通信系統(tǒng)，是網(wǎng)絡(luò)中心戰(zhàn)和體系化作戰(zhàn)的核心支撐系統(tǒng)[1]。Link-16數(shù)據(jù)鏈?zhǔn)敲儡娐?lián)合作戰(zhàn)的主要工具，可在作戰(zhàn)成員間交換敵方目標(biāo)數(shù)據(jù)、己方平臺(tái)狀況、成員位置、電子偵察/電子戰(zhàn)情報(bào)、危險(xiǎn)警告、導(dǎo)航、控制與指揮引導(dǎo)等信息，是全面提升美軍聯(lián)合作戰(zhàn)能力的重要保障。

消息協(xié)議，又稱消息標(biāo)準(zhǔn)，是數(shù)據(jù)鏈系統(tǒng)或設(shè)備終端所應(yīng)遵循的標(biāo)準(zhǔn)化協(xié)議和規(guī)范，以實(shí)現(xiàn)系統(tǒng)或設(shè)備級的信息交互[2]。消息協(xié)議包括消息格式、數(shù)據(jù)元素字典和通信協(xié)議等內(nèi)容，是數(shù)據(jù)鏈特有的標(biāo)準(zhǔn)[3]。Link-16消息協(xié)議涉及近百條消息和一萬多條規(guī)則，內(nèi)容繁多，應(yīng)用功能多樣。協(xié)議一致性測試是對數(shù)據(jù)鏈設(shè)備的協(xié)議實(shí)現(xiàn)進(jìn)行檢驗(yàn)，確定是否符合消息標(biāo)準(zhǔn)的規(guī)定。……