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

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

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

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

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

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

一种基于TTCN-3的TD-LTE终端协议一致性测试系统的构建

TD-LTE是中国提出的具有自主知识产权的4G移动通信标准,随着该技术的日益成熟和应用研究的迅速发展,越发的凸显出终端的协议一致性测试的重要性。文中首先介绍了协议一致性测试和TTCN-3的基本理论知识,然后简单分析了基于TTCN-3的TD-LTE协议一致性测试平台的设计及实现方案。     

TTworkbench在Web测试中的初步研究

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

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

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

TTCN-3语言编译器符号表的设计和实现

在对TTCN-3核心语言标准的研究基础上,分析了TTCN-3核心语言的前向引用、作用域、名字空间和import机制等方面的规范与特点,以及由此引出的对编译器符号表的设计要求与挑战.给出了基于哈希表结构的实现方法.     

捷联惯导解算算法嵌入式代码自动生成技术及应用

在捷联惯导系统设计开发过程中,采用嵌入式代码自动生成技术,将理论设计过程中产生的Simulink仿真程序直接转换为可在嵌入式系统中执行的C语言代码,以达到缩短研发周期、降低成本的目的.经过实际验证,自动生成的代码可以完成系统功能要求,具有较高的实际使用价值.     

程序框图到源代码的自动转换研究

程序框图与源代码的自动转换是软件工程领域研究的一个重要课题,实现这种转换有不同的技术和方法.一个可选的方法是首先对程序框图之间的各种关系及其含义进行解析,将之分解为顺序执行关系、判断嵌套关系、循环嵌套关系和跳转嵌套关系,在此基础上生成一个自动转换系统.该系统包括用户接口控制模块、图形符号解析模块、代码生成模块、编译执行模块等.自动生成的仿C语言程序在本系统开发环境中能正确运行.     

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

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

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

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

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

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

基于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测试套以及对RIP协议的应用

对协议测试套的产生大部分都是手工寻找的，介绍一个在GE-LOTOS的基础上自动产生TTCN测试套的工具，该工具是基于由形式描述技术语言E-LOTOS转换成的GE-LOTOS．并对Internet上的一个标准路由信息协议(RIP协议)进行了TTCN测试套的应用．     

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

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

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

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