移動(dòng)自組織網(wǎng)絡(luò)協(xié)議一致性測(cè)試方法研究.pdf

1、移動(dòng)自組織網(wǎng)絡(luò)MANETs(Mobile Ad hoc networks)具有網(wǎng)絡(luò)拓?fù)鋭?dòng)態(tài)變化和自組織的特性，被廣泛的應(yīng)用于軍事，救災(zāi)和醫(yī)療等重要領(lǐng)域。協(xié)議一致性測(cè)試可以檢測(cè)協(xié)議規(guī)范與協(xié)議實(shí)現(xiàn)之間的一致性程度，是保證網(wǎng)絡(luò)協(xié)議通信質(zhì)量的重要手段。由于測(cè)試序列生成和測(cè)試執(zhí)行的網(wǎng)絡(luò)拓?fù)鋱?chǎng)景的不一致，傳統(tǒng)一致性測(cè)試方法應(yīng)用于MANET網(wǎng)絡(luò)將導(dǎo)致測(cè)試序列不可執(zhí)行的問題。
　　基于此，本文首先引入演化圖(evolving graph，EG)理

2、論擴(kuò)展FSM形式化模型，增強(qiáng)其描述動(dòng)態(tài)可預(yù)測(cè)網(wǎng)絡(luò)拓?fù)涞哪芰?，提出了適用于MANET協(xié)議測(cè)試的演化狀態(tài)機(jī)模型(Evolving Graph Finite State Machine，EGFSM)。然后，基于EGFSM模型，提出了一種協(xié)議測(cè)試序列生成算法。最后，針對(duì)MANET網(wǎng)絡(luò)協(xié)議中的AODV和OLSR協(xié)議進(jìn)行了測(cè)試實(shí)驗(yàn)，驗(yàn)證了所提出方法的有效性。新方法可以在動(dòng)態(tài)網(wǎng)絡(luò)拓?fù)錀l件下對(duì)被測(cè)協(xié)議進(jìn)行形式化描述并生成可執(zhí)行的測(cè)試序列。
　　本