基于TTCN的IPv6协议测试

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

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

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

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

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

TTCN-3测试系统的设计与实现

TTCN-3是一种新的标准化测试语言，文章提出了基于TTCN-3的协议一致性测试系统的设计方法，它使用可执行对象树表示TTCN-3可执行测试套，提供了灵活的并发测试组件调度方式和解释执行机制，并描述了依据该方法实现的TTCN3Runner的系统结构。     

基于形式化方法的因特网路由协议的一致性测试

并发数表组合表述法(并发TTCN)是可以描述并发测试行为的测试表述法.该文提出一种基于并发TTCN的分布式路由协议的测试方法.首先讨论路由协议实体的测试结构,然后给出基于并发TTCN测试系统的设计.最后介绍了测试集的设计.     

IPv6中IPSec协议一致性测试

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

EPA协议抽象测试集的设计

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

基于Tcl的BGP一致性测试系统设计

针对协议一致性测试的特点和要求，介绍了一种基于Tcl的BGP协议一致性测试系统的设计方法。相对于目前使用较多的基于TICN的方法，该方法具有灵活性高，模块独立性好等优点。文中给出了一个基于该系统的测试例的实例。初步实验结果表明该系统有较好的测试能力，为利用Tcl开发其它协议测试系统提供了有益借鉴。     

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

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

协议测试标准TTCN-3的实现

TTCN-3是ITU-T等国际组织制定的用于协议和软件测试的最新标准。通过分析TTCN标准的发展历程。该文比较两种不同的测试实现方法,并详细介绍了以虚拟机方法建立的TTCN-3测试执行系统。该系统突破了目前国内外广泛采用的语言翻译系统的结构,在提高测试效率的同时增强了测试系统的实用性。     

表示层协议一致性测试的研究与实现

表示层协议是ＯＳＩ高层协议的一部分。文中介绍协议一致性测试的研究现状、测试过程及基本测试方法,分析表示层协议一致性测试需求;采用抽象语法表示（ＡＳＮ．１）与树表格式（ＴＴＣＮ）相结合的形式化描述语法,设计实现了表示层协议核心部分一致性测试系统及测试集;测试系统通过了对ＩＳＯＤＥ软件表示层协议实现的一致性测试。表示层协议一致性测试系统,是协议一致性测试系统（ＰＣＴＳ）的一个子系统。这个子系统的功能实     

基于协议集成测试系统的IP v4协议一致性测试

TCP/IP协议实现的一致性测试是保证Internet网络设备之间互连与互操作的基础.该文基于协议集成测试环境进行了IP（Internet protocol）协议一致性测试研究和实际测试,并针对IP端系统和中继系统分别采用了分布式和远程横断式测试法,设计生成了IP一致性测试集.并且已将IP协议的一致性测试应用到路由器的开发和研制过程中.     

通信协议的一致性测试

一致性测试在通信协议工程中是非常重要的。本文给出有关一致性测试的一般概览。一致性测试的基本原理,抽象测试方法的比较和选择,测试集和TTCN,一致性评估过程以及结果的分析将在文章中讨论。     

An approach to concurrent TTCN test generation

The basis of distributed system conformance testing is to test the conformance of each entity with its standard.This paper addresses the approach to entity conformance testing based on concurrent TTCN.First a preliminary framework for entity conformance testing is introduced and a specification model CEBE is presented.Then a test generation method,which could directly derive concurrent TTCN test suite from CEBE,is proposed.     

下一代网络协议一致性测试执行系统的实现

0.前言近几年,随着计算机网络和通讯技术的不断发展特别是开放型异构网络的迅猛发展,协议的设计和实现变得越来越复杂,协议测试理论和技术的研究越来越重要,已经成为国际上计算机网络研究的热点之一。