TETRA空中接口协议一致性测试的研究

文中在介绍TETRA协议的基础上，分析了TETRA协议的测试方法和测试语言，选择适合于TETRA一致性测试的测试结构，完成测试集的划分，并对实际利用Telelogic公司的测试软件实现了测试例的设计，进行了一致性测试。     

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

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

EPA协议状态机与服务的一致性测试方法研究

介绍了EPA协议一致性测试系统的体系结构．研究了状态机与服务的一致性测试原理与测试方法。根据EPA协议的特点,提出了一种把状态机一致性测试与服务的一致性测试相结合的测试方法．这种测试方法的优点是能用最少的测试案例达到最大的测试完备性,降低测试系统的开发复杂度。最后以系统管理状态机与系统管理服务的测试为例,展示这种测试方法的测试过程以及结果。     

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

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

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

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

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

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

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

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

OSPF协议的一致性测试

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

支持终端一致性测试的TD-SCDMA协议测试平台的构建

本文介绍了协议一致性测试基本理论,提出了一种TD-SCDMA终端协议一致性测试平台的构建方法,描述了该平台的功能、框架结构和实现方法,并举例说明对该测试平台如何使用TTCN实现一致性测试和模拟网络基本功能.     

Link 16数据链协议一致性测试方法研究

Link 16为美国三军主用数据链装备,其消息标准与作战应用紧密结合,具有消息种类多、消息实现复杂等特点。文章在分析Link 16消息标准的基础上,提出一种Link 16数据链协议一致性测试方法。首先,阐述数据链协议一致性测试原理;其次,针对消息处理的复杂性,提出基于因果图的测试用例设计方法,确保测试用例能够有效覆盖消息处理路径;最后,详细论述本地操作员触发的测试方法和远端消息触发的测试方法,实现消息编解码、收发规则、战术功能处理等方面的测试,保证了消息实现与消息标准一致。     

GSM／TD—SCDMA互操作协议一致性测试的研究

GSM／TD-SCDMA互操作协议一致性测试是终端一致性测试的重要组成部分,它对终端的研发、认证以及保证不同终端在网络中能够互联互通具有重要意义。基于该目的,对GSM／TD-SCDMA互操作协议一致性测试进行研究,首先研究了GSM／TD-SCDMA互操作协议一致性测试方案及其实现流程,然后通过一个3GPP测试用例说明了GSM／TD-SCDMA互操作协议一致性测试的具体实现。     

协议认证性安全属性测试方法

认证性建立通信双方的信任关系,是安全通信的重要保障.传统的协议测试方法只关注协议功能的正确性,无法满足认证性等安全属性测试的要求.因此,提出了一种针对协议认证性的安全属性测试方法,利用带目标集合的有限状态机模型SPG-EFSM来扩展描述协议安全属性,并在攻击场景分类的基础上设计了认证攻击算法.通过攻击算法找到了Woo-lam协议和μTESLA协议的认证性漏洞,该方法具有可行性、覆盖率高等特点.     

一种可变测试集的协议一致性测试方法

目前常用的协议一致性测试的测试方法是首先对协议规范建模,然后通过模型生成测试集,最后执行测试集.这种方法存在执行效率不高和实际测试范围可能被缩小的问题,为此本文提出一种可变测试集的方法,通过动态执行测试集提高其执行效率,同时从与协议实现无关的角度扩大协议的实际测试范围.     

Validation of the GSM-map protocol

This paper presents the results of experimentation performed on the application of a specification language and three conformance testing techniques to the validation of the gsm-map protocol (Global System for Mobile communication - Mobile Application Part). The gsm-map protocol is a component of the GSM radiocommunication system that describes the signaling functions required in signaling system SS7 to offer the services needed in a mobile network. The etsi standard describes this protocol in a semiformal way that we have formalized (using the sdl formal language), to improve its testability. We have then applied three different testing techniques : embedded testing techniques to perform the test of functional components embedded in the global system, global testing techniques to test the complete protocol and passive testing techniques to verify whether the protocol execution traces are accepted or not by the specification (represented by a finite state machine or by an extended finite state machine).     

Architecture and design of a portable protocol tester

The architecture and design of a new generation portable protocol tester that includes most of the capabilities of dedicated protocol test systems and all of the capabilities of commercial portable testers are discussed. The general tester environment and model of the system under test as viewed by the protocol tester are presented. A conceptual model of a protocol tester that captures its main functional requirements is proposed, and the basic performance requirement is presented. The design and structure of a protocol tester that provides the functional and performance capabilities described are outlined. The implementation utilizes custom VLSI multiprocessors and a special-purpose multiprocessing operating system to allow active and passive testing of more than one system simultaneously. The testing software on each processor is organized as a single process consisting of protocol and test entities with event occurrences being implemented as procedure calls aided by hardware subprocessors. All testing methodologies defined by the ISO, including the ferry method, can be implemented and standardized conformance test suites supported. Suggestions for future extensions to the design are offered     

Alternative protocol for measuring multiple power level of GSM/GPRS mobiles

An alternative protocol for measuring multiple power levels of GSM/GPRS mobiles is proposed. The protocol makes use of the slow associated common control channel to signal the mobile to change the transmission power in consecutive steps with the issue of a single command. Such an arrangement can reduce the overall overhead time required compared with the conventional method in mobile testing equipment, which makes use of the fast associated common control channel to issue consecutive commands to demand the mobile to change its transmission power level. By reducing the testing time, the production throughput of the mobiles can be improved. The theoretical minimum testing times required based on these two protocols are computed. Finally, the new protocol is implemented in the testing equipment and the actual testing times based on these two protocols are compared.     

计算机网络协议测试及其发展

协议测试已经成为计算机网络和分布系统协议中最的领域之一。近年来，协议一致性测试技术得到了很好的发展和完善，与此同时，互操作测试和性能测试逐渐成为新的研究热点。本文在分析协议一致性测试的基础上，对协议测试的发展进行讨论。     

Probabilistic testing of OSI protocols

Protocols are large and complex software systems. Complete conformance testing of an implementation against its standard may not be feasible in terms of the resources available. This paper discusses a new approach, the P-method, to the testing of meaningful subsets of communication protocols for an asynchronous model of communication. The approach is based on the probabilistic verification of protocols, which is carried out on the more probable part of the protocol first. The technique can be used for generating probabilistic test sequences for the conformance testing of communication protocols to standards. The proposed method yields meaningful protocol test sequences which test the most probable behaviors of a protocol when the testing of the complete protocol is not feasible. Probabilistic test sequences can be categorized into different classes. The higher the class a probabilistic test sequence is in, the larger the extent of the protocol it covers, and the better is the fault coverage. If the class of a test sequence is high enough, its fault coverage is comparable to the fault coverage of test sequences generated by other methods. Results from a study of the P-method, using alternating bit protocol (ABP) and a subset of NBS TP4 as examples, support the claims above. It can also be shown that if errors are introduced only to the more probable part of the protocol, the fault coverage of P-method is also comparable to other methods     

下一代因特网IS-ISv6协议一致性测试系统设计

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

An optimization technique for protocol conformance test generationbased on UIO sequences and rural Chinese postman tours

A method for generating test sequences for checking the conformance of a protocol implementation to its specification is described. A rural Chinese postman tour problem algorithm is used to determine a minimum-cost tour of the transition graph of a finite-state machine. It is shown that, when the unique input/output sequence (UIO) is used in place of the more cumbersome distinguishing sequence, both the controllability and observability problems of the protocol testing problem are addressed, providing an efficient method for computing a test sequence for protocol conformance testing