隨著計(jì)算機(jī)網(wǎng)絡(luò)的快速發(fā)展,網(wǎng)絡(luò)協(xié)議日趨復(fù)雜和多樣。通常網(wǎng)絡(luò)協(xié)議的規(guī)范都是通過自然語言描述的,但由于自然語言的二義性,協(xié)議的實(shí)現(xiàn)可能不完全符合協(xié)議規(guī)范,所以對協(xié)議一致性測試技術(shù)的研究具有較大的應(yīng)用價(jià)值。協(xié)議一致性測試是用來檢驗(yàn)協(xié)議實(shí)現(xiàn)是否符合協(xié)議規(guī)范,其關(guān)鍵技術(shù)主要有形式化描述、測試序列生成等。其中,生成測試序列的時(shí)空效率以及最終總序列的長度將會(huì)影響整個(gè)一致性測試過程的實(shí)際效率。本論文在對一致性測試技術(shù)深入分析的基礎(chǔ)上,重點(diǎn)研究了基于有限狀態(tài)機(jī)的測試序列生成方法,尤其是基于UIO的測試序列生成方法,對其容易產(chǎn)生的序列長度較長、爆炸問題等情況進(jìn)行了分析與優(yōu)化。’本文首先介紹了一致性測試的基本原理、流程與方法,詳細(xì)闡述了幾種基于FSM的測試序列生成方法,分析對比了各個(gè)方法的優(yōu)缺點(diǎn)。其次，本文介紹了幾種經(jīng)典的基于UIO序列生成的優(yōu)化方法,在已有優(yōu)化算法基礎(chǔ)上提出了UIOv測試序列生成方法的改進(jìn)算法,并給出了相應(yīng)的實(shí)驗(yàn)分析,其結(jié)果表明,該算法能夠在錯(cuò)誤覆蓋率保持不變的情況下有效縮短總測試序列的長度。然后,本文在現(xiàn)有的UIO序列生成方法基礎(chǔ)上提出了一種改進(jìn)的啟發(fā)式測試序列生成算法,給出了算法的相關(guān)... 

【文章來源】：北京郵電大學(xué)北京市 211工程院校 教育部直屬院校

【文章頁數(shù)】：67 頁

【學(xué)位級別】：碩士

【文章目錄】：
摘要
ABSTRACT
目錄
符號說明
第一章 緒論
    1.1 研究背景和研究意義
    1.2 國內(nèi)外研究現(xiàn)狀
    1.3 論文主要工作和貢獻(xiàn)
    1.4 論文的結(jié)構(gòu)安排
第二章 基于FSM的一致性測試方法的研究
    2.1 一致性測試的基本原理
        2.1.1 一致性測試的流程
        2.1.2 一致性測試方法的分類
    2.2 基于FSM的一致性測試方法
        2.2.1 FSM的相關(guān)理論研究
        2.2.2 幾種基于FSM的方法分析
    2.3 基于UIOv的測試序列生成方法改進(jìn)
        2.3.1 傳統(tǒng)優(yōu)化方法的研究與分析
        2.3.2 方法改進(jìn)
    2.4 實(shí)驗(yàn)結(jié)果與分析
    2.5 本章小結(jié)
第三章 基于UIO的啟發(fā)式測試序列生成方法的研究
    3.1 基于UIO的測試序列生成方法研究
        3.1.1 現(xiàn)有方法的研究與分析
            3.1.1.1 基于寬度優(yōu)先搜索的測試序列生成方法研究
            3.1.1.2 基于遺傳算法的測試序列生成方法研究
        3.1.2 啟發(fā)式測試序列生成方法的提出意義
    3.2 基于UIO序列的啟發(fā)式測試序列生成方法
        3.2.1 算法的主要定義
        3.2.2 算法的主要流程
        3.2.3 算法分析
    3.3 實(shí)驗(yàn)結(jié)果與分析
        3.3.1 實(shí)驗(yàn)流程
            3.3.1.1 簡單協(xié)議
            3.3.1.2 復(fù)雜協(xié)議
        3.3.2 實(shí)驗(yàn)總結(jié)
    3.4 本章小結(jié)
第四章 基于FSM的啟發(fā)式測試序列生成方法的應(yīng)用
    4.1 測試序列自動(dòng)生成系統(tǒng)的需求分析與概要設(shè)計(jì)
        4.1.1 需求分析
        4.1.2 平臺體系架構(gòu)
        4.1.3 系統(tǒng)運(yùn)行流程圖
    4.2 測試序列自動(dòng)生成系統(tǒng)的詳細(xì)設(shè)計(jì)
    4.3 測試序列自動(dòng)生成系統(tǒng)的實(shí)例應(yīng)用
        4.3.1 OSPF協(xié)議簡介
        4.3.2 協(xié)議有限狀態(tài)機(jī)的生成
        4.3.3 測試序列的生成
    4.4 本章小結(jié)
第五章 總結(jié)與展望
參考文獻(xiàn)
縮略語
致謝
碩士期間發(fā)表論文


【參考文獻(xiàn)】：
期刊論文
[1]基于改進(jìn)FSM的協(xié)議一致性測試方法[J]. 謝磊,魏蛟龍,朱光喜.  通信學(xué)報(bào). 2011(06)
[2]基于FSM的測試?yán)碚�、方法及評估[J]. 劉攀,繆淮扣,曾紅衛(wèi),劉陽.  計(jì)算機(jī)學(xué)報(bào). 2011(06)
[3]利用構(gòu)造類別代數(shù)的協(xié)議安全測試方法[J]. 陳偉琳,周顥,趙保華.  西安交通大學(xué)學(xué)報(bào). 2008(12)
[4]協(xié)議測試中測試序列生成方法綜述[J]. 袁博,李進(jìn),孫海波,楊盤隆.  軍事通信技術(shù). 2008(01)
[5]一種改進(jìn)的轉(zhuǎn)換可執(zhí)行分析測試序列生成算法[J]. 趙保華,陳波,屈玉貴.  中國科學(xué)技術(shù)大學(xué)學(xué)報(bào). 2007(09)
[6]網(wǎng)絡(luò)協(xié)議測試生成方法綜述[J]. 朱振華,許毅平,周曼麗.  計(jì)算機(jī)工程與應(yīng)用. 2005(15)
[7]基于構(gòu)造類別代數(shù)的數(shù)據(jù)流和控制流相結(jié)合的協(xié)議測試[J]. 郭雄輝,趙保華,周顥,屈玉貴.  北京郵電大學(xué)學(xué)報(bào). 2003(S2)
[8]基于Tcl的路由協(xié)議一致性測試[J]. 余營志,趙保華,屈玉貴.  北京郵電大學(xué)學(xué)報(bào). 2003(S2)
[9]基于Tcl的BGP一致性測試系統(tǒng)設(shè)計(jì)[J]. 張波,趙保華,屈玉貴,張英堂.  計(jì)算機(jī)應(yīng)用. 2003(11)
[10]基于形式化技術(shù)的協(xié)議集成測試系統(tǒng)——PITS[J]. 吳建平,陳修環(huán),郝瑞兵,徐明偉,楊家海,畢軍,尹霞.  清華大學(xué)學(xué)報(bào)(自然科學(xué)版). 1998(S1)

博士論文
[1]EFSM模型協(xié)議一致性測試序列自動(dòng)生成研究[D]. 舒挺.浙江大學(xué) 2010

碩士論文
[1]模型驅(qū)動(dòng)的協(xié)議一致性測試系統(tǒng)的研究與實(shí)現(xiàn)[D]. 汪志賓.中國科學(xué)技術(shù)大學(xué) 2011



本文編號：3042727