TCP-IP協(xié)議魯棒性測(cè)試研究.pdf

1、TCP/IP協(xié)議族是因特網(wǎng)上的權(quán)威標(biāo)準(zhǔn)，而網(wǎng)絡(luò)協(xié)議是通信網(wǎng)絡(luò)的核心，它描述了協(xié)議內(nèi)部的數(shù)據(jù)單元、數(shù)據(jù)交互的規(guī)則。協(xié)議測(cè)試作為網(wǎng)絡(luò)協(xié)議工程學(xué)的熱點(diǎn)研究內(nèi)容，是保證網(wǎng)絡(luò)協(xié)議軟、硬件產(chǎn)品正常通信、正確互連的重要手段。魯棒性測(cè)試是協(xié)議測(cè)試過程中一個(gè)必不可少的步驟。它用來檢驗(yàn)協(xié)議實(shí)現(xiàn)對(duì)異常數(shù)據(jù)的處理能力，保障被測(cè)系統(tǒng)的安全性與可靠性。
　　 本文首先介紹了一種形式化描述技術(shù)——有限狀態(tài)機(jī)(Finite State Machine)，通過實(shí)

2、例分析，對(duì)四種基于FSM模型的測(cè)試序列生成算法進(jìn)行了比較。隨后，依據(jù)ISO/IEC 9646系列標(biāo)準(zhǔn)，同時(shí)考慮到網(wǎng)絡(luò)環(huán)境的影響，給出了魯棒性測(cè)試的具體測(cè)試內(nèi)容。研究項(xiàng)目采用了基于變異PDU(Protocol Data Unit)的測(cè)試技術(shù)，詳細(xì)地闡述了變異PDU構(gòu)造規(guī)則。此外，本文引入了軟件測(cè)試中的結(jié)對(duì)測(cè)試方法，有效地解決了協(xié)議魯棒性測(cè)試集中測(cè)試用例繁多的難題，在測(cè)試覆蓋度與測(cè)試代價(jià)之間達(dá)到了一個(gè)很好的平衡。
　　 時(shí)間約束是協(xié)