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

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

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

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