TTCN-3 语言非侵入式调试技术

TTCN-3(Testing and Test Control Notation version 3)是一种形式化的测试描述语言,被广泛应用于协议测试等领域。由于测试套的复杂度越来越高,测试人员迫切需要能够调试TTCN-3语言的技术。本文提出了一种非侵入式的TTCN-3语言调试方法,通过驱动第三方调试器对TTCN-3语言编译后生成的目标代码进行调试,同时结合语句映射和符号解析等算法,实现了基本的调试功能。实验结果表明,该调试技术对测试系统的执行性能影响非常小,能更好的满足对大型测试套的调试需求。     

基于TTCN-3表格形式的OSP测试例

为了满足日益增长的测试需求,欧洲电信标准协会推出了新一代测试描述语言TTCN-3。TTCN-3的表格形式不仅是其核心语言的一种表现形式,而且强调了如何满足协议一致性测试的需求。文中研究了TTCN-3的表格形式,并提出了一个用表格形式描述的OSP协议的测试例。该测试例可以被应用于OSP协议的一致性测试。     

基于TTCN-3底层协议测试方法研究*

TTCN-3测试语言不仅可以应用于普通的协议测试,也可以应用于硬件系统、应用服务系统以及与操作系统和硬件相关的服务型底层协议的测试。将协议一致性框架应用到TTCN-3中,在原有测试方法基础上,基于本实验室开发的测试平台,提出了一种新的测试方法,并以ARP为例按照新的测试方法对其进行测试,验证了ARP的一致性和TTCN-3语言应用于底层协议的可能。     

基于TTCN-3的LDP一致性测试研究

为了满足LDP的一致性测试需求,并突破原有LDP一致性测试中测试方式简单、测试程序不易于理解和测试语言描述能力弱的局限,基于TTCN-3测试描述语言研究了LDP一致性测试;在自行研制的分布式并发测试系统PITSv3的基础上设计扩展了针对LDP的测试适配器模块;设计了LDP的测试集并使用TTCN-3语言实现了该测试集,从而完成了PITSv3系统对LDP的功能扩展。最后进行了PITSv3系统对于LDP的一致性测试实践。     

面向对象的TTCN-3测试系统的实现

TTCN-3是一种被ETSI和ITU-T标准化的新一代协议和软件测试捕述表示法，有着广泛的应用前景。该文在对TTCN-3标准研究的基础上，以面向对象的思维描述了TTCN-3测试系统的总体结构的同时，探讨了编译系统和执行环境的具体史现和相戈算法，并给出了该标准的评价及应用标准。     

TTCN-3测试套开发模式及其应用

在测试系统应用研究的基础上,分析TTCN-3测试系统结构,提出适用于软件测试和协议测试的TTCN-3测试套开发模式。该模式借鉴设计模式和模板库思想,在设计和重用抽象测试套和可执行测试套两方面有所突破,可以显著提高测试系统的可复用性和可扩展性,缩短测试系统的开发周期。结合GSM的移动应用部分(MAP)协议栈测试为例,说明该测试套开发模式的实际应用。     

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

TTCN-3是一种用于协议与软件测试的标准化测试语言。本文在对TTCN-3核心语言标准的研究基础上分析了TTCN-3核心语言的前向引用和Import机制等方面的规范与特点,设计并实现了一种TTCN-3符号表组织结构。在此基础上完成了TTCN-3到中间语言的编译转换。     

6LoWPAN协议一致性测试方法及仪表设计

针对6LoWPAN协议栈的MAC层、适配层、网络层及路由协议,研究6LoWPAN协议的一致性测试方法,将TTCN-3测试标准引入到无线传感器网络协议的一致性测试领域,设计了一套以TTCN-3为协议测试描述语言、以ISO9646中定义的协议一致性测试模型为方法的6LoWPAN协议一致性测试仪表.     

面向IPv6的协议测试技术

网络协议测试是检验网络协议实现的一个关键性方式,它是在软件测试的基础上发展起来的。面向IPv6的协议测试技术作为它的一个分支,则是为了验证IPv6协议栈是否满足协议标准而提出的。文章详细介绍了针对小设备上的IPv6协议栈开发过程中所用到的一致性测试工具和方法,包括:PacketGenator,TAHI Project,and TTCN-3,并结合Ethereal抓包软件,对项目组自行开发的协议栈进行测试,实测效果良好。     

TTCN-3测试系统的设计与实现

TTCN-3是一种新的标准化测试语言,文章提出了基于TTCN-3的协议一致性测试系统的设计方法,它使用可执行对象树表示TTCN-3可执行测试套,提供了灵活的并发测试组件调度方式和解释执行机制,并描述了依据该方法实现的TTCN3Runner的系统结构。     

AUTOSAR标准一致性测试研究

分析AUTOSAR一致性测试过程,采用eclipse、TTthree、μTTman等工具,基于TTCN-3测试系统架构,实现AUTOSAR一致性测试。针对简单信号灯系统,研究测试系统中测试套、编解码器和适配器的功能及相关实现方法,并验证采用TTCN-3进行AUTOSAR一致性测试的可行性。     

Standardized TTCN-3 specifications for SIP-ISUP/ISDN interworking testing

ETSI technical committee TISPAN currently funds the development of TTCN-3 network integration test suites using TTCN-3. Specialist task forces (STF) have already been initiated to implement and validate abstract test suites focusing on, e.g., SIP/ISUP and SIP/ISDN interworking units. In this paper, we report on our implementation approach and experiences made in the STF on testing interworking between SIP and ISDN/ISUP. Special attention has been given to the reuse of know-how and of existing TTCN-3 code available due to the existing SIP conformance test suite and the TTCN-3 test framework developed by ETSI for IPv6. Validation has been done using the test laboratory of a telecom network provider.     

基于TTCN-3的手机网络应用软件测试方法研究

介绍了手机网络应用软件的主要开发技术,概述了TTCN-3标准规范中的TTCN-3核心语言、TTCN-3运行时接口和TTCN-3控制接口的基本概念,并在对手机网络应用软件网络连接方式分析的基础上,提出了基于TTCN-3的手机网络应用软件测试方法,说明了使用TTCN-3测试手机网络应用软件的测试流程.通过给出一个手机网络应用软件的测试实例,展示了这种测试方法的可行性.     

测试用例集约简问题研究及其进展

测试用例集约简问题是软件测试中的关键问题之一,其目的是使用尽可能少的测试用例充分满足给定的测试目标,从而提高测试效率、降低测试成本。在简要介绍了测试用例集约简问题基本概念的基础上,总结了求解该问题的几种主要方法,分析比较了这些方法的效率和特性。随后探讨了与测试用例集约简问题强相关的测试用例集错误检测效率的问题,并研究了测试用例优先级技术。最后指出了测试用例集约简问题的下一步研究方向。     

基于MSC的网络游戏软件测试方法研究*

针对网络游戏软件测试方法研究方面的不足,结合基于模型测试方法和TTCN测试技术,对网络游戏软件可玩性的测试方法进行研究。采用MSC图作为网络游戏玩法建模工具,建立玩法测试模型;用TTCN-3核心语言对玩法测试模型加以实现;结合一个具体的网络游戏软件测试案例,给出上述测试方法和技术的解释。从理论角度验证了基于模型测试方法在网络游戏软件测试上的可行性;从技术角度表明了TTCN对网络游戏软件测试的有效性。     

基于TTCN-3的Web应用功能测试方法

针对日益增长的Web应用功能测试需求与测试重用需求,提出了一种基于TTCN-3的Web应用功能测试方法。该方法结合分层测试的思想以及TTCN-3的特点,提出将Web应用功能测试划分为页面内容测试、会话管理测试、使用场景测试等3个层次,并分别从这3个层次给出了采用TTCN-3进行测试的过程。该方法应用TTCN-3参数化设计测试用例的思想,有效分离了测试设计与测试实现,使测试用例具有高可重用性。结合实例,表明了该方法的有效性。     

协议测试标准TTCN-3的实现

TTCN-3是ITU-T等国际组织制定的用于协议和软件测试的最新标准。通过分析TTCN标准的发展历程。该文比较两种不同的测试实现方法,并详细介绍了以虚拟机方法建立的TTCN-3测试执行系统。该系统突破了目前国内外广泛采用的语言翻译系统的结构,在提高测试效率的同时增强了测试系统的实用性。     

TCP/IP协议栈基于语法的健壮性测试

目前,随着Internet的急速发展和功能的不断扩展,基于Internet的各种应用迅速增加,其核心协议栈TCP/IP的健壮性显得尤为重要。本文提出一种简单的黑盒测试方法-fuzz测试。该方法以协议本身的语法为基础,通过ISIC工具组随机产生大量测试报文,发往被测试路由节点,最终通过观察TCP/IP协议栈的响应结果来评估其健壮性。     

Test suite development with TTCN-3 libraries

This paper presents a methodology for test suite implementation based on Testing and test control notation (TTCN)-3 libraries which has been developed and successfully applied for the implementation of complex, standardized Internet Protocol version 6 (IPv6) conformance test suites at ETSI. It introduces the concept of a TTCN-3 library, discusses benefits and challenges, and examines the effect of some important TTCN-3 language constructs on reuse. Finally, it explains in detail a layered library design approach to test implementation in the context of a IPv6 test suite.