共查询到18条相似文献,搜索用时 218 毫秒
1.
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.
8.
IPv6邻居发现协议的一致性测试 总被引:1,自引:2,他引:1
Neighbor Discovery(邻居发现,ND)协议是下一代互联网协议IPv6协议中的一个重要组成部分。本文简要介绍了邻居发现协议,提出了一种基于有限状态机和消息序列图相结合的协议一致性测试的形式化方法,实现了邻居发现协议一致性测试集的形式化,给论出了用测试例描述语言TTCN描述的测试例的实现,并对Windows2000下的IPv6邻居发现协议进行了一致性测试,给出了测试报告。 相似文献
9.
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.
Han Jiangtao 《数字社区&智能家居》2008,(Z1)
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.
WANG ZhiLiang YIN Xia & JING ChuanMing Network Research Center Tsinghua University Beijing China 《中国科学F辑(英文版)》2008,51(11):1723-1744
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的网络应用程序会有很大的帮助。 相似文献