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

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

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