[發(fā)明專利]一種TCASII 防撞算法的標(biāo)準(zhǔn)符合性驗證方法

有效

• 申請?zhí)枺?/td>: 201210185816.7
• 申請日: 2012-06-07
• 公開（公告）號: CN102736977A
• 公開（公告）日: 2012-10-17
• 發(fā)明（設(shè)計）人: 李洪偉
• 申請（專利權(quán)）人: 四川九洲空管科技有限責(zé)任公司
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 成都九鼎天元知識產(chǎn)權(quán)代理有限公司 51214
• 代理人: 卿誠;吳彥峰

1.一種TCASII?防撞算法的標(biāo)準(zhǔn)符合性驗證方法，其特征在于，所述方法包括下述步驟：

TCASII?防撞算法逐個讀取測試用例文件，獲得想定場景的相關(guān)描述信息；

在每個運行周期，TCASII?防撞算法根據(jù)所述描述信息自動運算產(chǎn)生本機(jī)和目標(biāo)機(jī)的狀態(tài)跟蹤信息以及告警信息；

通過自動比較工具將TCASII?防撞算法的運行輸出結(jié)果和標(biāo)準(zhǔn)輸出結(jié)果進(jìn)行比較，完成驗證。

2.如權(quán)利要求1所述的TCASII?防撞算法的標(biāo)準(zhǔn)符合性驗證方法，其特征在于，所述想定場景的相關(guān)描述信息具體為描述本載機(jī)和，1個或多個目標(biāo)機(jī)構(gòu)成的空中交通態(tài)勢的信息；所述描述信息按照運行周期存儲為全局結(jié)構(gòu)變量。

3.如權(quán)利要求1所述的TCASII?防撞算法的標(biāo)準(zhǔn)符合性驗證方法，其特征在于，每個運行周期產(chǎn)生的運行結(jié)果將按照標(biāo)準(zhǔn)格式生成結(jié)果文件，所有的結(jié)果文件將統(tǒng)一保存在指定目錄中。

4.如權(quán)利要求1所述的TCASII?防撞算法的標(biāo)準(zhǔn)符合性驗證方法，其特征在于，測試用例作為TCASII?防撞算法運行的參數(shù)輸入。