TD-LTE接入层安全性设计与实现

在研发时分-长期演进(TD-LTE)无线终端综合测试仪时,一致性测试有着非常重要的作用。基于此,选用规范描述语言(SDL)与树表描述语言TTCN(Tree Tabular Combine Notation)对接入层安全性的设计进行了仿真测试,提出了一种基于SDL+TTCN的测试方法。最后采用ARM Work-bench IDE编译软件在ARM1176JZF-S芯片上对测试后的效果进行了验证。     

基于协议集成测试系统的IP v4协议一致性测试

TCP/IP协议实现的一致性测试是保证Internet网络设备之间互连与互操作的基础.该文基于协议集成测试环境进行了IP（Internet protocol）协议一致性测试研究和实际测试,并针对IP端系统和中继系统分别采用了分布式和远程横断式测试法,设计生成了IP一致性测试集.并且已将IP协议的一致性测试应用到路由器的开发和研制过程中.     

基于形式化方法的因特网路由协议的一致性测试

并发数表组合表述法(并发TTCN)是可以描述并发测试行为的测试表述法.该文提出一种基于并发TTCN的分布式路由协议的测试方法.首先讨论路由协议实体的测试结构,然后给出基于并发TTCN测试系统的设计.最后介绍了测试集的设计.     

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

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

基于TTCN的IPv6协议测试

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

手机游戏软件一致性测试方法研究

在概述手机游戏开发和测试方法之后,重点讨论手机游戏采用的WAP（Wireless Application Protocol,简称WAP）协议。结合WAE（Wireless Application Environment,简称WAE）,WAP协议的应用层,一个用MSC图（Message Sequence Chart,简称MSC）描述的游戏协议模型被提出;为了辅助游戏测试,给出了一个基于TTCN的手机游戏测试套框架。为了指导上述模型的应用,介绍一个由Nokia公司开发的苹果机游戏的测试工作。     

A formal approach to protocol performance testing

This paper proposes a formal approach to protocol performance testing based on the extended concurrent TTCN,To meet the needs of protocol performance testing,concurrent TTCN is extended,and the extended concurrent TTCN‘s operational semantics is defined in terms of Input-Output Labeled Transition System.An architecture design of protocol performance test system is described,and an example of test cases and its test result are given.     

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.     

TSM终端系统内异步切换分析及一致性测试

首先对TSM终端系统内异步切换流程进行了介绍和分析,然后根据实际的测试步骤,以终端的HL1为测试模块进行了一致性测试,并得到了仿真结果。一致性测试对于保证相应代码与协议的一致性,减少产品运行时发生错误的风险性具有十分重要的价值。     

TD-SCDMA协议一致性测试研究

协议软件是无线通信系统中很重要的软件。协议软件的测试是完善一个协议栈软件必不可少的方法。协议测试有三种类型：一致性测试、互操作性测试和性能测试。一致性测试是协议测试的基础。作为当今移劝通信研究热点之一的TD—SCDMA系统，其通信软件实现是否符合协议的要求在很大程度上影响着TD—SCDMA系统的前景，因此，有必要进行专门的协议测试。采用TTCN作为测试工具，对TD—SCDMA系统中的协议测试进行了研究。