IPv6协议一致性测试系统

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

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

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

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

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

IPv6协议一致性测试系统的研究与实现

通过分析IPv6协议测试需求,提出了一种适合IPv6的测试描述法,实现了测试数据描述、复杂计算、测试传输等方法,可以在一台物理测试器上支持多测试组件并发测试,采用静态描述和动态调整相结合的方式实现测试数据描述、测试描述法和测试系统互动的方式实现计算功能,网络接口和通信实体相结合的方式实现测试传输.并通过测试实践验证了这种测试框架的有效性.     

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

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

IPv6中IPSec协议一致性测试

IPV6协议是下一代互联网协议，IPSec（安全IP）协议是IPv6协议的一个重要组成部分，用于保障IP数据报的安全。对IPSec协议的一致性测试是保证不同厂商产品之间互联与互操作的基础，基于ISO协议一致性测试标准，开发了IPV6协议一致性测试系统，文章给出了该系统的测试方法与测试结构，通过一个测试实例介绍了测试集的形式化，并对一种Unix实现上的测试结果进行了分析。     

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

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

在IPv6环境中VPN测试的关键技术

利用IPSec VPN技术,企业能够将Internet作为其通信网络基础的骨干,实现全球通达,并大大节约成本,同时保持内部通信的安全。IPv6协议是下一代互联网协议,IPSec协议是IPv6协议的一个重要组成部分。对IPSec协议的一致性测试是保证不同厂商之间互联与互操作的基础。本文详细介绍了用Ixia厂商设备测试IPSec协议一致性的测试方法,并给出了VPN产品穿透性测试的测试用例。     

基于TTCN的IPv6协议测试

基于标准的协议测试描述语言TTCN，设计了一种针对于IPv6协议簇的软件接口，搭建了具体的网络测试环境，能够在谊测试环境中进行IPv6协议的一致性测试。最后，作为例子，对WIN2000的ICMPv6协议实现进行了测试。     

JHX-3F系列继电器测试系统的软件设计

介绍了继电器测试系统所涉及的相关概念和软件的实现方法,并主要分析了系统软硬件的构成和主要测试指标的软件实现算法.     

SQL标准符合性测试相关问题探讨

介绍了SQL标准及其符合性测试的现状,通过分析美国国家标准与技术研究所SQL测试集的局限性,对基于该测试集的SQL标准符合性测试的实施提出了若干建议.     

协议一致性抽象测试集的设计研究

协议一致性测试是验证计算机网络协议实现与其国际标准相一致的重要技术。在一致性测试中，抽象测试集的地位十分重要。对不同协议标准化抽象测试集的研究导致了一致性测试的国际标准，是近几年国际上研究的热门话题。本文首先介绍了协议一致性抽象测试集的基本概念的结构，然后阐述抽象测试认样生的一般过程，最后对我们正在研究的３Ｘ协议一致性测试集的设计进行介绍。     

咱由协议一致性测试的系统设计

目前对通信协议进行一致性测试的方法和实现比较完善,而在对咱由协议进行一致性测试方面的系统经验还比较少,本文基于实践工作的内容,提出了一种路由协议一致性测试系统的设计方法,并且讨论了实现过程中的一些问题。     

一种高效的网络协议一致性测试生成方法

本文基于ＵＩＯ序列提出一种新的协议一致性测试生成方法－叠加回路方法，可以证明，这种方法在保证测试序列错误覆盖勇和的同时不仅降低了叠加转换序列的计算复杂性而且还大大缩短了测试序列的长度。     

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.     

IPv6/IPv4协议转换机制

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