LDP一致性测试的研究与实现

协议实现的一致性测试是保证网络设备之间互连的重要手段。LDP协议是MPLS的标记分发协议，本文在对LDP协议进行分析的基础上生成了测试集，选择了测试方法，并在现有测试系统Anvl的基础上设计和实现了LDP一致性测试程序。     

EPA协议一致性测试方法研究

研究了EPA协议一致性测试原理、静态测试与动态测试方法及其实现技术；参照TFCN的结构框架定义了一种描述EPA抽象测试集的类形式化语言，提出了EPA协议实现一致性说明和协议实施附加信息的生成方法；研发了一种EPA协议一致性测试的方法，并以变量写服务的测试为例，说明了EPA协议一致性测试系统的测试过程。通过EPA一致性测试系统的实际应用，证明这种测试方法能够准确测试出被测协议实现与标准的一致程度。     

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

IPv6协议作为下一代互联网最有竞争力的核心协议已经成为研究热点，它主要解决路由器之间通信的问题。如何保证各网络设备协议实现的一致性，是保证各设备互联，互操作的关键。本文在介绍IS—ISv6协议和协议一致性测试的基础上，设计并实现了IS--ISv6的协议一致性测试系统，并对一基于Linux平台的IS—ISv6一致性测试实现的结果进行了分析。     

基于TTCN的ICMPv6的一致性测试

基于TTCN的协议的一致性测试是保证协议实现正确的重要方法.在介绍ICMPv6协议和TTCN标准的基础上,构建了一种基于TTCN标准的一致性测试系统.介绍了该测试系统的架构与工作原理,同时给出了ICMPv6一致性测试的方法和步骤,并在测试平台上执行了测试套.     

EPA协议抽象测试集的设计

根据IEC9646对协议测试的原理和说明，基于工业以太网（EPA）协议的通信特点及其要求，设计了EPA一致性测试中抽象测试集的层次结构模型，参照树表结合表示法（TTCN）的结构框架和思路定义了一种类形式化语言来描述EPA的抽象测试集，介绍了EPA抽象测试集的生成过程和实现步骤。通过EPA 一致性测试系统的实际应用，证明EPA抽象测试集能够完整的包括EPA协议一致性测试的所有内容，根据此测试集设计的测试系统能够准确测试出被测协议实现是否与EPA标准一致。     

简单邮件传输协议的一致性测试研究

Internet协议的一致性测试是保证厂商的Internet产品和服务实现互连和互通的重要技术手段。文章在扼要地介绍简单邮件传输协议SMTP的基础上,理论上分析了SMTP的测试组织、抽象测试方法和测试集的设计,提出了适合于SMTP一致性测试的测试结构和测试描述技术。最后讨论了在协议集成测试系统PITS中SMTP一致性测试的实际应用。     

基于Web的WIA-PA一致性测试系统的设计和实现

从无线传感器网络协议一致性测试的角度,对WIA-PA协议测试技术进行了分析和研究,阐述了WIA-PA协议一致性测试的主要内容,提出了一种基于Web的WIA-PA一致性测试系统和测试方法,并通过典型测试实例的实现,说明该方法用于协议一致性测试的可行性.     

传感器网超轻量IPv6协议栈一致性测试系统的设计

介绍了网络实验室设计的传感器网络超轻量化的IPv6协议栈规范及实现。在结合TTCN-3一致性测试规范的基础上设计了一致性测试系统，给出了测试模型、测试方法和测试系统软件框架，并提出了测试用例描述方法和具体的实现策略。     

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

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

一种可扩展的分布式网络攻击测试系统

随着计算机网络攻击技术的日益成熟，新的攻击手段层出不穷，针对路由协议的攻击就是其中的一种。RIP/RIPng、OSPF和BGP协议是网络中较常用的动态路由协议。文章在分析它们特点的基础上，提出针对各种可能的攻击方式。文中设计出了一个分布式网络攻击测试系统，模块化的体系结构使该系统具有良好的可扩展性。初步试验结果表明，使用Tcl开发的攻击例，该系统成功完成了对基于上述路由协议的网络攻击的模拟和测试,为解除网络中可能存在的安全隐患提供了有力的帮助。     

iSCSI协议一致性测试研究与实现

不同iSCSI协议实现之间能否互联互通取决于协议实现是否与iSCSI协议规范相一致。针对这个问题,研究了iSCSI协议一致性测试的测试原理和测试流程,设计了适合于iSCSI协议一致性测试的测试系统以及基于XML描述的iSCSI协议一致性测试套,给出了较为完整的iSCSI协议一致性测试例。使用该测试例对某产品的iSCSI协议实现进行一致性测试,发现了被测实现存在与协议规范不一致的地方。     

IPv6中IPSec协议一致性测试

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

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

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

基于IPv6的路由信息协议研究及其实现

阐述了基于IPv6的新一代路由信息协议RIPng的工作原理及设计思想,并在与基于IPv4的路由信息协议RIP-2作深入比较的基础上,分析了它们之间的区别,讨论了RIPng协议仍然存在的问题及改进方向,给出软件设计方案的具体实现.     

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

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

邻居发现协议的形式化测试

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

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

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

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

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

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

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

基于OSI参考模型的一致性测试理论和方法

以ＴＰ４运输层协议为例，阐述了ＯＳＩ一致性测试的理论和方法，在对ＯＳＩ一致性测试和ＴＰ４协议进行简介的基础上，给出了在ＴＣＰ／ＩＰ环境中实现ＯＳＩ ＴＰ４协议一致性协同测试的关键技术和方法。