IP網(wǎng)絡(luò)主動(dòng)檢測(cè)技術(shù)研究.pdf

1、隨著網(wǎng)絡(luò)應(yīng)用系統(tǒng)的日益豐富,網(wǎng)絡(luò)系統(tǒng)的規(guī)模越來(lái)越龐大,采用的傳輸協(xié)議也越來(lái)越復(fù)雜,使得傳統(tǒng)的被動(dòng)網(wǎng)絡(luò)檢測(cè)技術(shù)不能再滿(mǎn)足網(wǎng)絡(luò)維護(hù)的需要,針對(duì)該問(wèn)題,該文提出了"網(wǎng)絡(luò)系統(tǒng)主動(dòng)性檢測(cè)技術(shù)",與傳統(tǒng)的被動(dòng)性網(wǎng)絡(luò)檢測(cè)不同,主動(dòng)性檢測(cè)是一個(gè)完整的體系,體現(xiàn)在網(wǎng)絡(luò)生命周期的各個(gè)階段,包括網(wǎng)絡(luò)規(guī)劃、設(shè)計(jì)、實(shí)施、運(yùn)行和升級(jí).在主動(dòng)性網(wǎng)絡(luò)檢測(cè)體系中,首先基于網(wǎng)絡(luò)規(guī)劃設(shè)計(jì)方案(選擇的數(shù)據(jù)傳輸技術(shù)和傳輸設(shè)備特性)進(jìn)行理論分析與估算;其次使用形式化技術(shù)提煉待測(cè)系

2、統(tǒng)形式化模型;對(duì)初步的形式化模型進(jìn)行分析、化簡(jiǎn),得到待測(cè)集合;最后使用作者研發(fā)的ActiveTester測(cè)試工具對(duì)測(cè)試集合進(jìn)行覆蓋測(cè)試.為了科學(xué)地進(jìn)行主動(dòng)性測(cè)試,作者對(duì)協(xié)議測(cè)試?yán)碚撨M(jìn)行了必要的補(bǔ)充,提出了自己的觀點(diǎn),如協(xié)議測(cè)試研究的內(nèi)容、協(xié)議測(cè)試的方法、形式化技術(shù)在協(xié)議測(cè)試中的應(yīng)用等;同時(shí)為了便于測(cè)試人員掌握、使用主動(dòng)性測(cè)試技術(shù),作者研發(fā)了報(bào)文發(fā)送、偵聽(tīng)、分析工具—ActiveTester,它除了具備傳統(tǒng)網(wǎng)絡(luò)工具(如,sniffer)所