WLAN快速切換協(xié)議一致性測試系統(tǒng)的研究與實(shí)現(xiàn).pdf

1、隨著無線局域網(wǎng)(WLAN)技術(shù)的飛速發(fā)展，無線局域網(wǎng)應(yīng)用領(lǐng)域越來越廣泛了，其上的協(xié)議最終成為人們研究的焦點(diǎn)。協(xié)議開發(fā)過程是一個(gè)一體化的過程，對協(xié)議的一致性測試也是其中一個(gè)重要的環(huán)節(jié)。同時(shí)，根據(jù)無線協(xié)議本身的特點(diǎn)，使得對其進(jìn)行一致性測試更加必要。
　　 文章針對這些具體問題，從實(shí)際情況出發(fā)，首先以IEEE802.11b為藍(lán)本對被測協(xié)議實(shí)體和協(xié)議交互過程進(jìn)行分析，提出了WLAN協(xié)議一致性測試的方法。根據(jù)此方法從被動和主動兩方面對項(xiàng)目

2、組實(shí)現(xiàn)的無線局域網(wǎng)快速切換協(xié)議(WLANSecure Fast Handover Protocol，WSP-H)進(jìn)行了一致性測試。其中，被動測試借助有限狀態(tài)自動機(jī)(Finite State Machine，F(xiàn)SM)對協(xié)議進(jìn)行描述，利用有限狀態(tài)自動機(jī)對自然語言描述的協(xié)議進(jìn)行實(shí)體建模，從協(xié)議設(shè)計(jì)規(guī)范出發(fā)，確定狀態(tài)機(jī)的狀態(tài)轉(zhuǎn)移和狀態(tài)轉(zhuǎn)移條件，設(shè)計(jì)了協(xié)議交互實(shí)體——認(rèn)證者AP、客戶端STA和認(rèn)證服務(wù)器AS的有限狀態(tài)機(jī)模型。實(shí)現(xiàn)過程中主要解決了局

3、域網(wǎng)數(shù)據(jù)包的捕獲、過濾和分析等關(guān)鍵技術(shù)；主動測試基于TTCN-3 形式化描述語言，重點(diǎn)研究了TTCN-3核心語言中的模塊，同時(shí)分析了現(xiàn)有的測試框架——T3DevKit軟件包，學(xué)習(xí)了接口和適配器的開發(fā)方法。
　　 最后，設(shè)計(jì)并實(shí)現(xiàn)了協(xié)議一致性測試系統(tǒng)，搭建了實(shí)驗(yàn)平臺，發(fā)送并捕獲協(xié)議交互數(shù)據(jù)包，完成了對項(xiàng)目組自行設(shè)計(jì)并實(shí)現(xiàn)協(xié)議的一致性測試。經(jīng)過反復(fù)測試結(jié)果表明所實(shí)現(xiàn)的測試系統(tǒng)驗(yàn)證了協(xié)議實(shí)現(xiàn)的一致性。整個(gè)測試系統(tǒng)基于對話框，簡約、高效