OSPF協(xié)議的一致性測(cè)試

　　3.OSPF共有5種報(bào)文類(lèi)型

　　●Hello報(bào)文：用來(lái)發(fā)現(xiàn)和維持鄰站的可達(dá)性；

　　●Database Description報(bào)文：向鄰站給出自己的鏈路狀態(tài)的摘要信息；

　　●Link State Request報(bào)文：向?qū)Ψ秸?qǐng)求發(fā)送某些鏈路狀態(tài)的詳細(xì)信息；

　　●Link State Update報(bào)文：用擴(kuò)散法向全網(wǎng)更新鏈路狀態(tài)；

　　●Link State Acknowledgment報(bào)文：對(duì)鏈路更新報(bào)文的確認(rèn)。

　　四、OSPF協(xié)議一致性測(cè)試的方法

　　OSPF協(xié)議是域內(nèi)使用的路由選擇協(xié)議，所以對(duì)于OSPF協(xié)議一致性測(cè)試采用中繼測(cè)試法使用的橫斷式測(cè)試法。在橫斷式測(cè)試法中，為了使2個(gè)子網(wǎng)的2個(gè)PCO容易達(dá)到同步，一般將PCO1和PCO2集成在一個(gè)測(cè)試器中。

　　編輯器可以采用ISO9646推薦的TTCN編輯器，也可以是其它語(yǔ)言編輯器。首先在編輯器上編制抽象測(cè)試集ATS，ATS以固定文法的文本文件MP格式輸出，類(lèi)似于匯編語(yǔ)言或高級(jí)語(yǔ)言源程序。然后，MP文件由編輯器編譯成可執(zhí)行文件ETS。處理器是測(cè)試執(zhí)行的關(guān)鍵引擎，對(duì)經(jīng)過(guò)PICS和PIXIT選擇的測(cè)試集ETS進(jìn)行解釋執(zhí)行，并對(duì)PCO1或PCO2傳送來(lái)的協(xié)議數(shù)據(jù)單元PDU進(jìn)行處理，同時(shí)根據(jù)測(cè)試集的內(nèi)容控制測(cè)試過(guò)程。最后生成測(cè)試報(bào)告所需要的全部信息。在該測(cè)試結(jié)構(gòu)中，IUT的2個(gè)端口分別對(duì)應(yīng)于PCO，當(dāng)處理器從PCO1向SUT發(fā)送一個(gè)OSPF報(bào)文時(shí)，經(jīng)過(guò)OSPF模塊的路由，OSPF報(bào)文就從子網(wǎng)1轉(zhuǎn)發(fā)到子網(wǎng)2中，處理器就從子網(wǎng)2中的PCO2獲得數(shù)據(jù)報(bào)文。由于PCO1和PCO2都被集成在測(cè)試器中，便可容易地控制2個(gè)LT的協(xié)調(diào)過(guò)程。

五、OSPF協(xié)議測(cè)試集的設(shè)計(jì)

　　測(cè)試集是協(xié)議一致性測(cè)試的基礎(chǔ)，它是以最基本的測(cè)試事件序列的形式，詳細(xì)定義了測(cè)試系統(tǒng)和協(xié)議實(shí)體的行為，從而作出測(cè)試“通過(guò)”或“失敗”的判決，測(cè)試集有如下的層次結(jié)構(gòu)：測(cè)試集→測(cè)試組→測(cè)試?yán)鷾y(cè)試步→測(cè)試事件。采用TTCN形式化語(yǔ)言可以描述出測(cè)試集。

　　OSPF協(xié)議與OSI協(xié)議相比較，OSPF協(xié)議行為較簡(jiǎn)單，在對(duì)等實(shí)體之間沒(méi)有用于建鏈或流控的數(shù)據(jù)包交換。我們按照ISO／IEC9646的建議，根據(jù)協(xié)議描述分析及條件合成，生成測(cè)試目的，設(shè)計(jì)和產(chǎn)生出OSPF協(xié)議測(cè)試集，編寫(xiě)出OSPF協(xié)議測(cè)試規(guī)范。產(chǎn)生的OSPF測(cè)試集包括5個(gè)測(cè)試組，共69個(gè)測(cè)試?yán)ㄒ?jiàn)表1）。

表1 OSPF測(cè)試集

測(cè)試組 測(cè)試目的 測(cè)試?yán)?
Ospf-2areas 域邊界路由器功能 3
Ospf-2qars 交換擴(kuò)散協(xié)議功能 36
Ospf-3qars 數(shù)據(jù)包的路徑類(lèi)型，AS外部LSA和AS匯總LSA功能 23
Ospf-stress 強(qiáng)度能力測(cè)試 6
Ospf-stub 末稍網(wǎng)絡(luò)功能 1
　　這些測(cè)試組（例）涵蓋了OSPF協(xié)議描述中的主要功能，具有較好的完備性。

六、測(cè)試應(yīng)用

　　按照本文討論的測(cè)試方法和結(jié)構(gòu)，測(cè)試工具使用Agilent公司的QA Robot測(cè)試儀來(lái)進(jìn)行OSPF協(xié)議一致性測(cè)試。也可使用清華大學(xué)研制開(kāi)發(fā)的基于TTCN的PITS測(cè)試系統(tǒng)。QARobot測(cè)試儀使用QBOL語(yǔ)言生成ETS，通過(guò)QBOL編輯器進(jìn)行編譯，內(nèi)部使用UNIX操作系統(tǒng)，有著可視化的界面操作。

　　我們參加了國(guó)家“863”寬帶信息示范網(wǎng)核心路由器的測(cè)試工作。采用QARobot測(cè)試儀，分別對(duì)中興公司、巨龍公司和大唐公司研制的核心路由器進(jìn)行了OSPF協(xié)議的一致性測(cè)試。各路由器經(jīng)過(guò)OSPF協(xié)議一致性測(cè)試后，其中的OSPF模塊的功能和性能有了明顯的改善，測(cè)試?yán)ㄟ^(guò)率從50％提高到將近90％。

　　通過(guò)實(shí)踐證明，在協(xié)議軟件的設(shè)計(jì)和開(kāi)發(fā)過(guò)程中，一致性測(cè)試是用來(lái)檢測(cè)定位錯(cuò)誤，同時(shí)又能提供修正建議的好方法