首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到18条相似文献,搜索用时 218 毫秒
1.
文中给出了协议一致性测试的测试例的基本框架结构和测试例设计的一般步骤,针对IPv6协议的特点提出了IPv6协议一致性测试的测试例设计方案,应用这个方案设计了PMTU发现协议一致性测试的测试试例,对几种不同的IPv6协议实现进行了测试,并给出了测试结果。  相似文献   

2.
领导发现协议的形式化测试   总被引:1,自引:1,他引:0  
Neighbor Discovery(领导发现,ND)协议是下一代互联网协议IPv6协议的一个重要组成部分,随IPv6在我国的推广应用,各种设备蜂拥而来,由于各协议实现厂家对协议的不同理解,通信设备的协议非一致性问题将日趋严重,来了检查各个不同生产厂家的实现是否与标准文本相一致,进而确保不同厂家的IPv6实现之间能够互操作,提出了一种协议一致性测试的方法,并开发了IPv6协议实现一致性测试系统,给出了该测试系统的结构,并利用自定义的一种形式化描述语言,实现了邻居发现协议一致性测试集的形式化,并通过对Solaris8上的IPv6协议实现进行测试,给出测试报告和结果分析。  相似文献   

3.
IPv6协议一致性测试系统   总被引:1,自引:1,他引:1  
随着IPv6协议在我国的推广应用,各种相关设备蜂拥而来,由于各协议实现厂家对协议的不同理解,使得通信设备的协议非一致性问题日趋严重,为检查各个不同生产厂家的IPv6实现是否与标准文本相一致,进而确保不同厂家的IPv6实现之间能够互操作,开发一种IPv6协议一致性测试系统,并利用自定义的一种形式化描述语言,实现IPv6相关协议一致性测试集的形式化,文中给出该测试的结构,通过一个测试例介绍测试集的形式化和测试实现过程,使用该测试系统对多种IPv6协议实现进行测试,发现许不一致问题,为协议实现厂家提供了修改意见,作为例子,给出一种UnixIPv6邻居发现协议实现的测试结果分析。  相似文献   

4.
IPv6协议测试系统研究和实现   总被引:6,自引:2,他引:6  
IPv6必将成为下一代Internet网络的主导协议,如何测试各个厂商的IPv6实现是一个关键的问题,本文关注于IPv6协议的一致性测试,提出了一种分布式虚拟测试法,采用该方法我们实现了一个测试系统,并进行了实际测试,给出了一些测试结果和分析.  相似文献   

5.
邻居发现协议的形式化测试   总被引:5,自引:0,他引:5  
Neighbor Discovery(邻居发现 ,ND)协议是下一代互联网协议 IPv6协议中的一个重要组成部分 .随 IPv6在我国的推广应用 ,各种设备蜂拥而来 ,由于各协议实现厂家对协议的不同理解 ,通信设备的协议非一致性问题将日趋严重 ,为了检查各个不同生产厂家的实现是否与标准文本相一致 ,进而确保不同厂家的 IPv6实现之间能够互操作 ,提出了一种协议一致性测试的方法 ,并开发了 IPv6协议实现一致性测试系统 .给出了该测试系统的结构 ,并利用自定义的一种形式化描述语言 ,实现了邻居发现协议一致性测试集的形式化 .并通过对 Solaris8上的 IPv6协议实现进行测试 ,给出测试报告和结果分析 .  相似文献   

6.
移动IPv6协议的测试研究   总被引:4,自引:0,他引:4  
移动IPv6作为IPv6协议族中非常重要的一个协议,对它的一致性测试和互操作性测试将有助于协议的完善,发现协议实现中存在的错误,保证不同厂商产品之间的正确协作,本文分析了移动IPv6协议的测试方法和技术,提出IPv6协议一致性测试系统的参考实现扩展方案,使之适用于移动IPv6协议的一致性测试和互操作性测试,既增强了测试能力,又提高了测试过程可配置和自动化程度,并在此基础上进行了测试实践,最后提出了未来的研究方向.  相似文献   

7.
Mobile IPv6 Home Agent协议一致性测试集的设计与实现   总被引:1,自引:1,他引:1  
描述了Mobile IPv6 HA协议一致性测试集设计与实现过程,说明该测试系统的测试方法和测试结构。通过测试实例介绍了测试集的形式化,并对一基于Linux平台的HA实现的测试结果进行了分析。  相似文献   

8.
IPv6邻居发现协议的一致性测试   总被引:1,自引:2,他引:1  
Neighbor Discovery(邻居发现,ND)协议是下一代互联网协议IPv6协议中的一个重要组成部分。本文简要介绍了邻居发现协议,提出了一种基于有限状态机和消息序列图相结合的协议一致性测试的形式化方法,实现了邻居发现协议一致性测试集的形式化,给论出了用测试例描述语言TTCN描述的测试例的实现,并对Windows2000下的IPv6邻居发现协议进行了一致性测试,给出了测试报告。  相似文献   

9.
IPv6中IPSec协议一致性测试   总被引:2,自引:0,他引:2  
于东  郑红霞  张玉军  田军  李忠诚 《计算机工程》2003,29(2):166-168,191
IPV6协议是下一代互联网协议,IPSec(安全IP)协议是IPv6协议的一个重要组成部分,用于保障IP数据报的安全。对IPSec协议的一致性测试是保证不同厂商产品之间互联与互操作的基础,基于ISO协议一致性测试标准,开发了IPV6协议一致性测试系统,文章给出了该系统的测试方法与测试结构,通过一个测试实例介绍了测试集的形式化,并对一种Unix实现上的测试结果进行了分析。  相似文献   

10.
本文分析了从IPv4到IPv6过渡的三种常用机制:双协议栈技术、隧道技术和NAT-PT(网络地址-协议转换)技术,建立一个小型、简易的实验室,具体给出了NAT-PT的实现技术方法和步骤,最后通过NAT-PT网关的地址和协议转换功能成功将IPv6和IPv4数据包相互转换。  相似文献   

11.
IPv6中Neighbor Discovery协议及其测试   总被引:1,自引:0,他引:1  
IPv6协议是下一代互联网协议,NeighborDiscovery(邻居发现)协议是IPv6协议的一个重要组成部分,RFC2461是邻居发现协议的标准文本。为了检查各个生产厂家的实现是否与标准文本相一致,文章提出了一种协议一致性测试的方法,并开发了一个进行IPv6一致性测试的系统。该文提出了逻辑测试结构和虚拟测试器的概念,并在这个测试系统中应用了这两种测试结构和概念,还给出了一个邻居发现协议的测试实例。最后,给出了笔者对一种UNIX系统上实现的邻居发现协议进行一致性测试得到的结果,并对其与标准文本不一致的部分进行了分析说明。  相似文献   

12.
IPv6作为Internet协议下一版本必将取代IPv4,但是两者共存局面还要持续时间较长。在此过渡期间,由于IPv6引入新特性也带来安全上的新风险和威胁。本文分析探讨了IPv4向IPv6过渡机制并对IPv6过渡机制的安全问题进行了深入研究,提出一种针对双栈转换机制过渡方案的安全策略  相似文献   

13.
IPv6 因其巨大的地址空间和内嵌的安全机制,已经开始逐步取代 IPv4 成为下一代互联网的标准网络协议。本文首先简要介绍了 IPv6 相比 IPv4 具有的优势,IPv6 自身的安全机制以及 IPv4 向 IPv6 过渡的主要技术。其次重点探讨了 IPv6 网络中存在的安全隐患以及相应的安全对策,主要针对协议过渡技术,IPv6 协议自身,移动 IPv6 存在的隐患,以及 IPv6 对现有安全体系的挑战进行了分析,并提出了相应的安全建议。最后对 IPv6 的应用前景进行了总结和展望。  相似文献   

14.
IPv4与IPv6的互操作研究及网络实验   总被引:7,自引:0,他引:7  
代长城 《计算机工程与应用》2004,40(27):135-137,218
IPv6是针对当前IPv4的地址空间不足和服务质量的缺陷而设计的一种新的网络协议类型。但是,现在IPv4的应用仍然占主导地位。在IPv6的网络流行于全球之前,总是有一些网络首先使用IPv6协议并希望能够与当前的Internet正常通信。为达到这一目的,必须开发出IPv4/IPv6互通技术以保证IPv4能够平稳过渡到IPv6,论文先从应用层的角度讨论了IPv4/IPv6的服务器与客户端的通信机制,然后利用模块编程技术打造一个具有路由公告和包转发功能的服务器,通过隧道技术使IPv6主机通过IPv4路由器进行通信。  相似文献   

15.
鉴于SDN网络中数据转发与控制相互分离的特性,OpenFlow协议在其南向接口中扮演着重要的角色。随着下一代互联网的发展,IPv4可供分配的地址资源已然耗尽,瓶颈地位益发凸显。如何尽快部署IPv6,使其服务于社会生产与生活,使得当前网络与IPv6网络长期共存或平滑过渡到IPv6网络是工业界与学术界要解决的问题。SDN则提供了这样一个选项,其中OpenFlow协议是否支持IPv6协议便成为我们关注的重点。通过形式化方法对OpenFlow协议进行形式化建模,得到其非确定性有限状态机模型,在此基础上得到其测试生成树,以指导测试。同时,对于其是否支持IPv6进行重点关注,利用组合测试的方法,产生了167条测试例。 完成了测试引擎的开发,支持高效的测试生成算法,以及测试执行与判定。利用此测试引擎,以上述测试例为测试输入,执行测试过程,同时进一步对测试结果进行分析,得到了定量的分析结果,符合预期要求。  相似文献   

16.
Interoperability testing is an important technique to ensure the quality of implementations of network communication protocol. In the next generation Internet protocol, real-time applications should be supported effectively. However, time constraints were not considered in the related studies of protocol interoperability testing, so existing interoperability testing methods are difficult to be applied in real-time protocol interoperability testing. In this paper, a formal method to real-time protocol interoperability testing is proposed. Firstly, a formal model CMpTIOA (communicating multi-port timed input output automata) is defined to specify the system under test (SUT) in real-time protocol interoperability testing; based on this model, timed interoperability relation is then defined. In order to check this relation, a test generation method is presented to generate a parameterized test behavior tree from SUT model; a mechanism of executability pre-determination is also integrated in the test generation method to alleviate state space explosion problem to some extent. The proposed theory and method are then applied in interoperability testing of IPv6 neighbor discovery protocol to show the feasibility of this method.  相似文献   

17.
IPv6下Socket网络编程的研究与实现   总被引:3,自引:0,他引:3  
随着Internet的飞速发展,IETF组织提出了IPv6协议。IPv6是为适应未来对于网络基础设施的数量和质量的需求而设计的下一代互联网协议,IPv6必然会取代IPv4,开发支持IPv6的网络应用程序已经迫在眉睫。介绍了套接字(Socket)的基本概念I、Pv6的Socket API函数和Socket通信原理,并以面向连接的Socket通信协议(TCP)为例,给出了在IPv6协议下开发客户/服务器应用程序的方法,从而为IPv4的网络逐渐向IPv6网络过渡打下良好的基础,对开发基于IPv6的网络应用程序会有很大的帮助。  相似文献   

18.
IPv6的新特点和应用对现有的安全设备结构提出了挑战。同时,从IPv4升级到IPv6是一个长期的过程,两种协议在一定时间内将共同存在。因此,需要设计支持IPv4/IPv6双协议的防火墙以适应过渡时期的需要。本文分析了IPv4到IPv6的过渡策略,并设计与实现了支持IPv6/IPv4协议的防火墙系统。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号