TD—SCDMA终端的HSDPA射频一致性测试

HSDPA的引入对TD-SCDMA终端的射频性能及基带处理能力提出了更高的要求,也为终端的射频一致性测试引入了新的测试条目.介绍了TD-SCDMA终端HSDPA射频一致性测试涉及的新内容,对3GPP规范给出的测试目的和测试方法进行了分析,通过与W-CDMA终端HSDPA射频一致性测试规范的对比,总结出TD-SCDMA在终端HSDPA射频一致性测试上的特点与尚需完善的地方.     

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

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

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

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

新测试规范介绍——3GPP2的cdma20001xRelease0协议一致性测试

在对2004—2006年cdma2000 1X Release0的协议一致性测试规范重组的研究基础上，对新的3GPP2的协议一致性测试规范结构进行了详细分析。随后，文章对新规范结构中的5个测试规范的内容。以及涉及到的业务和技术一一做了详细描述。     

可测标准中抽象测试套件(ATS)的构造方法

阐述了一致性测试的概念、方法、形式和实施过程,在此基础上对可测标准与被测标准作了划分和理解,结合国际地理信息标准一致性与测试中所给出的构造抽象测试套件的框架,并以"自然资源和地理空间基础信息库(信息库)"项目中一些可测标准的ATS典型实例为研究对象,从中总结了抽象测试套件的构造规律和方法.该方法对可测标准的一致性条款中构造一组层级清晰、目标明确、高质高效的抽象测试套件具有重要的意义.     

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

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

3GPP2对cdma20001XRelease0协议一致性测试规范的重组

对cdma20001XRelease0的协议一致性测试规范的起源、发展历史以及现状进行了详细介绍和分析。根据分析，对3GPP2的协议一致性测试规范重组的原因、目的和重组的方式进行了详细说明。     

基于SWP方案的近场通信终端测试

随着近年来移动支付的迅猛发展,快速安全的NFC刷卡支付成为行业热点,支持NFC功能的移动终端也越来越普及。文章介绍电信运营商主推的SWP-NFC终端的软硬件架构,从一致性测试、功能性测试、兼容性测试三个方面介绍针对SWP-NFC终端的测试规范及方法,分析NFC手机的测试原理、主要测试项目及在各应用场景下的测试要点,为NFC终端质量保证提供参考。     

TD-SCDMA协议中MM、GMM层的一致性测试

协议一致性测试是通信软件设计中很重要的一个方面,通过测试可以知道协议是否符合规范.文中先介绍了GMM和MM的有关协议规范,然后详细介绍了使用TTCN测试工具对TD-SCDMA协议中的MM、GMM模块进行一致性测试的具体实现方法.这种方法对于通信协议软件开发有很好的参考价值.     

LTE终端的一致性测试进展

主要介绍了LTE的起源以及发展,LTE终端一致性测试的规范体系,开发LTE一致性测试规范的RAN5小组及其工作进展.     

Formal methods for generating protocol conformance test sequences

The four major methods of conformance test generation reported in the literature are reviewed: transition tours; distinguishing sequences; characterizing sequences; and unique input/output sequences. These methods are used to test the control portion of a protocol specification. The conformance testing concepts developed in the standards world are summarized. Their relationship with the four formal methods is discussed     

Reliability of conformance tests

Conformance testing is considered from a statistical point of view. An s-confidence interval is found for the reliability that an implementation of a software package complies with specifications of a standard. Determination of whether it complies depends on a conformance test, which is written directly from the standard. Although the conformance test is written directly from the standard it does not test all possible software parameter-settings that invoke the standard. Thus, statistical inference is necessary. A general s-confidence interval for the reliability is given when the specification requires that the implementation passes all the tests in the conformance test suite. The conformance test is made of disjoint homogeneous partitions. The failure probability of the software is based on a weighted linear combination of the partition failure probabilities. An example is included     

基于节点自相似性方法的网络协议测试

针对无线自缎织网络中的协议一致性测试问题,提出一种新的测试算法一节点自相似性方法。利用形式他描述语言SDL对路由协议DSR路德协议进行描述,文章给出了该方法的具体涵义以及应用环境。通过举例,验证了节点自相似性方法能够从实际移动网络的模型中产生测试序列进行测试。     

On testing hierarchies for protocols

The authors consider a protocol specification represented as a fully specified Mealy automata, and the problem of testing an implementation for conformance to such a specification. No single sequence-based test can be completely reliable, if one allows for the possibility of an implementation with an unknown number of extra states. They define a hierarchy of test sequences, parameterized by the length of behaviors under test. For the reset method of conformance testing, they prove that the hierarchy has the property that any fault detected by test i is also detected by test i+1, and show that this sequence of tests converges to a reliable conformance test. For certain bridge sequence methods for constructing test sequences, this result does not always hold. In experiments with several specifications, they observe that given a small number of extra states in an implementation, the sequence of tests converge to a total fault coverage for small values of i, for both reset and bridge sequence methods. They also observe that the choice of characterizing sequence has less effect on fault coverage than the choice of behavior length or number of extra states in the implementation     

Une plate-forme de validation multi-protocoles et multi-services Résultats d’expérimentation

This article presents the implementation of a validation platform based on formal methods and the experimental results obtained. This platform allows performing conformance and interoperability tests, analysing the specification and constructing a performance model for the services. It covers all stages of the validation which are: formal specification, test architecture definition, test generation and execution for the defined architecture, and performance evaluation. The test methods and architectures used here make it easier to detect and localise errors. The platform has been constructed within the framework of theRnrt (National Telecommunications Research Network) platform project, platonis. This platform is composed of a network integrating the different sites of the project partners. The principal application domains for the platform are telecommunication systems and mobile telephony. In particular, two different cases study are presented that illustrate the platform’s applicability to the test of mobile 3rd generation protocols and services usingWap, gprs andUmts. Nevertheless, the platform is generic and can be used for other types of communication protocols and services.     

TD—SCDMA／GSM双模终端RRM一致性测试的实现

终端无线资源管理（RRM）一致性测试是终端入网认证测试的重要组成部分。在3G网络正式运营之后,TD-SCDMA／GSM双模终端RRM一致性测试对终端的研发和认证具有重要意义。文中介绍了基于TTCN的一致性测试原理和测试方法,双模终端RRM一致性测试的具体内容以及组成测试系统的硬件、软件结构。同时结合系统间非同步切换测试例详细介绍了TD／GSM双模终端RRM一致性测试的具体实现并给出了测试的结果。     

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     

基于构造类别代数的变异分析

在通信协议的一致性测试中,可以使用构造类别代数来对协议进行形式化的描述.本文将变异分析引入构造类别代数中,设计了应用于构造类别代数的几类变异算子,并且提出了使用变异分析对基于构造类别代数描述的协议进行一致性测试的基本步骤.这种方法为基于构造类别代数的协议测试提出了一个新的方向.