OSPFv3協(xié)議的互操作性測試中不確定性問題和可選項影響的研究.pdf

1、路由協(xié)議OSPFv3作為網(wǎng)絡(luò)運作核心部分，是下一代互聯(lián)網(wǎng)絡(luò)協(xié)議族測試的重點，除了要對其進行一致性測試，還要進行互操作性測試，檢測實現(xiàn)是否能夠完成端到端的互聯(lián)互通。本課題主要從OSPFv3協(xié)議互操作性測試中出現(xiàn)的不確定性問題研究以及可選項對互操作性測試的影響兩方面開展。具體工作包括以下幾個方面：
　　 首先，本文深入分析了OSPFv3協(xié)議及協(xié)議的工作機制。為了更加清晰、直觀描述協(xié)議間的交互，引入著色Petri網(wǎng)為OSPFv3建立模

2、型，并簡要介紹了著色Petri網(wǎng)形式化描述技術(shù)概念及其優(yōu)點。本文采用了一種CPN形式化建模的工具CPNTools為OSPFv3協(xié)議互操作性測試建立基于數(shù)據(jù)流的CPN模型。
　　 其次，本文基于OSPFv3協(xié)議互操作性測試的CPN模型，對其中的不確定性采用兩個步驟進行了測試：一利用轉(zhuǎn)移樹將被測系統(tǒng)引導到某個狀態(tài)；二利用限制條件最少的U方法判斷該狀態(tài)是否是目標狀態(tài)。搭建OSPFv3協(xié)議互操作性測試環(huán)境，根據(jù)測試結(jié)果分析被測實現(xiàn)的具體

3、實現(xiàn)情況。
　　 再次，本文介紹了OSPFv3協(xié)議中的可選項，并分析了可選項對互操作性測試的影響。以E-bit對協(xié)議間建立鄰接關(guān)系的影響為例采取部分建模。為減少測試工作量本文給出了一個基于數(shù)據(jù)選擇生成測試路徑集合的算法。并搭建OSPFv3互操作性測試平臺，執(zhí)行測試序列，分析了實驗結(jié)果。
　　 最后總結(jié)了本課題的主要工作及貢獻，并給出下一步研究的內(nèi)容：對OSPFv3采用時間CPN建模，實現(xiàn)定時發(fā)送Hello包；對轉(zhuǎn)移樹進行