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