1、路由協(xié)議是網(wǎng)絡的核心，IPv6路由協(xié)議實現(xiàn)的好壞，直接決定著IPv6網(wǎng)絡的穩(wěn)定性和可靠性，也決定著上層應用的質(zhì)量。在IPv6大規(guī)模部署以前，對IPv6路由協(xié)議實現(xiàn)進行一致性測試顯得尤為重要。 IPv6路由協(xié)議存在狀態(tài)轉(zhuǎn)換復雜，數(shù)據(jù)行為豐富的特點。針對路由協(xié)議的這種特點，如何設計出一種高效的描述語言來描述IPv6路由協(xié)議測試集，開發(fā)能滿足不同IPv6路由協(xié)議一致性測試要求的測試系統(tǒng)，并構建IPv6路由協(xié)議一致性測試集對保證IPv6

2、路由器的互操作是至關重要的。 本文在對IPv6路由協(xié)議和協(xié)議一致性測試技術進行了全面深入分析的基礎上，研究了IPv6路由協(xié)議測試例描述，開發(fā)完成測試系統(tǒng)，采用該系統(tǒng)對實際的協(xié)議實現(xiàn)進行測試實驗。目前該系統(tǒng)已經(jīng)由加拿大NavtelCommunication公司產(chǎn)品化，被相關設備廠家與運營商采用。本文主要工作描述如下： 1)在詳細分析了傳統(tǒng)的形式化方法在描述IPv6路由協(xié)議這種新的網(wǎng)絡協(xié)議時所存在的各種不同弊端的基礎上，設計

3、了一種簡潔高效的測試集描述語言SoT。這種語言專門針對協(xié)議一致性測試設計，提供了一套精簡的命令集，能夠準確、無二義性地描述測試集，在各個方面滿足了對IPv6路由協(xié)議一致性測試的要求，并能擴展應用到其它協(xié)議測試集的描述。 2)提出了一種基于行為圖的編譯執(zhí)行方法。針對目前測試例的編譯普遍存在著執(zhí)行效率低、不方便調(diào)試等弊端，本文提出的基于行為圖的編譯執(zhí)行方法很好的解決了這些問題。系統(tǒng)使用預處理的方式，在每個測試例開始執(zhí)行前將測試例編譯

4、成包含全部測試信息的圖，以虛擬機的方式執(zhí)行。這樣提高了測試執(zhí)行的效率，同時大大簡化測試系統(tǒng)的結(jié)構。 3)設計了IPv6路由協(xié)議測試系統(tǒng)的完整體系結(jié)構，實現(xiàn)了一個完整的IPv6協(xié)議一致性測試系統(tǒng)。該測試系統(tǒng)可以完成從測試集的設計、測試集的選擇、語法/語義檢查、編譯預處理、測試執(zhí)行到測試報告生成的完整測試過程。用所設計的IPv6路由協(xié)議一致性測試系統(tǒng)對HATACHIGR2000上的OSPFv3和BGP4+協(xié)議實現(xiàn)進行了一致性測試。通