TTCN-3在移动业务网络公共管理中的研究与实现
发布时间:2020-11-11 04:09
TTCN-3(Testing and Test Control Notation–version 3)全名为测试和测试控制表示法第三版,它是一个功能强大的基于响应系统的黑箱测试描述语言。TTCN-3由ETSI(欧洲电信标准协会)所开发,并公布为标准,同时也得到ITU-T(国际电信联盟)的推荐使用。TTCN-3测试语言是目前欧美先进通讯厂商通信协议测试的主流,支持任何的黑箱测试,可以进行多种通讯界面上的各种系统测试。目前国际上许多公司都在应用TTCN-3来实现如互操作性测试、健壮性测试、回归测试、系统和集成测试等等。 制订TTCN-3测试标准的主要目的是用来定义独立于测试方法、层和协议的抽象测试套。本论文就移动业务网络公共管理产品的项目,研究并实现了如何以TTCN-3实现该产品上行(upstream)接口协议的自动化回归测试,包括如何开发抽象测试套,如何实现可执行测试套以及最终如何在特定的目标测试系统(SUT)运行。因此本论文的研究具有较强的实际意义。 本论文首先介绍了协议测试和自动化测试的理论和方法,其次分析了TTCN-3的概念和主要特性,以及TTCN-3开发工具集TITAN的组成结构和工作模式。然后,结合实际工作中产品的解决方案分析了软件测试过程中面临的问题,论述了使用TTCN-3来解决问题的可行性及优势。在接下来的章节里,研究和设计了TTCN-3测试系统的模型和开发流程,根据ISO/IEC 9646-3中对TTCN-3的定义开发了协议数据单元、各类测试组件和通讯端口,特别是对Telnet协议适配层(Telnet Test Port)的研究与实现部分做了详细的描述,包括Test Port的工作模式,抽象服务原语的定义,实时配置参数的设计以及如何定义并实例化通讯端口等等。本文最后对所完成的工作做了总结,并提出下一步的研究方向。
【学位单位】:上海交通大学
【学位级别】:硕士
【学位年份】:2006
【中图分类】:TN929.5
【部分图文】:
被测协议实现的结论。测试的各个方面即相互紧密相连又可以各自成为的是形式化方法。所谓形式化的方法指的是这种理规则,可以用数学模型和规则来描述这种方法基于形式化的方法来进行协议的一致性测试可概念、从理论上分析实际测试活动所获得的测试准确地描述一致性测试过程,从而可以构造通用定义测试描述语言的语法和语义以及形式化的测的测试套,也可以减轻产生测试套所需的巨大测试一般可分为三个阶段(见下图)。
图 3-2 协议测试方法抽象Figure 3-2 Abstract Protocol Testing Method本地测试法本地测试法是协议一致性测试中的最重要的基本方法,因为它说明了许多抽象测试方法中用到的术语和概念。在本地测试法中,上下测试器以及测试协调过程是在同一个系统中实现的。这种方法的一个基本假设是在 SUT 的上下边界都存在暴露的访问接口,测试系统通过这些接口控制对 SUT 输入激励并且观察 SUT 的输出响应,所以这些接口也称为控制观察点 PCO。在本地测试法中的上测试器和下测试器,分别对应于 SUT 的上下接口。上下测试器的作用是在 SUT 的上下接口处通过交换测试事件来观察 SUT 的行为,测试协调过程用于协调上下测试器的动作,下测试器同时记录所有的测试事件以作为测
它们分别是核心语言格式、表格表示格式、图形表示格。核心语言格式在给测试人员编写测试套提供最大便利的同时足机器处理的需要。CN-3 核心语言格式是其他格式语言的基础,类似于程序设计的适用于测试的语法。TTCN-3 操作语法是为了限制 TTCN-3函数、选择步、测试例、模块控制和定义测试行为的语言构操作、if-then-else-或 while-语句等。CN-3 表格表示格式类似于 TTCN-2 表格形式,现在已有相关 到 TTCN-3 的转换。形表示格式中包含了现广泛使用的消息传递序列图 Me Chart Format)格式。MSC 格式既直观易懂,又能通过工别,因而具备良好的通用性。下图是一个简单的测试例 MyT
【参考文献】
本文编号:2878721
【学位单位】:上海交通大学
【学位级别】:硕士
【学位年份】:2006
【中图分类】:TN929.5
【部分图文】:
被测协议实现的结论。测试的各个方面即相互紧密相连又可以各自成为的是形式化方法。所谓形式化的方法指的是这种理规则,可以用数学模型和规则来描述这种方法基于形式化的方法来进行协议的一致性测试可概念、从理论上分析实际测试活动所获得的测试准确地描述一致性测试过程,从而可以构造通用定义测试描述语言的语法和语义以及形式化的测的测试套,也可以减轻产生测试套所需的巨大测试一般可分为三个阶段(见下图)。
图 3-2 协议测试方法抽象Figure 3-2 Abstract Protocol Testing Method本地测试法本地测试法是协议一致性测试中的最重要的基本方法,因为它说明了许多抽象测试方法中用到的术语和概念。在本地测试法中,上下测试器以及测试协调过程是在同一个系统中实现的。这种方法的一个基本假设是在 SUT 的上下边界都存在暴露的访问接口,测试系统通过这些接口控制对 SUT 输入激励并且观察 SUT 的输出响应,所以这些接口也称为控制观察点 PCO。在本地测试法中的上测试器和下测试器,分别对应于 SUT 的上下接口。上下测试器的作用是在 SUT 的上下接口处通过交换测试事件来观察 SUT 的行为,测试协调过程用于协调上下测试器的动作,下测试器同时记录所有的测试事件以作为测
它们分别是核心语言格式、表格表示格式、图形表示格。核心语言格式在给测试人员编写测试套提供最大便利的同时足机器处理的需要。CN-3 核心语言格式是其他格式语言的基础,类似于程序设计的适用于测试的语法。TTCN-3 操作语法是为了限制 TTCN-3函数、选择步、测试例、模块控制和定义测试行为的语言构操作、if-then-else-或 while-语句等。CN-3 表格表示格式类似于 TTCN-2 表格形式,现在已有相关 到 TTCN-3 的转换。形表示格式中包含了现广泛使用的消息传递序列图 Me Chart Format)格式。MSC 格式既直观易懂,又能通过工别,因而具备良好的通用性。下图是一个简单的测试例 MyT
【参考文献】
相关期刊论文 前1条
1 高翔,蒋凡,杨敬峰,李贺禄;TTCN-3研究综述[J];计算机工程与科学;2004年06期
本文编号:2878721
本文链接:https://www.wllwen.com/guanlilunwen/gonggongguanlilunwen/2878721.html