隨著計(jì)算機(jī)網(wǎng)絡(luò)技術(shù)的快速發(fā)展和廣泛應(yīng)用,對(duì)數(shù)據(jù)的傳輸要求越來越高。L2TPv3協(xié)議作為第二層VPN中基于IP的解決方案,為多種第二層協(xié)議提供了偽線路仿真,從而實(shí)現(xiàn)數(shù)據(jù)傳輸需求。它使得VPN的應(yīng)用更加簡(jiǎn)單,幾乎不要求對(duì)現(xiàn)有的基于IP的網(wǎng)絡(luò)進(jìn)行改變,所以應(yīng)用前景好,管理方便。 協(xié)議是通信各方能夠順利進(jìn)行信息交換的保障,是通信各方需要遵守的規(guī)則和約定。一致性測(cè)試用于檢查協(xié)議實(shí)現(xiàn)是否與標(biāo)準(zhǔn)規(guī)范一致,可以有效地檢測(cè)協(xié)議實(shí)現(xiàn)質(zhì)量。目前對(duì)L2TPv3的一致性測(cè)試研究還沒有,CPN適合于描述具有并發(fā)和通信的系統(tǒng),使用CPN及其工具對(duì)L2TPv3協(xié)議進(jìn)行一致性測(cè)試是可行且有效的。 本文主要的工作如下： 第一,分析了L2TPv3協(xié)議的說明文檔RFC3931,將協(xié)議分為綜述層和功能層兩個(gè)層次,以及控制信道傳輸和數(shù)據(jù)信道傳輸兩個(gè)傳輸,其中控制信道傳輸又分為控制連接和會(huì)話連接。 第二,使用CPN及其仿真工具CPN Tools對(duì)L2TPv3協(xié)議進(jìn)行了層次化建模。根據(jù)CPN模型自動(dòng)生成的狀態(tài)空間,編寫測(cè)試序列生成工具,并使用庫(kù)所狀態(tài)變化對(duì)比,根據(jù)CPN模型得到可執(zhí)行測(cè)試序列。 ... 

【文章頁(yè)數(shù)】：66 頁(yè)

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

【文章目錄】：
摘要
ABSTRACT
目錄
圖表目錄
第一章 引言
    1.1 研究背景
    1.2 研究?jī)?nèi)容和主要工作
    1.3 論文結(jié)構(gòu)
第二章 背景知識(shí)
    2.1 協(xié)議一致性測(cè)試?yán)碚摵?jiǎn)介
    2.2 CPN簡(jiǎn)介
        2.2.1 形式化描述技術(shù)
        2.2.2 CPN簡(jiǎn)介
        2.2.3 CPN Tools簡(jiǎn)介
    2.3 本章小結(jié)
第三章 L2TPv3協(xié)議概述及分析
    3.1 VPN及隧道簡(jiǎn)介
    3.2 L2TPv3協(xié)議概述
        3.2.1 L2TPv3協(xié)議簡(jiǎn)介
        3.2.2 相關(guān)術(shù)語(yǔ)
        3.2.3 L2TPv3協(xié)議拓?fù)浣Y(jié)構(gòu)
        3.2.4 L2TPv3的數(shù)據(jù)封裝
        3.2.5 L2TPv3控制信道運(yùn)作機(jī)制
    3.3 本章小結(jié)
第四章 L2TPv3的形式化建模與測(cè)試生成
    4.1 L2TPv3協(xié)議的CPN層次化模型框架
    4.2 CPN層次化模型
        4.2.1 CPN模型Color set
        4.2.2 TOP層模型
        4.2.3 控制連接模型
        4.2.4 會(huì)話連接(Incoming Call)模型
        4.2.5 會(huì)話連接(Outgoing Call)模型
        4.2.6 數(shù)據(jù)傳輸(Data Forward)模型
        4.2.7 L2TPv3建模說明
    4.3 模型狀態(tài)空間
    4.4 L2TPv3協(xié)議測(cè)試序列生成
    4.5 本章小結(jié)
第五章 L2TPv3一致性測(cè)試執(zhí)行
    5.1 實(shí)驗(yàn)設(shè)備和工具簡(jiǎn)介
    5.2 測(cè)試網(wǎng)絡(luò)拓?fù)浣M建
        5.2.1 L2TPv3網(wǎng)絡(luò)拓?fù)?br>        5.2.2 L2TPv3網(wǎng)絡(luò)協(xié)議預(yù)配置
        5.2.3 L2TPv3測(cè)試執(zhí)行
    5.3 L2TPv3一致性測(cè)試結(jié)果
    5.4 本章小結(jié)
第六章 工作總結(jié)和展望
    6.1 總結(jié)
    6.2 對(duì)未來研究方向的展望
參考文獻(xiàn)
附錄1 可執(zhí)行測(cè)試序列參照?qǐng)D
致謝



本文編號(hào)：3701753