OSPFv3協(xié)議一致性測試例設計.pdf

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

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

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