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

1、隨著支持IPv6的路由器產(chǎn)品的日漸增多，各路由協(xié)議實現(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é)議一致性測試可驗證OSPFv3協(xié)議實現(xiàn)是否符合相應(yīng)的協(xié)議標(biāo)準(zhǔn)，保障各個協(xié)議實現(xiàn)的互連互通。 本文主要研究OSPFv3協(xié)議一致性測試方法與測試?yán)杉夹g(shù)。在分析OSPFv3協(xié)議和協(xié)議一致性測試?yán)碚摰幕A(chǔ)上，提出了環(huán)境模擬測試方

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

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