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

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

基于TTCN的ICMPv6的一致性测试

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

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

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

基于XML的6 LoWPAN协议一致性测试系统的实现

文中介绍了协议一致性测试基本理论,针对6LoWPAN现有草案及实验性协议的实现,设计了一种具有可扩展性的6LoWPAN协议一致性测试平台。文中从该平台的测试系统和被测系统两个部分出发,对基于Windows操作系统实现的测试系统,描述了该平台的功能、各个模块的框架结构和实现方法;应用XML可扩展标识语言设计了测试用例,并应用libxml2对XML标记的测试用例进行解析。设计和实现了报文接收发模块。被测系统部分,对Linux系统端实现的6LoWPAN协议栈进行了测试,达到了一致性测试的目的,对测试结果进行了分析。     

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

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

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

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

IPv6中OSPF协议的一致性测试系统设计

根据协议一致性测试的特点和要求,针对OSPF协议的特点,介绍了一种OSPFv3协议一 致性测试系统的设计方法。该方法使用带有控制通道的多个虚拟测试器环境,用Tcl语言作为测试 例的描述语言,具有很好的测试能力和灵活性。使用该系统,成功对多个不同的OSPFv3实现进行了 测试,给出了测试实例,并提出进一步的工作方向。     

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

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

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

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

基于TTCN的IPv6协议测试

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

基于TCL的6LoWPAN协议一致性测试

针对6LoWPAN协议,提出一种基于TCL的一致性测试系统。在该系统中,界面控制部分提供用户操作和结果查看等功能,测试执行部分提供用例解释执行、结果分析等功能,底层通信部分提供物理层收发的功能。使用TCL脚本语言设计测试用例和扩展命令,从而增强系统的可扩展性。对Contiki系统中的uIPv6协议栈进行测试,结果表明,该测试系统的可扩展性较好,可满足6LoWPAN协议的一致性测试要求。     

6LoWPAN协议一致性测试方法及仪表设计

针对6LoWPAN协议栈的MAC层、适配层、网络层及路由协议,研究6LoWPAN协议的一致性测试方法,将TTCN-3测试标准引入到无线传感器网络协议的一致性测试领域,设计了一套以TTCN-3为协议测试描述语言、以ISO9646中定义的协议一致性测试模型为方法的6LoWPAN协议一致性测试仪表.     

IPv6协议一致性测试系统

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

IPv6中IPSec协议一致性测试

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

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

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