基于C++语言转换的TTCN-3执行器的设计与实现

在TTCN-3标准与执行语义研究的基础上,提出一种将TTCN-3语言翻译成C 语言的转换方案.首先将TTCN-3书写的抽象测试套翻译为C 语言,在翻译语言中添加执行要素,从而生成可执行的测试套,然后执行器调度该测试套完成测试套的执行.这种方案已经应用在新设计的TTCN-3测试系统中.运行结果表明,基于C 语言转换的TTCN-3测试系统在总体性能上比编译成内存对象并执行的方式有一定的提高.     

一种TTCN测试套自动生成方法研究

简要介绍了TTCN-3标准的第三部分GFT（Graphical presentation Format，图形表示格式），并且根据GFT与TTCN-3核心语言的内在关联以及标准中的语法规定设计开发了一套由图形表示格式自动生成用核心语言描述的测试套的转换工具，从而可以减少测试相关人员在测试套开发过程中的工作量。     

基于属性的协议互操作性测试的TTCN-3实现

目前对路由协议的测试主要集中在一致性测试,对于像OSPF这样的复杂协议,对其进行互操作测试非常必要.传统的协议互操作性测试是基于被测系统的形式化模型生成测试序列,对测试序列进行测试例抽象,最终得出测试判定.传统方法简单易行,但当测试序列较长时相应问题随之而来.采用TTCN-3语言对基于属性生成的测试序列进行测试用例的实现,结果说明采用基于属性作为模型选择的方法并结合使用TTCN-3实现测试用例可以有效提高测试效率.     

一种实现TTCN-3测试系统TCI-CH接口的方法

通过深入研究TTCN-3测试系统TC I-CH接口的功能与特性,提出了一种使用CORBA技术实现TC I-CH接口的方法,并利用模拟环境对实现作了验证.     

基于TTCN-3的Web应用负载测试方法

针对Web应用负载测试的需要,提出了一种基于TTCN-3的Web应用负载测试方法。采用TTCN-3函数建模用户访问Web应用的基本行为,通过并发测试组件模拟并发用户行为。由主测试组件创建大量并发测试组件形成负载,并协调不同测试节点上的并发测试组件实现负载测试。为便于组织实施测试,设计了基于TTCN-3的分布式负载测试框架。将该方法用于网上书店的测试,验证了该方法的可行性与有效性。     

基于TTCN-3的移动IPv6并行测试的设计与实现

协议的一致性测试是保证协议实现正确的重要手段.在通常的一致性测试中,如果一个协议中有多个角色,需要同时使用多台测试机对协议实现进行测试.本文介绍了一种使用TTCN-3（Testing and Test Control Notation version 3）这一新的国际标准化测试语言,对移动IPv6协议实现进行并行测试的设计方案,并重点分析了多PTC（Parallel Test Compo-nent）情况下,测试适配器的开发方法.该适配器与使用TTCN-3编写的测试例结合后,只使用一台测试机就可以实现并行测试.使用这样的测试方法可以使得测试人员专注于协议的逻辑过程,而不必关心底层的编码工作.     

基于TTCN-3的移动IPv6并行测试的设计与实现

协议的一致性测试是保证协议实现正确的重要手段.在通常的一致性测试中,如果一个协议中有多个角色,需要同时使用多台测试机对协议实现进行测试.本文介绍了一种使用TTCN-3(Testing and Test Control Notation version 3)这一新的国际标准化测试语言,对移动IPv6协议实现进行并行测试的设计方案,并重点分析了多PTC(Parallel Test Component)情况下,测试适配器的开发方法.该适配器与使用TTCN-3编写的测试例结合后,只使用一台测试机就可以实现并行测试.使用这样的测试方法可以使得测试人员专注于协议的逻辑过程,而不必关心底层的编码工作.     

多小区一致性测试平台的研究与验证

TD-LTE(time division-long term evolution)无线资源管理一致性测试是检验TD-LTE终端是否符合协议标准的重要手段.鉴于传统一致性测试平台存在不足之处,无线资源管理一致性测试搭建了基于TTCN-3(testing and test control notation version 3)的一致性测试平台,并分析了该测试平台相对于传统测试平台的优越性.利用TTCN-3软件编写测试例并进行测试.通过分析测试流程图可以得出,一致性测试平台的可行性,并验证了该平台相对于传统平台的优越性.     

专用短程通信协议一致性测试平台设计与分析

为实现对专用短程通信协议进行自动化协议一致性测试,设计实现了一种以TTCN-3语言为工具的专用短程通信协议一致性测试平台,并使用有限状态机的模型对部分协议测试套进行了设计开发和测试验证.通过实际的测试和对结果的分析,证明该测试平台可以正确的实现协议一致性测试,验证了专用短程通信协议一致性测试的可行性.该平台为后续专用短程通信协议一致性测试系统的建立和完善提供了必要的技术基础和保证.     

TTworkbench在Web测试中的初步研究

为了更好地应用TTCN-3对Web应用系统进行测试,本文介绍了TTCN-3测试系统的基本原理和Web应用程序的特点,同时介绍了应用testing-tech公司的产品TTworkbench对Web应用系统进行测试的原理和步骤,最后以某网上书店的查询功能为例,给出了TTworkbench在Web测试中的初步研究,结果证明本文的方法对其他Web应用系统的测试提供了依据。     

一种TTCN测试套自动生成方法研究

简要介绍了TTCN3标准的第三部分GFT(Graphical presentation Format,图形表示形式)，并且根据GFT与TTCN3核心语言的内在关联以及标准中的语法规定设计开发了一套由图形表示格式自动生成用核心语言描述的测试套的转换工具，从而可以减少测试相关人员在测试套开发过程中的工作量。     

基于LTE-A系统邻近业务(ProSe)直接通信的设计与实现

3GPP在LTE-A系统中引入了邻近业务(proximity-based services,Pro Se)来提高频谱利用率和降低基站负荷。终端通过基站分配的频谱资源进行直接通信,从而提高无线频谱资源的利用率,而UE间邻近业务成功建立后,基站的负荷得以降低。提供了邻近业务直接通信场景,提出了2种邻近业务直接发现方式,并基于第二种发现方式设计了直接通信建立的流程,搭建了基于TTCN-3(Testing and Test Control Notation version 3,测试与测试控制描述第三版)测试系统的多终端一致性测试平台,而后将设计流程抽象化,在搭建的平台上进行一致性测试,最终验证了邻近业务(Pro Se)直接通信的流程设计与协议的一致性,为该业务的开发奠定了基础。     

TTCN-3编译系统的语法分析自动工具YACC的实现

研究了Windows平台下TTCN-3编译系统的语法分析自动生成工具(YACC)的实现过程，并对该系统作了初步测试，对主要算法作了简单的评述．     

TTCN- 3编译器作用域在符号表中的表示与实现

文章提出了一种基于哈西表结构的符号表的符号作用域的表示方法——符号串来表示符号的作用域.同时给出了该结构符号表中构造符号作用域的算法和使用方法,并将这种方法运用在TTCN-3编译器的符号表设计中.     

基于反馈的可信网络软件验证与测试集成框架研究

形式化方法被认为是高可信软件工程必不可少的工具,但是软件测试依然是提高软件质量最有效的方法.为此基于TTCN-3的测试集成环境,提出一种基于反馈的框架,可扩展地集成形式化规约和形式化证明方法,并把形式化方法和测试工程有效地结合起来,提高了测试的充分性和必要性.