基于TCL的IS-IS協(xié)議一致性測(cè)試的研究與實(shí)現(xiàn).pdf

1、隨著通信技術(shù)的迅速發(fā)展，網(wǎng)絡(luò)以及通信協(xié)議日益復(fù)雜。實(shí)際的網(wǎng)絡(luò)是由多個(gè)網(wǎng)絡(luò)設(shè)備組建而成的。作為網(wǎng)絡(luò)的核心，路由設(shè)備和運(yùn)行在其上的路由協(xié)議實(shí)現(xiàn)的正確性對(duì)網(wǎng)絡(luò)性能起著舉足輕重的作用。路由協(xié)議的一致性測(cè)試是保證各種網(wǎng)絡(luò)路由設(shè)備相互連通，正確相互操作的重要手段。 IS-IS(Intermediate System-to-Intermediate System)協(xié)議是一種得到廣泛應(yīng)用的、功能強(qiáng)大的路由選擇協(xié)議。它既適合于CLNPfConne

2、ctionLesss NetworkProtocol，無(wú)連接網(wǎng)絡(luò)協(xié)議)網(wǎng)絡(luò)，又適合于工P網(wǎng)絡(luò)。實(shí)踐證明，在IP世界里，IS-IS路由選擇協(xié)議是應(yīng)用于工SP網(wǎng)絡(luò)中的IGP協(xié)議OSPF唯一的可替代協(xié)議。IS-IS路由選擇協(xié)議也是當(dāng)今許多層1ISP網(wǎng)絡(luò)的IGP選擇。本文在分析了IS-IS協(xié)議的特點(diǎn)基礎(chǔ)上對(duì)其進(jìn)行了一致性測(cè)試的研究，這首先需要建立一個(gè)一致性測(cè)試系統(tǒng)。為此，研究工作分四步來(lái)實(shí)施：首先設(shè)計(jì)測(cè)試系統(tǒng)的結(jié)構(gòu)框架并開(kāi)發(fā)實(shí)現(xiàn)；第二步是開(kāi)發(fā)實(shí)

3、現(xiàn)底層支持模塊以及IS-IS協(xié)議的協(xié)議模塊；第三步是編寫(xiě)較為完備的可執(zhí)行測(cè)試套；最后是在實(shí)現(xiàn)的測(cè)試系統(tǒng)中完成對(duì)IS-IS協(xié)議的一致性測(cè)試。 本文主要完成了以下幾方面的工作： 1)系統(tǒng)介紹了協(xié)議測(cè)試和形式化的相關(guān)理論，重點(diǎn)討論了一致性測(cè)試的過(guò)程、模型、方法，以及協(xié)議的形式化模型、形式化描述和測(cè)試序列的生成方法。 2)根據(jù)協(xié)議的形式化理論和測(cè)試序列生成理論，對(duì)IS-IS協(xié)議的Petri網(wǎng)模型、FSM模型、SDL形式化