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

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

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

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



本文編號：3701753