EPA协议中事件服务的实现和测试

EPA是我国第一个拥有自主知识产权并被国际电工委员会（IEC）认可的工业自动化领域国际标准。本文在严格按照EPA标准完全实现EPA事件服务组以及深入理解EPA协议一致性测试原理的基础上,着重研究了EPA协议中关于报警的事件服务的测试方法,提出了一种测试EPA事件服务的一致性测方法。测量中主机作为控制台,控制测试流程、设置测试参数,以及显示结果,测试代理借助协议栈的通信能力与主机测试软件进行测试命令的交互。     

BACnet应用层测试状态机自动生成研究

协议状态机测试是通信协议一致性测试的重要内容，状态机的自动测试有利于提高协议测试的效率。本文首先介绍了扩展有限状态机模型，然后采用扩展有限状态机模型对BACnet应用层状态机进行了详细的分析．讨论了BACnet应用层测试状态机自动生成的可能性，最后提出了一个基于规则推理的测试状态机生成方法．该方法能够根据协议一致性声明自动生成测试状态机。     

WCDMA终端实验室测试技术介绍

摘要介绍了WCDMA一致性协议测试方法及其局限性,WCDMA终端实验室参考测试技术的基本概念及其与一致性测试的比较,目前一致性协议测试和开发的测试系统,MLAPI的概念,分析了一个WCDMA终端实验室测试开发实例。     

OSPF协议的一致性测试

介绍了OSPF协议一致性的测试原理和抽象测试方法,重点对OSPF协议的一致性测试技术进行研究,并对OSPF协议测试集的设计进行讨论。     

WCDMA系统移动核心网络协议栈的测试

在WCDMA系统中，为了使得来自不同厂家的设备能够成功地进行通信，必须有标准化的协议，但是实现对于协议的不同理解，导致了不同厂家设备的协议实现是不一致的。所以解决设备协议的非一致性问题将成为整个系统演进过程中一个不可忽略的因素。为了解决这个问题，协议一致性测试应运而生。下面首先简单介绍协议一致性测试原理，WCDMA系统核心网络协议，然后对我们在WCDMA系统核心网络协议测试中采用的测试方法和测试系统结构、得到的测试结果进行分析。     

TCS:TCP协议一致性测试系统的设计和实现

本文阐述了一个对ＴＣＰ协议进行一致性测试的测试系统的设计和实现。着重介绍了该系统的测试方法和系统结构，并分析了基于ＥＦＳＭ模型的一致性测试集的生成技术。     

TD-SCDMA移动终端协议一致性测试技术的研究

根据我国基于TD-SCDMA技术的第三代移动通信系统的发展战略,提出TD-SCDMA移动终端协议一致性测试技术的研究.着重介绍了一致性测试的原理,TD-SCDMA移动终端协议一致性测试的方法,测试系统的设计和实现,抽象测试集的生成.通过对该项技术的研究,可为TD-SCDMA移动终端设备提供标准的、实用的协议一致性测试方法和工具,以解决接入网络时产生的协议非一致性问题.     

基于SDL实现的GPRS网络一致性测试技术研究

首先论述了GPRS网络结构以及有关一致性测试的基本方法和原则,从系统的整体构架、模块划分和数据处理流程等方面,详细描述了GPRS网络协议栈测试系统,深入地研究和分析了基于SDL实现的GPRS协议栈一致性测试方法,最后对系统测试案例的设计思想和实现过程进行了说明。测试结果表明,该方法能显著提高GPRS协议一致性测试效率。     

一种基于虚拟机机制的NTP同步协议测试方法

协议的一致性测试是验证各协议实现遵循协议标准文本的过程,本文首先分析了传统的协议测试方法,随后针对这些方法在IPv6路由协议一致性测试中的不足提出了一种基于虚拟机的NTP（网络时间协议）同步协议测试方法,并阐述了该方法的实现原理。     

网络通信协议一致性测试研究

网络通信协议设计及开发的复杂性导致了协议工程技术的出现。文章主要研究协议测试理论中的一致性测试技术。在深入分析了一致性测试技术的原理及参考标准的基础上,针对现有的几种测试方法,分别阐述了它们各自的测试原理,并分析比较了几种方法的优缺点及适用场合。     

计算机网络产品协议一致性测试技术及标准研究

阐述了网络产品协议一致性测试原理,并对协议测试基础标准ISO/IEC9646《信息技术开放系统互连一致性测试方法和框架》进行了详细介绍。     

EPON MPCP协议一致性测试的研究

随着EPON的部署规模逐渐增大,对EPON系统的测试越发显得重要.多点控制协议(MPCP)是EPON的核心控制协议,MPCP协议一致性验证对EPON设备互通测试和运行维护管理都是必要的.文章针对被动测试下MPCP协议一致性的验证方法展开研究.通过分析比较几种典型状态机模型,确定采用NFSM模型描述MPCP协议,设计并实现了MPCP协议一致性验证的算法.该算法已应用于参与研发的EPON被动测试仪中,能够完成对协议交互的正常过程及典型错误过程的识别.     

移动IPv6测试中的层次化协议描述和测试生成方法

移动IPv6协议是一种庞大的分布式协议，这为协议描述和测试生成带来了困难．提出分层次描述协议的思想，定义了描述协议的有限状态机和多节点有限状态机模型，分四个层次分别对协议运行流程、协议节点类型、内部数据结构处理、离散功能进行了形式化描述．把描述协议的状态机模型转化为有向图，设计了针对有向图的测试序列集产生算法，最终生成了覆盖整个移动IPv6协议的测试序列集．     

3GP4＋协议一致性测试系统的设哥

协议实现的正确性对于确保网络的正确性和可靠性有着至关重要的作用。协议测试是检验网络协议实现正确性的重要手段,包括一致性测试、互操作性测试、性能测试等。其中一致性测试至关重要。本文介绍了协议一致性测试的理论和测试例的设计方法．提出了一种BGP4＋协议一致性测试系统设计方案。     

基于TTCN的测试执行方法及其应用

测试执行是协议一致性测试系统中的主要部分，本文提出一种基于测试描述语言ＴＴＣＮ的操作语义对标准测试集进行了解释执行的测试执行方法，利用这种方法所实现的一致性测试系统具有很强的灵活性和独立性，同时大大提高了测试的效率，另外，我们还介绍了基于这种测试方法所完成的协议一致性测试系统（ＰＣＴＳ）的总体结构，设计思想以及测试配置。     

TD-LTE/TD-SCDMA终端协议一致性测试的研究与实现

基于TTCN-3语言的一致性测试原理和测试方法,针对测试系统的整体架构,提出互操作协议一致性测试方案,并根据此方案设计3G重定向到4G的测试流程.通过系统仿真平台的测试表明,该测试流程设计合理,验证了TD-LTE/TD-SCDMA双模终端的互操作行为是否符合3GPP协议.将该方法推广应用于开发其他互操作测试例,对终端的研发和认证具有重要意义.     

路由协议测试研究—边界网关路由协议BGP—4测试

现有测试理论和方法在路由协议测试中面临挑战。由于路由协议具有与通信协议不同的特点,现有测试系统的能力已经难以满足测试需求,本文介绍了在路由协议测试中进行的探讨和实践,深入分析了路由协议的特点,在此基础上对现有测试方法的适用性进行考察,选择了相应的测试方法和结构,扩充了测试系统中的考实现增强测试能力,设计了TTCN格式的测试集,通过测试实践,证实所用方法手段的有效性,并为国产路由器的开发提供了有力的支持。     

TD-LTE终端协议一致性测试自主开发测试例的设计与实现

基于TICN语言的一致性测试原理和测试方法,针对TD-LTE终端协议一致性测试系统中无法实现个性化流程测试的问题,提出用户自主开发测试倒的方案。介绍了。TD-LTE终端一致性测试系统的软件结构。在此基础上重点研究了基于IBMRational Systems Tester、其他1rrCN工具、非TYCN语言和GUI的四种开发方案。通过仿真平台测试表明,个性化流程方案设计合理。     

IPSec VPN测试

利用IPSecVPN技术,企业能够将Internet作为其通信网络基础的骨干,实现全球通达,并大大节约成本,同时保持内部通信的安全。然而,成功的IPSec产品开发与实施面临严峻的挑战,即如何确保IPSec协议的一致性,并在网络性能和功能方面管理IPSecVPN的效果。思博伦通信的《IPSec VPN测试》一文详细介绍了思博伦通信的IPSec一致性与性能测试方法。思博伦通信通过开发业界标准一致性测试应用程序Spirent TestCenter Conformance Application,解决了协议一致性测试的挑战。Spirent TestCenter Conformance Test Packages提供全套预先定义的测试案例．验证运行在网络设备上的IPSec实现的一致性特征。     

应用于在线测试的状态判定算法

在线测试是通过观察线路上双方协议实体的会话来进行协议测试的方法,测试中需要判定会话双方的状态.本文提出的状态同步算法将传统的协议状态机转化为“事件状态表”,并通过表运算判定双方状态.该通用算法解决了在线测试中首先要解决的状态判定问题.通过对该算法进行的复杂度分析得出了影响其复杂度的因素,并进行了改进和优化.该算法应用于作者开发的在线测试系统中,已完成了若干通信协议和路由协议的一致性测试和互操作性测试,取得了较好效果.