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

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

IPv6协议一致性测试系统

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

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

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

移动IPv6协议一致性测试研究与实践

分析了移动IPv6协议的一致性测试需求,提出了基于形式化模型的测试集设计方法,设计了基于通用一致性测试系统的参考实现扩展方案,既增强了测试能力,又提高了测试过程可配置和自动化程度,在此基础上对多种实现进行了测试,对结果进行了分析。     

IPv6中IPSec协议一致性测试

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

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

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

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

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

IPv6协议测试系统研究和实现

IPv6必将成为下一代Internet网络的主导协议，如何测试各个厂商的IPv6实现是一个关键的问题，本文关注于IPv6协议的一致性测试，提出了一种分布式虚拟测试法，采用该方法我们实现了一个测试系统，并进行了实际测试，给出了一些测试结果和分析．     

IPv6中继系统一致性测试系统的设计

通过对IPv6协议中继系统一致性测试目的和方法的深入分析,设计了基于PITS的IPv6中继系统一致性测试系统,介绍了该测试系统的测试方法与结构,通过一个测试实例给出了一致性测试的实现过程,并对测试结果进行了分析.     

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

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

NEMO协议一致性测试集的设计与实现

基于网络移动的IPv6互联网将是未来网络发展的方向之一。NEMO是MIPv6最为重要的扩展部分,而协议一致性测试是保证协议实现正确性和有效性的重要手段。该文分析NEMO协议的特点,阐述对网络移动协议一致性测试的思想方法,并使用形式化的测试例描述语言说明了测试例设计与实现过程,给出在Linux实现下的测试结果及分析。     

DHCPv6协议一致性测试集的设计和实现

DHCPv6的协议一致性测试根据相应的协议描述文本对协议实现进行测试。该文介绍了DHCPv6协议,分析了TAHI中DHCPv6测试的不足,提出了一种采用虚拟测试器方法的测试拓扑和一种层次化的消息定义结构。在此基础上设计了61个DHCPv6测试例,对Cisco 2600路由器进行了测试并分析了测试结果。     

基于TTCN的IPv6协议测试

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

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

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

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

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