基于Ontology-CT的船舶智能航行測試場景生成方法

摘要： 為解決傳統(tǒng)基于窮舉的虛擬測試場景生成方法生成場景數(shù)量級大、冗余不合理場景多，難以滿足測試需求等問題，提出一種基于本體論和組合測試的場景生成方法，使用本體論對船舶與環(huán)境間的博弈和對抗行為進(jìn)行形式化，并構(gòu)建船舶典型航行場景本體。通過基于本體論的組合測試輸入模型轉(zhuǎn)換（CTONT-Flatten）算法將本體轉(zhuǎn)換為組合測試輸入模型，使用組合測試工具生成測試用例，并對生成結(jié)果進(jìn)行分析驗(yàn)證。... （共10頁）