IPv6路由協(xié)議一致性測試系統(tǒng)研究與實(shí)現(xiàn).pdf

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

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

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

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