• 摘要4-5
• Abstract5-9
• 第一章 緒論9-14
• 1.1 研究背景及意義9-10
• 1.2 國內(nèi)外研究現(xiàn)狀10-11
• 1.3 論文主要研究內(nèi)容11-12
• 1.4 論文組織結(jié)構(gòu)12-14
• 第二章 協(xié)議測(cè)試及其關(guān)鍵技術(shù)14-22
• 2.1 協(xié)議一致性測(cè)試14-18
• 2.1.1 協(xié)議一致性測(cè)試的原理14
• 2.1.2 協(xié)議一致性測(cè)試的流程14-15
• 2.1.3 協(xié)議一致性測(cè)試方法15-18
• 2.2 基于狀態(tài)機(jī)模型的協(xié)議一致性測(cè)試18-19
• 2.3 演化圖理論19-20
• 2.4 測(cè)試序列不可執(zhí)行問題20-21
• 2.5 本章小結(jié)21-22
• 第三章 基于演化圖的協(xié)議測(cè)試建模方法22-32
• 3.1 FSM模型的定義22
• 3.2 MANET協(xié)議的FSM模型22-25
• 3.2.1 連續(xù)時(shí)間間隔的網(wǎng)絡(luò)拓?fù)?/span>23-24
• 3.2.2 基于FSM模型的協(xié)議描述24-25
• 3.3 建立模型相關(guān)工作25-29
• 3.3.1 模型的相關(guān)定義25-26
• 3.3.2 演化圖理論應(yīng)用26-27
• 3.3.3 基于EG理論的FSM模型擴(kuò)展27-28
• 3.3.4 輸入集合和狀態(tài)集合28-29
• 3.4 模型建立29-31
• 3.4.1 EGFSM模型29-30
• 3.4.2 基于EGFSM模型的消息序列圖30-31
• 3.5 本章小結(jié)31-32
• 第四章 基于EGFSM模型的測(cè)試序列生成32-41
• 4.1 相關(guān)定義32-33
• 4.2 算法描述與分析33-36
• 4.3 自循環(huán)變遷的處理36-37
• 4.4 實(shí)驗(yàn)驗(yàn)證37-40
• 4.4.1 EGFSM模型中變遷的分類37
• 4.4.2 實(shí)驗(yàn)設(shè)計(jì)37-38
• 4.4.3 實(shí)驗(yàn)結(jié)果38
• 4.4.4 結(jié)果分析38-40
• 4.5 本章小結(jié)40-41
• 第五章 實(shí)驗(yàn)驗(yàn)證和討論41-48
• 5.1 OLSR路由協(xié)議簡介41
• 5.2 OLSR EFSM模型41-45
• 5.2.1 基于EG理論對(duì)OLSR路由協(xié)議的描述41-44
• 5.2.2 模型的變遷分類44-45
• 5.3 OLSR協(xié)議實(shí)驗(yàn)驗(yàn)證45-47
• 5.3.1 實(shí)驗(yàn)設(shè)計(jì)45-46
• 5.3.2 實(shí)驗(yàn)結(jié)果46
• 5.3.3 結(jié)果分析46-47
• 5.4 本章小結(jié)47-48
• 第六章 總結(jié)和展望48-50
• 6.1 總結(jié)48
• 6.2 展望48-50
• 參考文獻(xiàn)50-55
• 攻讀碩士期間的研究成果55-56
• 致謝56

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 何立陽;蔣國華;何軍;;移動(dòng)自組織網(wǎng)絡(luò)的研究應(yīng)用[J];網(wǎng)絡(luò)安全技術(shù)與應(yīng)用;2009年09期

2 代東序;程體武;林曉莉;;移動(dòng)自組織網(wǎng)絡(luò)訪問控制初步探討[J];價(jià)值工程;2011年17期

3 馮振元;王千;李春紅;;移動(dòng)自組織網(wǎng)絡(luò)層次安全通信機(jī)制研究[J];無線互聯(lián)科技;2012年04期

4 劉萍;劉青;;借助于移動(dòng)自組織網(wǎng)絡(luò)構(gòu)建移動(dòng)學(xué)習(xí)空間[J];新鄉(xiāng)學(xué)院學(xué)報(bào)(自然科學(xué)版);2013年03期

5 王維甲;;關(guān)于移動(dòng)自組織網(wǎng)絡(luò)淺析[J];計(jì)算機(jī)光盤軟件與應(yīng)用;2013年21期

6 張?jiān)品?鄭家玲,孫荷琨;移動(dòng)自組織網(wǎng)絡(luò)的研究[J];電信快報(bào);2002年12期

7 李彥平,李少宏;移動(dòng)自組織網(wǎng)絡(luò)的體系桔構(gòu)及其在現(xiàn)代通信中的應(yīng)用[J];榆林學(xué)院學(xué)報(bào);2003年03期

8 張麗,余鎮(zhèn)危,張楊;移動(dòng)自組織網(wǎng)絡(luò)應(yīng)用層組播研究[J];微計(jì)算機(jī)信息;2005年17期

9 張長倫;劉云;何德全;;一種改進(jìn)的大規(guī)模移動(dòng)自組織網(wǎng)絡(luò)公鑰管理方案[J];北京交通大學(xué)學(xué)報(bào);2007年05期

10 胡萍;安捷;;移動(dòng)自組織網(wǎng)絡(luò)安全性研究與思考[J];中國海洋大學(xué)學(xué)報(bào)(自然科學(xué)版);2008年S1期

中國重要會(huì)議論文全文數(shù)據(jù)庫 前5條

1 羅培紅;趙澤茂;楊飛;;移動(dòng)自組織網(wǎng)絡(luò)網(wǎng)絡(luò)層的拒絕服務(wù)攻擊[A];浙江省電子學(xué)會(huì)2012學(xué)術(shù)年會(huì)論文集[C];2012年

2 徐揚(yáng);盛敏;劉佳;;移動(dòng)自組織網(wǎng)絡(luò)兩跳中繼算法下的時(shí)延性能[A];2013年全國通信軟件學(xué)術(shù)會(huì)議論文集[C];2013年

3 閆善峰;;移動(dòng)自組織網(wǎng)絡(luò)MAC協(xié)議的分析和研究[A];2008年中國通信學(xué)會(huì)無線及移動(dòng)通信委員會(huì)學(xué)術(shù)年會(huì)論文集[C];2008年

4 薛斌;蔡紅柳;莫代會(huì);;DSR協(xié)議中各種優(yōu)化機(jī)制分析[A];2006北京地區(qū)高校研究生學(xué)術(shù)交流會(huì)——通信與信息技術(shù)會(huì)議論文集（上）[C];2006年

5 劉e

本文編號(hào)：361590