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

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

2、組實(shí)現(xiàn)的無(wú)線局域網(wǎng)快速切換協(xié)議(WLANSecure Fast Handover Protocol，WSP-H)進(jìn)行了一致性測(cè)試。其中，被動(dòng)測(cè)試借助有限狀態(tài)自動(dòng)機(jī)(Finite State Machine，F(xiàn)SM)對(duì)協(xié)議進(jìn)行描述，利用有限狀態(tài)自動(dòng)機(jī)對(duì)自然語(yǔ)言描述的協(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)過(guò)程中主要解決了局

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