OSPFv3協(xié)議一致性測(cè)試?yán)O(shè)計(jì).pdf

1、隨著支持IPv6的路由器產(chǎn)品的日漸增多，各路由協(xié)議實(shí)現(xiàn)與協(xié)議標(biāo)準(zhǔn)的一致性問題也越來越突出。OSPFv3是一種基于Dijkstra算法的鏈路狀態(tài)協(xié)議，是下一代互聯(lián)網(wǎng)應(yīng)用最為廣泛的內(nèi)部網(wǎng)關(guān)路由協(xié)議。OSPFv3協(xié)議一致性測(cè)試可驗(yàn)證OSPFv3協(xié)議實(shí)現(xiàn)是否符合相應(yīng)的協(xié)議標(biāo)準(zhǔn)，保障各個(gè)協(xié)議實(shí)現(xiàn)的互連互通。 本文主要研究OSPFv3協(xié)議一致性測(cè)試方法與測(cè)試?yán)杉夹g(shù)。在分析OSPFv3協(xié)議和協(xié)議一致性測(cè)試?yán)碚摰幕A(chǔ)上，提出了環(huán)境模擬測(cè)試方

2、法。該方法使用測(cè)試儀表的不同端口模擬了多個(gè)測(cè)試系統(tǒng)，通過測(cè)試器端口發(fā)送不同的LSA模擬OSPFv3網(wǎng)絡(luò)的拓?fù)浣Y(jié)構(gòu)。借助于被測(cè)試系統(tǒng)與模擬的測(cè)試環(huán)境的交互使被測(cè)試系統(tǒng)自動(dòng)獲得某些特定信息或者運(yùn)行到某個(gè)特定狀態(tài)，然后測(cè)試器在這個(gè)基礎(chǔ)上進(jìn)行主動(dòng)測(cè)試，該方法簡化了測(cè)試環(huán)境，減少了測(cè)試序列，提高了測(cè)試?yán)龍?zhí)行的效率。在協(xié)議一致性測(cè)試?yán)碚摰闹笇?dǎo)下，確定需要測(cè)試的一致性要求，確定測(cè)試目標(biāo)，設(shè)計(jì)了OSPFv3測(cè)試組。OSPFv3協(xié)議中的測(cè)試目標(biāo)可以分為有

3、狀態(tài)的目標(biāo)和沒有狀態(tài)的目標(biāo)。對(duì)于有狀態(tài)的測(cè)試目標(biāo)，可以用有限狀態(tài)機(jī)對(duì)測(cè)試目標(biāo)的狀態(tài)轉(zhuǎn)換過程建立模型，根據(jù)模型采用覆蓋路徑的方法設(shè)計(jì)測(cè)試?yán)?duì)于沒有狀態(tài)轉(zhuǎn)換的測(cè)試目標(biāo)，根據(jù)協(xié)議要求和一致性測(cè)試清單設(shè)計(jì)測(cè)試?yán)??；谏鲜鲅芯?，采用TSS描述語言設(shè)計(jì)了OSPFv3協(xié)議一致性測(cè)試集，該測(cè)試集包括8個(gè)測(cè)試組，145個(gè)測(cè)試?yán)?。在Linux環(huán)境下對(duì)測(cè)試集執(zhí)行了驗(yàn)證，并分析實(shí)際測(cè)試結(jié)果，發(fā)現(xiàn)了協(xié)議實(shí)現(xiàn)不同程度地與協(xié)議標(biāo)準(zhǔn)不一致的問題。測(cè)試結(jié)果表明，本文提