基于TTCN-3重建测试架构的设计与实现

对LTE接入演进型分组系统(EPS)网络架构进行了研究,构造出了对应网络架构中各模块的测试平台;然后对各模块功能进行分离与归纳,提出各模块的实现平台;并在此基础上搭建了无线资源管理(RRM)无线资源控制(RRC)连接重建测试例的一致性测试平台;最后编写RRC连接重建测试例的测试脚本,并在此平台上进行验证。通过对验证结果进行分析,得出了测试用例设计的正确性以及测试平台的可行性与合理性。

基于TTCN的测试执行方法及其应用

测试执行是协议一致性测试系统中的主要部分，本文提出了一种基于测试描述语言ＴＴＣＮ的操作语义对标准测试集进行解释执行的测试执行方法。利用这种方法所实现的一致性测试系统具有很强的灵活性和独立性，同时大大提高了测试的效率。另外，我们还介绍了基于这种测试方法所完成的协议一致性测试系统（ＰＣＴＳ）的总体结构、设计思想以及测试配置。

基于扩展有限状态机的协议测试集生成研究

与其他测试方法相比 ,主要解决了自动生成可执行测试序列的问题 .首先介绍现有的基于扩展有限状态机的测试生成算法 ,这些算法虽然结合了控制流和数据流的测试 ,但是并没有解决测试序列的可执行问题 .重点解决了包含有影响循环测试序列的可执行性问题 ,并通过预先发现循环的中断条件而减少不可用的测试路径的产生 .另外 。

基于随机Petri网模型的网络协议性能测试

分析了协议性能测试需要解决的主要问题，并以随机Ｐｅｔｒｉ网为形式化工具，描述了网络协议的服务质量．提出从随机Ｐｅｔｒｉ网模型到ＴＴＣＮ（ｔｒｅｅａｎｄｔａｂｕｌａｒｃｏｍｂｉｎｅｄｎｏｔａｔｉｏｎ）测试集的转换规则。

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

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

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

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

LTE终端RRC连接重建过程研究与实现

无线资源控制(radio resource control,RRC)连接重建过程在长期演进(long term evolution,LTE)系统中对维持无线链路的可靠性,保证服务的连续性有着重要作用。对LTE系统特性和协议架构进行了介绍,对RRC连接重建过程的应用场景、发起原因、连接重建目的小区的选择、RRC连接参数更新等方面进行了研究;对LTE系统终端侧RRC、分组数据汇聚协议(packet data convergence protocol,PDCP)、无线链路控制(radio link control,RLC)、媒体接入控制(medium access control,MAC)子层的有限状态机和接口信号,以及RRC连接重建过程的信令流程进行了设计;通过规范和描述语言(specification and description language,SDL)/树表结合表示法(tree and tabular combinednotation,TTCN)仿真测试平台验证了RRC连接重建过程的设计与实现符合第三代合作伙伴计划(3rd generation partnership project,3GPP)协议规范。

远程IP/ICMP协议一致性测试研究

在 INTERNET迅速发展的今天 ,作为 INTERNET的核心的 IP协议的地位已日趋重要 ,IP协议的一致性测试已成为协议工程学的研究重点 .ICMP协议作为 IP模块的差错报告和控制报文 ,与 IP协议的一致性测试具有十分密切的关系 .测试实践向 IP/ ICMP的测试活动提出了新的要求——远程测试 .在 PITS系统 〔1〕基础上 ,清华大学 CNPT实验室进一步开发了 IP/ ICMP远程测试模块 .本文分析了 IP/ ICMP一致性测试远程化的可行性 。

跨越Internet的远程异地协议一致性测试研究

在Internet迅速发展的今天,TCP/IP协议族的一致性测试具有重要意义。协议一致性测试研究工作主要集中于两方面:测试组织,测试方法的研究和测试系统的建立;测试集,如何生成高质量的测试集。文章针对跨越Internet的远程异地测试需求,研究了时间透明性问题、测试组织、测试方法和测试系统构成。作者已将这种方法用于PITS系统TCP/IP协议族的远程异地测试子系统的设计。原来为各种本地测试方法所编写的TTCN抽象测试集只需小的修改即可使用。

LTE-TD双模终端切换过程的ERRC研究与实现

从研究时分双工(time division duplex,TDD)模式的长期演进(long term evolution,LTE)技术(TD-LTE)和时分同步码分多址(time division-synchronous code division multiple access,TD-SCDMA)双模系统的必要性出发,对TD-SCDMA和TD-LTE的系统结构及LTE协议栈架构中的无线资源控制(radio resource control,RRC)子层进行了研究;通过对LTE系统间切换原理及LTE-TD系统间切换和测量过程的LTE侧RRC(称为ERRC)子层的研究,设计了ERRC模块的有限状态机和层间交互接口原语,以及LTE-TD的系统间切换过程;通过规范和描述语言(specifi-cation and description language,SDL)/树表结合表示法(tree and tabular combined notation,TTCN)。仿真测试验证平台验证了双模切换的ERRC的设计与实现符合第三代合作伙伴计划(3rd generation partnership project,3GPP)一致性协议规范。

形式化语言在UMTS开发中的应用

由于3G协议规范的复杂性，3GPP方法论指导方针中鼓励使用标准的形式化语言来进行UMTS产品的设计、开发与测试。文中概要性地描述了UMTS的体系结构和在规范描述中用到的一些形式化语言的基本概念和特点，探讨了这些形式化语言在UMTS开发中的应用。使用形式化语言开发UMTS可以简化和改进测试程序，实现新产品与新标准的同步推出。