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

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

TSM系统中高层软件测试的方法

任何一个软件，在开发过程中都不可避免地存在错误。软件测试的目的就是跟踪出软件的错误，不同种类的软件开发和测试工具是不相同的。介绍软件测试的基本概念、原理以及方法。主要介绍Telelogical Tau AB公司的TTCN的测试机理，并利用TTCN进行TSM(TD-SCDMA移动通信系统)高层信令测试的方法。     

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

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

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

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

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

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

ITRI‐WiMAXT: A WiMAX conformance testing tool

The WiMAX Forum certifies and promotes the compatibility and interoperability of broadband wireless products where many testcases need to be developed for WiMAX procedures. In this paper, we develop a conformance test tool called ITRI‐WiMAXT based on the TTCN‐3 specifications. Then we show how WiMAX procedures are tested in ITRI‐WiMAXT. Based on ITRI‐WiMAXT, we have proposed several test procedures accepted by the WiMAX Forum. Copyright © 2009 John Wiley & Sons, Ltd.     

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.     

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.