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

会话层／表示层协议是ＯＳＩ高层协议的一部分。本文介绍协议一致性测试研究现状、测试过程及方法，分析会话层／表示层协议一致性测试需求，采用树表格式（ＴＴＣＮ）与抽向语法表示（ＡＳＮ，１）相结合的形式化描述语言，设计实现了会话层／表示层协议一致性测试系统及测试集。并对ＩＳＯＤＥ软件中的会话层／表示层协议实现进行了一致性测试，包括基本互连、能力、有效行为、无效行为及定向诊断等。     

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

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

IDACOM3X协议一致性测试集的研究与分析

在计算机网络协议一致性测试中，形式化技术是一种重要的理论发展方向。本文在介绍形式化的测试集描述技术的基础上，对加拿大ＩＤＡＣＯＭ的３Ｘ协议一致性测试集进行了分析，指出它在形式化方面的不足和改进的方向。     

协议一致性测试平台的设计和实现

简要介绍了协议一致性测试平台的基本要求和设计思想,给出了整体的设计框架,并且详细讨论了在平台实现过程中涉及到的5部分工作,包括测试例的生成、选择和执行,同时给出了一些简单的实例。     

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

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

协议验证与一致性测试方法

1 引言随着计算机网络和通信技术的不断进步,通信网的稳定性很大程度上取决于通信协议的稳定性,而保证通信协议的稳定性,分两步来实现:首先,协议设计好后,对设计出来的协议进行验证,协议验证有以下两大目标:①发现协议中应该避免的错误动作,如死锁、活锁、动态错误和未指定的接收等,以保证协议描述的内部逻辑正确;②验证协议能完成既定服务,图1是协议验证模型。     

Bluetooth协议栈一致性测试

Bluetooth协议栈实现的一致性测试是保证不同厂商产品之间互连与互操作的基础。文章基于OSI协议一致性测试标准进行了Bluetooth协议一致性测试研究和实际测试,并以L2CAP层协议为例介绍了一致性测试的方法、结构、测试集的设计生成与完备性分析。     

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

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

咱由协议一致性测试的系统设计

目前对通信协议进行一致性测试的方法和实现比较完善,而在对咱由协议进行一致性测试方面的系统经验还比较少,本文基于实践工作的内容,提出了一种路由协议一致性测试系统的设计方法,并且讨论了实现过程中的一些问题。     

论ISDN协议实现的标准化测试

本文围绕着窄带ＩＳＤＮ协议标准化测试这一主题，对ＩＳＤＮ终端和交换机的标准化测试进行了讨论，根据笔者参加的北京邮电大学合作项目－“综合业务数字网ＩＳＤＮ协议测试与验证技术”研究工作的经验为背影，给出一种通用ＩＳＤＮ测试系统，我们的经验表明，以渡船原理为基础，建立的ＩＳＤＮ测试系统是可行，实用的，而且，它具有通用性好，功能全面，实现容易等优点。     

多单元协议一致性测试中的同步序列的生成

有限状态机模型一般被用来描述通信协议和其它各类的分布式系统,对于一个多端口的有限状态机,需要多个测试单元进行测试,使用一个包括K个（K≥2）测试单元的测试系统可以检查一个多单元通信协议软件的收发行为是否与协议规格一致,在测试过程中,K个测试单元之间可能会出珊步问题,目前,主要是通过增加外部同步操作来解决同步问题,提出了一种新的同步测试序列生成模型－－同步有向图,它可以判断一个给定的协议规格是否可以在不需要外部同步操作的情况下,产生同步测试序列;如果可以产生,则此生成中以将非同步测试相应的同步测试序列;另外此生成模型还可以用来选择为测试系统增加外部同步通道的方法。     

系统管理的一致性测试

ＯＳＩ系统管理是ＯＳＩ的一个重要组成部分，由于系统管理的特殊性，传统的一致性测试方法并不很适合于系统管理，本文分析了系统管理的各个部分，描述了与各个部分相适应的一致性测试方法。     

分布式测试法在协议测试中的实现与应用

分布式测试方法是对网络产品进行协议一致性测试活动的一种重要的抽象测试方法，在本文中我们提出了分布式抽象测试法的一种骑跨实现技术，并详细讨论了它的测试结构和优缺点，同时我们给出了这种测试方法的一个具体实现并介绍了它在实际测试活动中的应用。最后我们讨论了骑跨式测试法在网络产品的互操作性测试中的配置结构以及它对互操作性测试生成的影响。     

基金会现场总线用户层协议分析与实现

现场总线是目前自动控制技术发展的趋势．基金会现场总线（Foundation Fieldbu s）在众多现场总线中脱颖而出，成为技术上最先进的现场总线．基于基金会现场总线标准 的用户层协议的实现有助于开发面向仪器、仪表等控制设备的应用，促进我国自控技术的数 字化、智能化进程．本文从协议及软件的角度分析了用户层协议，给出了基金会现场总线用 户层协议的设计模型及实现方法．     

一种高效的网络协议一致性测试生成方法

本文基于ＵＩＯ序列提出一种新的协议一致性测试生成方法－叠加回路方法，可以证明，这种方法在保证测试序列错误覆盖勇和的同时不仅降低了叠加转换序列的计算复杂性而且还大大缩短了测试序列的长度。     

WAP协议的安全策略及实现

本文介绍了WAP协议的体系结构,重点分析了WTLS的安全性,探讨了WAP协议的安全策略,并在此基础上介绍了WAP协议安全的实现。     

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

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