IPv6协议一致性测试例的设计

文中给出了协议一致性测试的测试例的基本框架结构和测试例设计的一般步骤，针对IPv6协议的特点提出了IPv6协议一致性测试的测试例设计方案，应用这个方案设计了PMTU发现协议一致性测试的测试试例，对几种不同的IPv6协议实现进行了测试，并给出了测试结果。     

IPv6协议一致性测试系统

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

Mobile IPv6协议一致性测试集设计与实现

协议测试是用来保证协议实现的正确性和有效性的重要手段.协议一致性测试关注被测协议实现与协议文本要求的一致性,是协议测试的基础.文中阐述了对移动IPv6协议一致性测试的思想及方法,并使用形式化的测试例描述语言说明了测试例的设计过程,最后给出了在一种UNIX实现下的测试结果及分析.     

IPv6中Neighbor Discovery协议及其测试

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

IPv6邻居发现协议的一致性测试

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

Bluetooth协议栈一致性测试

Bluetooth协议栈实现的一致性测试是保证不同厂商产品之间互连与互操作的基础。文章基于OSI协议一致性测试标准进行了Bluetooth协议一致性测试研究和实际测试,并以L2CAP层协议为例介绍了一致性测试的方法、结构、测试集的设计生成与完备性分析。     

基于SoT的BGP4+协议一致性测试系统设计

底层网络协议由IPv4向IPv6的过渡,导致原先运行于IPv4上的应用层协议也需要做适当的修改或补充,BGP4+协议就是为了适应这种变化而由原来的基于IPv4的BGP4协议修改而成。针对修改后的协议,需要设计新的BGP4+协议一致性测试系统。本文首先介绍了BGP4协议的特点和一致性测试的概念,提出了对测试集形式化描述的改进,并在此基础上详细阐述了BGP4+协议一致性系统的架构和设计方法。     

Mobile IPv6 Home Agent协议一致性测试集的设计与实现

描述了Mobile IPv6 HA协议一致性测试集设计与实现过程,说明该测试系统的测试方法和测试结构。通过测试实例介绍了测试集的形式化,并对一基于Linux平台的HA实现的测试结果进行了分析。     

IPv6中IS-ISv6协议的一致性测试系统设计与实现

根据协议一致性测试的特点和要求,针对IS-IS协议的特点,介绍了一种IS-ISv6协议一致性测试系统的设计方法.该方法使用带有控制通道的多个虚拟测试器环境,用Tcl语言作为测试例的描述语言,具有很好的测试能力和灵活性.本文在介绍IS-ISv6的基础上,设计并实现了IS-ISv6的协议一致性测试系统,并对一基于FreeBSD平台的IS-ISv6一致性测试实现的结果进行了分析.     

IPv4及IPv6中的IPSec实现

IPSec协议体系是IETF制定的新一代网络安全协议标准,该文深入剖析了IPSec在自由操作系统下的实现方式,针对IPv4协议栈和IPv6协议栈提出了不同的实现方案,并提供这两种方案下的测试环境及其结果。     

基于Kernel 2.6的IPv6安全协议的研究与实现

IPSec是IETF制定的新一代的网络安全协议,是1Pv6协议标准的有机组成部分。简要介绍IPSec协议和Linux的Netfilter机制,详细介绍基于Netfilter机制实现IPSec协议的设计思想和系统设计方案．为开发VPN和安全路由器奠定了安全基础。     

基于TCL的IPv6中BGP一致性测试系统设计

根据协议一致性测试的特点和要求,针对BGP4＋协议的特点,介绍了一种BGP4＋协议一致性测试系统的设计方法。该方法使用带有控制通道的多个虚拟测试器环境,用TCL语言作为测试例的描述语言,具有很好的测试能力和灵活性。在介绍BGP4＋的基础上,设计并实现了该协议一致性测试系统,并对一基于FreeBSD平台的BGP4＋一致性测试实现的结果进行了分析。     

IPv6 Protocol Analyzer

With the emerging of next generation Intemet protocol (IPv6), it is expected to replace the current version of Internet protocol (IPv4) that will be exhausted in the near future. Besides providing adequate address space, some other new features are included into the new 128 bits of IP such as IP auto configuration, quality of service, simple routing capability, security, mobility and multicasting. The current protocol analyzer will not be able to handle IPv6 packets. This paper will focus on developing protocol analyzer that decodes IPv6 packet. IPv6 protocol analyzer is an application module,which is able to decode the IPv6 packet and provide detail breakdown of the construction of the packet. It has to understand the detail construction of the IPv6, and provide a high level abstraction of bits and bytes of the IPv6 packet.Thus it increases network administrators' understanding of a network protocol,helps he/she in solving protocol related problem in a IPv6 network environment.     

基于TTCN的IPv6协议测试

在分析IPv6协议特点及测试需求的基础上,结合树表结合表达法(TTCN)提出了IPv6测试描述法,采用预定义报头和数据包声明表,实现IPv6测试数据描述;采用测试描述法和执行系统互动的方式实现复杂算法、根据测试集结构和数据库应用特点,采用数据库存储测试集,设计了包含30个表的数据库系统,支持测试执行过程中的快速查找和反馈存储能力．设计了客户／服务器结构的测试系统,给出了测试例执行算法,在多种IPv6产品上实践了一致性测试。     

IPv6安全协议IPSec分析

文章对IPv6安全协议IPSec进行了分析，主要包括IPSec的组成及其体系结构，对安全联盟SA的简单介绍．对认证机制、加密机制和密钥管理的详细讨论，其中包括认证头AH、封装载荷协议ESP的头格式以及它们的工作模式、认证算法、加密算法等，另外还指出了IPSec的优缺点和发展趋势。     

IPv6/IPv4协议转换机制

讨论了ＩＰｖ６／ＩＰｖ４协议转换机制及存在的问题,ＩＰｖ４和ＩＰｖ６的转换包括两个过程,地址转换和协议转换。协议转换过程的确依赖所用的地址类型,但是协议转换的核心思想和所涉及的问题不依赖于任何地址转换机制。