is-is路由協(xié)議一致性測(cè)試的研究

《is-is路由協(xié)議一致性測(cè)試的研究》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫(kù)。

1、內(nèi)蒙古大學(xué)碩士學(xué)位論文IS—lS路由協(xié)議一致性測(cè)試的研究摘要隨著計(jì)算機(jī)網(wǎng)絡(luò)規(guī)模的不斷擴(kuò)大，大型互聯(lián)網(wǎng)絡(luò)的迅猛發(fā)展，路由技術(shù)在網(wǎng)絡(luò)技術(shù)中已逐漸成為關(guān)鍵部分，路由器也隨之成為最重要的網(wǎng)絡(luò)設(shè)備。人們已經(jīng)不滿(mǎn)足于僅在本地網(wǎng)絡(luò)上共享信息，而希望最大限度的利用全球各個(gè)地區(qū)、各種類(lèi)型的網(wǎng)絡(luò)資源，用戶(hù)的需求推動(dòng)著路由技術(shù)的發(fā)展和路由器的普及，高效穩(wěn)定的路由協(xié)議成為保障網(wǎng)絡(luò)性能的重要因素。協(xié)議測(cè)試是保證網(wǎng)絡(luò)設(shè)備之間互聯(lián)的重要手段。IS．IS路由協(xié)議是目前內(nèi)部網(wǎng)關(guān)協(xié)議的主流協(xié)議之一，它可以同時(shí)運(yùn)行在OSI和IP兩種環(huán)境中，在當(dāng)今的網(wǎng)絡(luò)中有著廣泛的應(yīng)

2、用。IS．IS采用分層的網(wǎng)絡(luò)結(jié)構(gòu)，穩(wěn)定性好、收斂快、可擴(kuò)展性強(qiáng)，而且在同等規(guī)模的網(wǎng)絡(luò)下需要的資源比其它內(nèi)部網(wǎng)關(guān)協(xié)議更少。本文在對(duì)IS．IS路由協(xié)議分析的基礎(chǔ)上，運(yùn)用形式化與非形式化相結(jié)合的方法，對(duì)IS．IS進(jìn)行了協(xié)議一致性測(cè)試。對(duì)鄰接關(guān)系狀態(tài)機(jī)進(jìn)行了E-LOTOS描述，并利用自動(dòng)生成工具PATSAG自動(dòng)生成了TTCN一3抽象測(cè)試?yán)o出了IS．IS，協(xié)議的所有可執(zhí)行測(cè)試?yán)?。最后在Linux下對(duì)路由軟件Quagga-0．99．7中實(shí)現(xiàn)的IS．IS協(xié)議進(jìn)行了一致性測(cè)試，并對(duì)測(cè)試結(jié)果進(jìn)行了分析。關(guān)鍵詞：協(xié)議一致性測(cè)試，IS—IS，測(cè)試

3、例，Quagga-0．99．7，TTCN-3IS．IS路由協(xié)議一致性測(cè)試的研究ResearchontheConformanceTestingoftheIS-ISRoutingProtocolABSTRACTRoutingtechnologyhasgraduallybeentheessentialpartof．networkingtechnologyasthecomputernetworkscalecontinuouslyexpandandtheinternetrapidlybeendeveloped．Routeralsobeco

4、mesthemostimportantnetworkequipment．Peoplearenolongersatisfiedwithonlylocalnetworktoshareinformation，andhopethattheyCanmaximizethenetworkresourcesuseofvariouspartsandvarioustypesoftheworld．Theneedsofuserspromotethedevelopmentoftheroutingtechnologyandpopularityofroute

5、rs．Efficientandstablesecuritynetworkroutingprotocolsbecomeanimportantfactorinperformance．ConformancetestingofprotocolimplementationisanimportantmeanstoensuretheinterconnectionamongtheIntemetproducts．NowIS—ISroutingprotocolisoneofthemainIGPs(InternalGatewayProtoc01)．I

6、tcanruninbothOSIandIPenvironment．Intoday'snetwork,ithasawiderangeofapplications．IS-IShasalayerednetworkstructure，goodstability，fastconvergence，strongabilityofexpanding，AndinthesamenetworkscaleitneedslessresourcesthanotherIGPs．BasedontheanalyzingoflS—ISprotocol，thisth

7、esisappliesconformancetestⅡ塑鍪直奎堂嬰主堂篁堡苧onIS—ISprotocolbyusingtheformalandinformalcombinedmethod．ItdescribesadjacencystatemachineinE—LOTOS，automaticallygeneratestheabstracttestcaseinTTCN-3formatbyusingthetoolofPATSAG，givesallexecutabletestcases，finallyappliesconformanc

8、etestonQuagga-O．99．7’SIS—ISprotocolinLinuxenvironmentandanalyzesthetestresult．KEYWORDS：Protocolconformancetest，IS—IS，Testcase，TTCN3