网络协议中的时间约束测试

对协议实现的时间约束进行测试,是验证协议实现的实时特性的重要方法.本文考查了当前实时系统测试方面的进展,结合路由协议测试的实践,修正了现有方法几个不符合实际情况的假设,扩展了时间自动机的理论和思路,将时间约束下的状态机转换成非确定性有限状态自动机,运用Wp方法生成抽象测试集,讨论将抽象测试集参数化的方法.以路由协议RIP的时间约束为例说明了生成基于TTCN测试例的过程.     

3GPP中的协议一致性测试研究

随着 3G技术的进一步发展和成熟 ,现在电信和其他数据通信技术面临着一个进一步融合突破的时代。 3G的发展更推动了全球实现无缝漫游 ,互连互通的需求。这样就为全球的 3G设备制造商提出了更高的要求。但由于各协议实现厂家对协议的不同理解 ,通信设备的协议非一致性问题将日趋严重 ,为了检查各个不同生产厂家的实现是否与标准文本相一致 ,进而确保不同厂家的 3G协议实现之间能够互操作 ,一致性测试是非常必要的。文中根据笔者在 3GPP中T1信令组工作背景为基础 ,并以MAC部分测试结构和方式为例 ,给出了形式化的TTCN格式。全面的论述了 3GPP中的协议一致性测试过程     

基于模型的自动化测试探索

分析测试设计的问题和挑战,结合测试设计和自动化测试的发展,提出基于模型的自动化测试基本思路和解决方案。以TD-RNC的一个特性为例,给出基于该方案的具体实现过程。     

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

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

A Formal Approach to Protocol Interoperability Testing

Porotocol Interoperability testing is an important means to ensure the interconnection and interoperation between protocol products.In this paper,we proposed a formal approach to protocol interoperability testing based on the operational semantics of Concurrent TTCN.We define Concurrent TTCN‘s operational semantics by using Labeled Transition System,and describe the interoperability test execution and test verdict based on Concurrent TTCN.This approach is very helpful for the formation of formal interoperability testing theory and construction of general interoperability testing system.     

基于TTCN3的测试平台的组成研究综述

随着移动通讯网络的发展,TTCN3在协议一致性测平台中得到广泛应用,本文主要介绍在协议一致性测试中,对基于TTCN3语言的测试平台的整体架构和组成进行综述。     

基于TTCN的TD-SCDMA RRM一致性测试研究

协议一致性测试是保证一个网络协议正确实现的关键.在TD-SCDMA 系统设备开发和运行维护中,在验证协议实现的正确性及保证不同厂商所开发设备的互连互通方面,为了节省研发和生产开支,实现通信设备与测试标准同步推出,必须在产品开发设计阶段就同步介入测试,因此协议的一致性测试起着重要作用.在描述协议一致性测试方面,树表结合表示法(TTCN)有着显著的特点,本文研究TTCN在TD-SCDMA RRM一致性测试中的应用.通过分析一致性测试系统模型和TTCN测试系统结构,提出了一种基于TTCN的TD-SCDMA RRM一致性测试方法,并给出了测试系统软件构架图.     

Modeling real-time communication systems: Practices and experiences in Motorola

Visual modeling languages and techniques have been increasingly adopted for software specification, design, development, and testing. With the major improvements of UML 2.0 and tools support, visual modeling technologies have significant potential for simplifying design, facilitating collaborations, and reducing development cost. In this paper, we describe our practices and experiences of applying visual modeling techniques to the design and development of real-time wireless communication systems within Motorola. A model-driven engineering approach of integrating visual modeling with development and validation is described. Results, issues, and our viewpoints are also discussed.     

LTE-TDD终端选网功能的设计与实现

LTE-TDD终端是移动通信重要的演进方向,而选网是移动终端最重要的功能之一。首先对选网过程进行了概述,然后在标准协议分层的基础上,专门设计出一个模块处理非接入层的选网功能,然后对接口原语进行了定义,并给出了重要原语的内容。最后分两种选网模式,对最典型的选网情况进行了流程设计,并介绍了用SDL和TTCN协防真协议软件的方法。