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

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

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

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

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

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

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

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

基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

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

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

基于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和MSC

计算机网络中,描述一种协议并对其进行标准化并不能确保成功的通信,这是因为协议标准目前基本上是使用自然语言描述的,对协议的不同理解会导致不同的协议实现.一致性测试就是测试协议实现是否符合协议说明.TTCN是一致性测试中最常用的技术,本文介绍了目前在协议的一致性测试中最常的技术TTCN的发展,以及可以将测试用例可视化的技术MSC.     

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

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

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

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

基于实例的程序测试类型分析

程序测试无疑是保证程序质量的关键步骤。提出新的程序测试类型：在编码过程中测试、系统性测试、自动化测试、测试台测试、目的性测试，并附以实例说明每种类型适用的情况。     

网络测试中的Web测试

介绍了Web系统开发过程在按照网络生命周期划分的各个阶段中所进行的主动测试内容．     

分离式和交际法听力测试的比较

听力测试是语言测试的重要组成部分，也是了解个体语言行为的一种重要手段。数十年来，分离式听力测试模式被广泛应用于各类英语考试中。然而，近年来有很多学者对分离式测试的有效性提出了质疑，他们认为现行的英语听力理解考试不能真正体现受测者的实际语言运用能力。同时，交际法听力测试随着交际法理论的发展而越来越受到人们的关注。这两种测试各有利弊，不能只是简单舍弃，而应扬长避短。     

软件测试技术及其支持工具介绍

针对软件测试的概念、方法、基本过程和软件测试自动化的基本理论，详细说明了软件测试及其自动化中需要注意的问题和解决方法，以及如何正确地选择和有效地运用各种测试方法、技术和工具，提高软件的质量和可靠性，以期愈来愈多的人认识到软件测试的重要性．最后介绍了Parasoft公司3个很有特色的软件测试支持工具．     

民航英语测试理据与设计研究

民航英语测试是专门用途英语测试的一个重要分支,其测试内容和形式与民航英语专业性和真实性的特点紧密相连。通过对民航英语测试进行界定,并以交际语言测试理论为基础,从民航英语测试目的、测试任务、测试情境及测试参与者四个维度探讨民航测试的设计原则,旨在深化专门用途英语测试研究。     

浅谈企事业单位软件测试体系的建立

在介绍软件测试的基础上,阐述了如何建立企事业单位软件测试体系。     

面向对象软件测试探讨

面向对象软件测试是面向对象软件开发的不可缺少的一环，是保证软件质量，提高软件可靠性的关键．但目前的研究现状与面向对象的分析、设计技术以及程序设计语言的研究相比尚显薄弱．本在分析面向对象程序设计语言对软件测试影响的基础上，讨论了面向对象软件测试的测试策略及测试技术．     

嵌入式软件测试策略研究

嵌入式实时系统的应用越来越广泛，其可靠性更加依赖于嵌入式软件的质量。对嵌入式软件进行测试是提高其质量的重要手段之一。本文主要研究了嵌入式软件的测试策略，分别讨论了基于主机的仿真环境下和基于目标机平台下如何测试嵌入式软件。     

统计测试中操作剖面的一种优化设计方法

为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,对测试剖面进行优化成为必需.采用客户需求和测试需求作为约束,模型静态参数或其他统计质量标准作为优化目标,提出了一种基于约束优化的测试剖面最优化计算框架.通过扩展蚁群算法研究了一种求解优化测试剖面的方法.实验表明,相对于传统的函数最优化方法,使用启发式的蚁群算法具有更好的优化效果,并且更具通用性.在统计测试中使用经过优化的测试剖面可以生成统计意义上符合测试需要的用例集合,提高测试效率.     

嵌入式软件测试策略研究

嵌入式实时系统的应用越来越广泛，其可靠性更加依赖于嵌入式软件的质量。对嵌入式软件进行测试是提高其质量的重要手段之一。本文主要研究了嵌入式软件的测试策略，分别讨论了基于主机的仿真环境下和基于目标机平台下如何测试嵌入式软件。