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

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

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