基于CPN的L2TPv3协议一致性测试的研究

发布时间：2022-11-05 02:30

　　随着计算机网络技术的快速发展和广泛应用,对数据的传输要求越来越高。L2TPv3协议作为第二层VPN中基于IP的解决方案,为多种第二层协议提供了伪线路仿真,从而实现数据传输需求。它使得VPN的应用更加简单,几乎不要求对现有的基于IP的网络进行改变,所以应用前景好,管理方便。 协议是通信各方能够顺利进行信息交换的保障,是通信各方需要遵守的规则和约定。一致性测试用于检查协议实现是否与标准规范一致,可以有效地检测协议实现质量。目前对L2TPv3的一致性测试研究还没有,CPN适合于描述具有并发和通信的系统,使用CPN及其工具对L2TPv3协议进行一致性测试是可行且有效的。 本文主要的工作如下： 第一,分析了L2TPv3协议的说明文档RFC3931,将协议分为综述层和功能层两个层次,以及控制信道传输和数据信道传输两个传输,其中控制信道传输又分为控制连接和会话连接。 第二,使用CPN及其仿真工具CPN Tools对L2TPv3协议进行了层次化建模。根据CPN模型自动生成的状态空间,编写测试序列生成工具,并使用库所状态变化对比,根据CPN模型得到可执行测试序列。 ... 

【文章页数】：66 页

【学位级别】：硕士

【文章目录】：
摘要
ABSTRACT
目录
图表目录
第一章 引言
    1.1 研究背景
    1.2 研究内容和主要工作
    1.3 论文结构
第二章 背景知识
    2.1 协议一致性测试理论简介
    2.2 CPN简介
        2.2.1 形式化描述技术
        2.2.2 CPN简介
        2.2.3 CPN Tools简介
    2.3 本章小结
第三章 L2TPv3协议概述及分析
    3.1 VPN及隧道简介
    3.2 L2TPv3协议概述
        3.2.1 L2TPv3协议简介
        3.2.2 相关术语
        3.2.3 L2TPv3协议拓扑结构
        3.2.4 L2TPv3的数据封装
        3.2.5 L2TPv3控制信道运作机制
    3.3 本章小结
第四章 L2TPv3的形式化建模与测试生成
    4.1 L2TPv3协议的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 数据传输(Data Forward)模型
        4.2.7 L2TPv3建模说明
    4.3 模型状态空间
    4.4 L2TPv3协议测试序列生成
    4.5 本章小结
第五章 L2TPv3一致性测试执行
    5.1 实验设备和工具简介
    5.2 测试网络拓扑组建
        5.2.1 L2TPv3网络拓扑
        5.2.2 L2TPv3网络协议预配置
        5.2.3 L2TPv3测试执行
    5.3 L2TPv3一致性测试结果
    5.4 本章小结
第六章 工作总结和展望
    6.1 总结
    6.2 对未来研究方向的展望
参考文献
附录1 可执行测试序列参照图
致谢



本文编号：3701753