基于TTCN的IPv6协议测试

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

基于TTCN的测试序列选择技术研究

测试序列选择技术一直是协议测试领域中一个研究热点,本文对此技术进行了深入地探讨,建立了测试集动态关系模型,并以此为基础邮综合静态选择和动态选择的一种实现方案。     

基于TTCN的IPv6协议测试

在分析IPv6协议特点及测试需求的基础上,结合树表结合表达法(TTCN)提出了IPv6测试描述法,采用预定义报头和数据包声明表,实现IPv6测试数据描述;采用测试描述法和执行系统互动的方式实现复杂算法、根据测试集结构和数据库应用特点,采用数据库存储测试集,设计了包含30个表的数据库系统,支持测试执行过程中的快速查找和反馈存储能力．设计了客户／服务器结构的测试系统,给出了测试例执行算法,在多种IPv6产品上实践了一致性测试。     

并发TTCN测试执行器的实现研究

并发TTCN同时拥有多个测试部件的特性，改变了整个测试框架，也带来了如何协调和管理测试部件之间通信的新问题，本文在传统TTCN测试执行模块的基础上为并发TTCN设计了测试执行模块的整体模框架，并进行 了具体的实现。     

并发TTCN测试执行机的设计与实现

提出了一种通用并发TTCN测试执行机的设计方法.在测试并发协议实现时,采用FIFO调度算法解决了并发测试例的执行问题,并在借鉴抽象I/O队列思想的基础上提出了PTI(packet transmitting interface)部分,使得执行机与特定的协议实现无关,而且提供了可视化的测试执行跟踪界面,使错误定位变得更加容易.实现的执行机在附加上相应的PTI部分之后就可以进行测试,目前已投入使用.     

并发TTCN的操作语义及相关算法

TTCN作为一种形式化的测试集描述语言，已经得到了广泛的应用，在介绍了并发TTCN的基本概念之后，接着介绍TTCN2的操作语义及相关算法，然后结合TTCN执行机的实现给出了并发测试组件的调度算法。     

OSPF协议互操作性测试建模方法研究

随着互联网的快速发展,稳定可靠的路由协议变得越来越重要。OSPF协议作为中型网络最常用的路由协议。文章对互操作性测试的关键问题例如协议形式化建模及协议的不确定性进行了深入的分析。采用扩展Petri网对OSPF协议进行建模,并依此模型分析了OSPF协议的互操作性测试中存在的不确定性。同时,依据Petri网模型和MSC消息序列图,给出了交互模型的生成算法,最后为全文总结及未来的研究工作。     

基于通信多端口有限状态机的协议互操作性测试生成研究

协议测试是一种保证网络通信协议实现质量的重要技术,互操作性测试是一类常用的协议测试技术．文章提出了一种基于通信多端口有限状态机模型的协议互操作忡测试生成方法．首先采用已有的基于可达性分析的方法生成集中式测试序列;然后采用单一错误模型对其进行系统的错误覆盖分析,为达到更高的错误覆盖度,进一步提出一种增强的测试生成算法;最后讨论了互操作性测试巾的控制观察问题,选择适当的分布式测试架构,并进而生成分布式同步测试序列．实验结果表明：与原有方法相比,该方法可以有效地提高测试集的错误覆盖,并具备一定的可行性和有效性．     

一种形式化的基于TTCN的测试执行方法

探讨基于形式化技术的测试执行方法是开展形式化的协议一致性测试活动的关键环节．本文提出了一种形式化的基于测试描述语言ＴＴＣＮ的操作语义的测试执行方法，并使用标号变迁系统刻画了这一方法的整个执行过程，同时讨论了这个方法的一个具体实现．这种形式化的基于ＴＴＣＮ的测试执行方法非常适合于构造通用的协议测试系统，同时也是进行测试集的自动验证的有效手段.     

IS-IS路由协议互操作性测试的研究

网络已经成为人们生活中不可或缺的一部分,高效稳定的路由协议变得日益重要。IS_IS路由协议是一种主流的内部网关协议,在一些大型网络当中得到了越来越多的应用。对Is-Is协议互操作性测试进行了研究,使用扩展的Petri网建立了分层的Is-Is协议互操作性测试的交互模型。然后使用可达图对Petri网模型进行分析,根据测试目的,生成测试序列,编写测试例,并手工抽取一些必要的测试例,作为对测试集的补充。最后,搭建测试平台,进行互操作性测试,并对实验结果进行分析。     

Web服务互操作性测试系统的研究

Web服务互操作性是面向服务的软件系统测试内容的一个重要方面.本文分析了Web服务及其互操作性问题,介绍了协议互操作性测试的基本方法及协议互操作性测试系统的基本框架,在此基础上提出了一个Web服务互操作性测试系统的结构框架,并对该测试系统进行了形式化定义,最后指出了需要进一步研究的方向.     

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.     

A Formal Approach to Protocol Performance Testing

1IntroductionProtocoltestingisanimportantmeanstoensuretheinterconnectionandinteroperationbetweenprotocolproductsfromdifferentvendors.Currenttestactivitiesforprotocolscanbeclassifiedintothreeclassesaccordingtotheirtestpurpose:conformancetesting,inter-operabilitytestingandperformancetesting[1].Conformancetestingandinteroperabilitytestingarefunctionaltest,andperformancetesting,however,isdifferentfromthem.Itspurposeistotestthecharacteristicparametersofprotocolimplementation,suchaspackettransferdel…     

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

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

基于测试驱动及并行工程的一种改进前置驱动测试模型

软件测试是软件过程中的一个阶段,也是保障软件质量必不可少的重要一环,本文在前置驱动测试模型的基础上,基于并行工程以及测试驱动提出了一种改进型的前置驱动测试模型。     

基于形式化技术的帧中继信令协议一致性测试研究

帧中继作为重要的广域网协议得到了日益广泛的应用 ,但是相关的测试活动却非常有限 .本文在深入分析了帧中继信令协议的基础上对其进行了一致性测试研究和实际测试 .针对帧中继信令协议的特点 ,采用远程测试法设计生成了基于形式化技术的一致性测试集 ,并且已经将利用协议集成测试系统取得的该一致性测试的研究成果应用到路由器的开发和研制过程中