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

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

基于Modbus协议的一致性和互操作性测试方法的设计与实现

在分析协议测试原理的基础上,初步提出基于串行链路的Modbus协议一致性和互操作性测试,及其符合性评估的方案和流程;设计了相应的硬件和软件模块,基于该模块系统对串行链路的Modbus设备进行了一致性和互操作性测试实现;测试结果表明,该测试模块能够满足Modbus协议设备的调试。     

EPA功能块的研究与实现

在介绍EPA设备模型的基础上,重点分析了EPA功能块的结构模型,并以模拟输入功能块AI为例,探讨了EPA功能块的工作流程以及软件实现方法.开发的模拟输入功能块AI通过EPA互操作性测试软件测试,其测试结果表明此AI符合EPA功能块规范.     

BGP4＋互操作性测试研究

BGP4是最主要的域间路由协议,BGP4 是对BGP4进行扩展之后支持IPv6的,对于它的互操作性测试很重要.本文首先介绍了互操作性测试的目的,分析了BGP4以及BGP4 的功能、路由类型以及数据包种类.根据BGP4的说明生成了协议的输入输出有限状态机,基于该模型生成了部分BGP4 的互操作性测试套.然后对于协议的不同实现进行了互操作性测试设计与实践,最后给出了结论以及下一步的研究工作.     

EPA工业控制网络安全测试系统设计与实现

结合EPA网络规范、NIST-800系列规范,深入分析了EPA工业控制网络面临的安全威胁并探讨了安全测试原理,从主动防御的角度出发集成多种测试技术,设计并实现了一种适用于EPA工业控制网络的安全测试系统;通过一个小型的EPA工业控制网络验证,结果表明该系统能够自动检测远程或本地的EPA网络设备的安全状况,发现潜在的安全漏洞并在测试报告中给出解决建议。     

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

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

一种形式化的协议互操作性测试方法

对协议实现的互操作性测试是保证网络产品之间互通的一种重要手段。在本文中我们提出了一种基于并发ＴＴＣＮ操作语义的互操作性测试系统的构造方法。     

OSPFv3协议一致性测试系统设计与实现

如何保证各网络设备协议实现的一致性，是保证各设备可以互联、互操作的关键。文中在介绍OSPFv3协议的基础上，设计并实现了该协议一致性测试系统。根据系统支持多端口的特性，提出一种改进的针对中继系统的一致性测试方法，克服了原有穿越式测试方法中测试系统之间的同步和协调问题。利用该系统对开放源码的路由软件包zebra进行了测试，结果表明在数据库描述包的MTU字段处理上和RFC2328存在不一致。     

ebMS互操作性测试研究与平台实现

电子商务得以顺利实施的关键是电子商务平台间的互操作性,因此互操作性保证及其测评关键技术的研究成为实施电子商务的核心问题。提出了电子商务平台中最底层的ebXML消息服务层(ebMS)的互操作性测试模型,并结合互操作性测试实践对开放源代码的电子商务消息服务平台进行二次开发。     

BGP4+协议一致性测试系统设计与实现*

BGP4+是一种在自治系统间运行的动态路由协议,其功能是在自治系统间交换网络层可达信息。IPv6协议作为下一代互联网最有竞争力的核心协议成为研究热点。BGP4+是IPv6最重要的路由协议,已经在路由器等网络设备中得到广泛实现。如何保证各网络设备协议实现的一致性,是保证各设备可以互连、互操作的关键。在介绍BGP4+的基础上,设计并实现了BGP4+的协议一致性测试系统,并对一基于FreeBSD平台的BGP4+一致性测试实现的结果进行了分析。     

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

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

IPv6协议一致性测试系统

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

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

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

6LoWPAN适配层协议的一致性测试

为6LoWPAN适配层协议设计和实现了一致性测试的测试用例和测试平台。在分析6LoWPAN适配层协议的基础上,划分了测试组,建立了测试目标,根据测试目标设计了近100个测试用例。根据测试中激励发送和协议行为观测的需要,设计并实现了测试平台。在该平台上,成功运行了90多个测试用例,对网络实验室的适配层实现进行了测试,达到了一致性测试的目的。     

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

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

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

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

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

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