一致性测试中的TTON和MSO

计算机网络中，描述一种协议并对其进行标准化并不能确保成功的通信。这是因为协议标准目前基本上是使用自然语言描述的，对协议的不同理解会导致不同的协议实现。一致性测试就是测试协议实现是否符合协议说明。TTCN是一致性测试中最常用的技术，本文介绍了目前在协议的一致性测试中最常的技术TTCN的发展，以及可以将测试用例可视化的技术MSC。     

一致性测试中的TTCN和MSC

计算机网络中,描述一种协议并对其进行标准化并不能确保成功的通信,这是因为协议标准目前基本上是使用自然语言描述的,对协议的不同理解会导致不同的协议实现.一致性测试就是测试协议实现是否符合协议说明.TTCN是一致性测试中最常用的技术,本文介绍了目前在协议的一致性测试中最常的技术TTCN的发展,以及可以将测试用例可视化的技术MSC.     

ITS专用短程通信协议一致性测试系统的设计与实现

参考计算机通信的开放式系统互联参考模型提出了ITS专用短程通信(DSRC)协议的三层体系结构．依据ISO标准定义的一致性测试的方法及框架,确定了对协议实现进行一致性测试的方法和测试套形式化描述方法,设计了具体的测试系统结构．使用所设计的一致性测试系统对DSRC协议进行测试,保证了协议实现与协议文本的一致性．也为各DSRC设备之间的互联、互操作奠定了基础。     

边界网关协议BGP4+一致性测试系统设计与实现

在分析BGP4 的基础上,设计实现了BGP4 协议一致性测试系统,给出了用XML描述BGP4 测试套的测试模板,并对BGP4 在Linux下的协议实现进行了一致性测试,发现了被测实现与协议说明不一致的地方.     

TOP状态非典型变迁的形式化研究

协议的规格说明主要是以自然语言描述的,对其进行形式化的目的是精确描述协议,减少开发人员对协议规格说明理解的偏差,B方法以数学理论为基础,可产生简明、精确、无歧义且可证明的规格说明,B方法的优点使得它适合对协议进行形式化描述和一致性测试。本文详细介绍了使用B方法对TCP状态非典型变迁进行形式化,并据此生成了测试用例,提高了TCP协议一致性测试的质量和可靠性。     

TCP状态非典型变迁的形式化研究

协议的规格说明主要是以自然语言描述的,对其进行形式化的目的是精确描述协议,减少开发人员对协议规格说明理解的偏差.B方法以数学理论为基础,可产生简明、精确、无歧义且可证明的规格说明.B方法的优点使得它适合对协议进行形式化描述和一致性测试。本文详细介绍了使用B方法对TCP状态非典型变迁进行形式化,并据此生成了测试用例,提高了TCP协议一致性测试的质量和可靠性。     

利用构造类别代数的协议安全测试方法

针对协议安全测试中数据流的描述问题,在构造类别代数的基础上引入变异分析,由此提出了一种协议安全测试方法.基于协议的描述设计了变异算子,然后对一致性公式集进行变异分析,从而得到安全变异项集.将变异项转换为实际的安全测试例集,并描述由此进行的协议安全测试步骤.测试实践表明,所提方法能与一致性测试良好地结合,在一定程度上覆盖已知安全漏洞,并具有发现潜在问题的能力.     

TCP协议的Z语言描述

计算机通信协议的开发难度随着复杂程度的增加而日益增大，潜在错误也越来越多，其中对协议规格说明理解的偏差是重要原因之一．因此需要对规格说明进行验证和确认，并对协议的实现进行一致性测试．一致性测试就是测试协议的实现是否与相关国际标准中的规格说明相一致．协议的规格说明主要是以自然语言描述的，对其进行形式化是为了精确描述协议，因而可减少这类错误的出现．Z语言是基于一阶谓词逻辑和集合论的形式规格说明语言，采用了严格的数学理论，可产生简明、精确、无歧义且可证明的规格说明．本文以TCP协议为例详细介绍了如何使用Z语言对协议进行形式化，为协议一致性测试打下基础．     

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

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

基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

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

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

3G终端开发中的一致性测试及实现过程

一致性测试是协议栈软件开发过程中一个必不可少的环节,对3G系统的应用开发具有极其重要的意义和实用价值.因此,根据一致性测试的基本原理,详细论述了一致性测试在3G终端协议开发中的实现过程,并由此给出具体的测试方法及步骤.     

关于路由协议的一致性测试的一种形式方法

为了一致性测试Ｉｎｔｅｒｎｅｔ网上的一个标准路信息协议（ＲＩＰ协议），利用形式描述技术语言Ｅ－ＬＯＴＯＳ对其进行了描述，然后把广西描述的Ｅ－ＬＯＴＯＳ转换为ＧＥ－ＬＯＴＯＳ，并在此产生了ＴＴＣＮ测试套。     

一致性测试中的时间约束及测试用例生成算法

针对协议测试理论中的时间约束问题，从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束，同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法．在控制流测试中，先生成引导序列，然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置．在数据流测试中，等待时间只需按照需求描述和约束来设定．对边界网关协议进行测试的结果表明，所提算法能适应不同的网络拓扑环境，其生成的测试用例在测试中能够有效降低测试代价．     

DECT网络层一致性测试套的设计

尽管在对网络协议的一致性测试方面已经取得了相当大的进展，但是如何有效地，全面地测试一个实际的协议仍然是一致性测试研究方面的主要问题，本文集中讨论测试方法的选择，测试过程中的控制程度和一致性程度的关系，以及确定地测试ＩＵＴ的意义，为ＤＥＣＴ网络层设计的致性测试套体现了这些观点。     

协议一致性测试数据包的构造与解析

数据包的构造与解析是协议一致性测试中的关键技术。在对协议一致性测试原理、特点和流程进行分析的基础上,定义协议一致性测试中的相关概念,建立协议一致性测试中的相关规则,提出一种数据包的构造、发送、捕获和解析的方法,设计数据包构造、发送、捕获和解析算法并对其进行分析。数据包构造算法可依据协议标准规定的消息格式,为每个数据包字段依次赋值;数据包发送算法是通过网络适配器,根据待发送数据包的名称、类型和发送序列,实施数据包的发送;数据包捕获与解析算法是通过网络适配器捕获原始数据包,设置并编译过滤规则,对捕获到的数据包按照协议标准说明进行解析,与预期构造的数据包进行比对。由于设置了过滤规则,有针对性地捕获数据包,因而,提高了数据包的捕获准确率。     

多小区一致性测试平台的研究与验证

TD-LTE(time division-long term evolution)无线资源管理一致性测试是检验TD-LTE终端是否符合协议标准的重要手段.鉴于传统一致性测试平台存在不足之处,无线资源管理一致性测试搭建了基于TTCN-3(testing and test control notation version 3)的一致性测试平台,并分析了该测试平台相对于传统测试平台的优越性.利用TTCN-3软件编写测试例并进行测试.通过分析测试流程图可以得出,一致性测试平台的可行性,并验证了该平台相对于传统平台的优越性.     

基于控制流的协议一致性关系测试方法的评述

对一般的控制流测试思想和一些基于ＦＳＭ模型、ＬＴＳ模型的控制流测试方法进行概括和介绍。并介绍了相应的优化技术。