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

来源 :内蒙古大学 | 被引量 : 2次 | 上传用户:laotzu123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着计算机网络技术的快速发展和广泛应用,对数据的传输要求越来越高。L2TPv3协议作为第二层VPN中基于IP的解决方案,为多种第二层协议提供了伪线路仿真,从而实现数据传输需求。它使得VPN的应用更加简单,几乎不要求对现有的基于IP的网络进行改变,所以应用前景好,管理方便。协议是通信各方能够顺利进行信息交换的保障,是通信各方需要遵守的规则和约定。一致性测试用于检查协议实现是否与标准规范一致,可以有效地检测协议实现质量。目前对L2TPv3的一致性测试研究还没有,CPN适合于描述具有并发和通信的系统,使用CPN及其工具对L2TPv3协议进行一致性测试是可行且有效的。本文主要的工作如下:第一,分析了L2TPv3协议的说明文档RFC3931,将协议分为综述层和功能层两个层次,以及控制信道传输和数据信道传输两个传输,其中控制信道传输又分为控制连接和会话连接。第二,使用CPN及其仿真工具CPN Tools对L2TPv3协议进行了层次化建模。根据CPN模型自动生成的状态空间,编写测试序列生成工具,并使用库所状态变化对比,根据CPN模型得到可执行测试序列。第三,使用Cisco7200、 Cisco3600和路由模拟软件GNS3等工具搭建测试环境,利用得到的可执行测试序列对L2TPv3协议进行一致性测试,并对实验结果进行了分析。
其他文献
二十一世纪,计算机产业的发展是信息化过程中不可或缺的部分。随着软件产业的不断发展和进步,软件的需求越来越复杂,规模也越来越庞大。为满足软件功能、性能等要求,软件质量已成
随着计算机和网络在人们的工作,学习和生活中占据着越来越重要的位置,慢慢趋向于一个不可替代的地位。在这种时代大背景下,数字签名算法在现代密码系统中发挥着核心的作用。顾名
卫星遥感观测对环境的治理和规划有着重要的意义,与地基观测相比卫星遥感观测具有覆盖面积广、观测时间连续、可持续动态观测等优势。卫星遥感可以分为极轨卫星遥感和静止卫星遥感,极轨卫星以天为重访周期限制了的时间分辨率,无法进行实时观测,而静止卫星则有较高时间分辨率,特别是随着新一代静止卫星的升空,进一步提高了静止卫星的观测能力。本文使用的新一代静止卫星Himawari8与传统静止卫星相比有更多的光谱通道,
协作分集技术是近来无线通信系统中被广泛关注的技术。网络编码理论作为信息领域中的重要突破,成为无线网络中的新兴研究方向。鉴于协作分集技术与网络编码技术存在共同的通信
克隆代码是指软件中相同或相似的源代码段,其在软件开发与维护中具有重要的影响。近十年来,克隆代码的检测已成为软件维护中的一项重要研究内容。学者们也相继提出了许多克隆检
自从90年代末以来,基于组件的软件工程是一个非常热门的研究领域。但是,目前它们大部分都是面向企业信息管理系统的,并且集中于解决诸如分布式、安全性和基于事务的商业逻辑
体育比赛作为一种深受人们喜爱的娱乐形式,不断吸引着越来越多的人群。随着多媒体技术和互联网技术的发展,人们对观看体育比赛视频的要求也越来越高,视频语义内容分析成为当前研
普通线阵图像传感器只有一维感光像素阵列,以推扫的方式获得二维图像,其性能受光照和运动速度限制。而TDI (Time Delay and Integration,时间延迟积分)图像传感器是一种特殊
随着社会的发展和科学技术的提高,安全有效的身份验证与识别成为社会各个方面的迫切需求。人脸识别技术就是根据人脸图像通过计算机完成身份识别的一种技术。目前,大多数关于人
图像分割是构成图像分析的关键部分,其目标是将目标图像分割为两个或者多个具有相同特征的子区域,进而对子区域内的目标进行识别和提取。作为图像分析中热门的研究点,同时作为目