基于TTCN-3的移动业务测试平台的设计

合集下载

TTCN在TETRA系统中的实践运用

TTCN在TETRA系统中的实践运用

定。

基于TTCN的多种测试应用研发,TETRA R5二代系统很多功能都通过高效准确的自动化测试,促使R5系统能按时并高质量完成发布。

目前海能达TETRA系统已应用于马来西亚、荷兰、香港、深圳、长沙等地的重要项目。

因此,严谨且全面的TTCN测试机制保证了产品研发品质,赢得了客户信赖与尊重。

本文就T T C N -3在T E T 系统实践应用方面,对相应自动化设计的原和进行了简要阐述,阐明了TTCN-3在TETRA系统测试中的优势。

2 TTCN 技术简介2.1 TTCN-3优势T T C N -3是由E T S I (E u e a l e c o m m u n i -cations Standards Institute,欧洲电信标准化协会)制定的标准化测试描述语言,现已被公布成为ETSI ES 201 873系列标准文件。

与其它测试脚本语言相比,TTCN-3语言优点主要体现在支持现行的测试规范,内部配对机制强大,支持定时器,可在运行时进行测试配置,而且TTCN-3不局限于特定的应用和使用接口,也不限于特定测试执行环境、编译程序或操作系统,TTCN-3能兼容导入其它开发代码。

正因为上述特性及灵活机制,TTCN-3技术被广泛应用于大规模、复杂的工业测试,国内外大型通信类企业通常会运用TTCN进行互操作性测试、协议测试、接口测试、功能集成测试等。

2.2 TTCN-3测试系统在T T C N -3标准规范的部分中,对TTCN-3测试系统的概念模型进行了描述。

系统主要测试管理和配置(T M )、测试行(T E )、被测系统适配器()和平台适配器(P A )组成。

中T M 与T E 的接口称为测试控制口(TCI),TE与SA/PA间的接口称为测试运行时接口(TRI),如图1所示。

其中,T M 组件负责全面管理,包括用户接口的实现和试执行的管理。

TE负责解释和执行TTCN-3抽象测试套(ATS)。

SA负责适配TTCN-3测试系统和被测系统之间所有基于消息的通信和基于过程的通信到一个特定的执行平台。

《基于CPN和TTCN-3的软件并发行为的测试》范文

《基于CPN和TTCN-3的软件并发行为的测试》范文

《基于CPN和TTCN-3的软件并发行为的测试》篇一一、引言随着信息技术和计算机科学的飞速发展,软件系统的复杂性和并发性日益增加,软件测试成为了确保软件质量、可靠性和性能的重要手段。

本文将探讨基于CPN(Colored Petri Nets,彩色Petri网)和TTCN-3(Test and Test Control Notation 3,测试与测试控制标记法)的软件并发行为测试方法。

我们将首先介绍CPN 和TTCN-3的基本概念和特点,然后详细阐述如何利用这两种技术进行软件并发行为的测试。

二、CPN和TTCN-3概述1. CPN概述CPN是一种形式化建模工具,通过图形化表示来描述并发系统的行为。

它具有直观、易理解的特点,能够有效地描述系统中的并发、同步和通信等行为。

CPN的彩色元素可以表示系统中的不同对象和状态,使得模型更加丰富和细致。

2. TTCN-3概述TTCN-3是一种用于描述和执行测试用例的标记法,具有高度的灵活性和可扩展性。

它支持多种测试场景的描述,包括并发、同步、通信等,能够有效地对软件系统进行全面测试。

TTCN-3的语法简单明了,易于学习和使用。

三、基于CPN和TTCN-3的软件并发行为测试方法1. 建模阶段首先,根据软件系统的需求和设计,使用CPN进行建模。

在模型中,通过彩色元素表示系统中的不同对象和状态,描述系统中的并发、同步和通信等行为。

建模过程中,需要确保模型的准确性和完整性,以便后续的测试工作。

2. 测试用例设计在建模完成后,根据模型中的行为和状态,使用TTCN-3设计测试用例。

测试用例应覆盖系统中的各种并发行为、同步行为和通信行为等,以确保系统的全面测试。

在设计测试用例时,需要考虑并发行为的复杂性和随机性,以及系统可能出现的异常情况。

3. 测试执行与验证使用TTCN-3的执行工具执行测试用例,并观察系统的行为。

在测试过程中,需要关注系统的并发性能、同步性能和通信性能等方面。

TTCN3介绍

TTCN3介绍

测试例执行结束后返回的判决结果
P F I MTC F PTC1 P PTCN I
setverdict(fail)
setverdict(pass)
setverdict(inconc)
TTCN-3核心语言-组成要素4 (1/9)
TTCN-3
类型( ) 数据 类型(1) 数据(2) 测试 数据(2)
TTCN-3中的测试行为主要通过 进行定义。 function和 testcase进行定义。 输入参数,函数体,返回值, Function:输入参数,函数体,返回值, 与c类似 内容: Function内容: 基本程序语句 行为程序语句 操作关键字
: testcase myTestcase () runs on MTCType system TSIType Other Types { mydefault := activate (OtherwiseFail); & Values 3 verdict.set(pass);
XML
Graphical Format
内容提纲
总结 基于TTCN 基于TTCN-3的测试平台 TTCNTTCNTTCN-3的核心语言 TTCNTTCN-3系列标准 TTCNTTCN-3背景知识
10
内容提纲
总结 基于TTCN 基于TTCN-3的测试平台 TTCNTTCNTTCN-3的核心语言 TTCNTTCN-3系列标准 TTCNTTCN-3背景知识
Presentation Format n
TTCN-3 系列标准(2/3)
msc mi_synch1_conc1 mtc ISAP1 MSAP2
ASN.1 Types & Values
Other Types IDL & Values 2

基于TTCN-3的HINOC MAC测试软件TRI和TCI接口设计

基于TTCN-3的HINOC MAC测试软件TRI和TCI接口设计

基于TTCN-3的HINOC MAC测试软件TRI和TCI接口设

王敏超;段晋通;张冰
【期刊名称】《网络新媒体技术》
【年(卷),期】2013(002)001
【摘要】研究了HINOC MAC协议测试实现方案和关键接口设计.首先提出了基于TTCN-3的HINOC MAC协议一致性测试平台架构,它包含测试例开发和协议适配器接口开发两部分.重点设计开发TRI(TTCN-3 Runtime Interface)和
TCI(TTCN-3Control Interface)接口,以实现信息帧的发送与接收、定时器操作以及编码与解码功能.最后通过搭建实际的测试平台对接口的有效性进行验证,实验结果表明该设计方案可以实现HINOC协议MAC层信令的测试.
【总页数】9页(P43-51)
【作者】王敏超;段晋通;张冰
【作者单位】西安电子科技大学ISN国家重点实验室陕西西安710071;西北核技术研究所陕西西安710024;西安电子科技大学ISN国家重点实验室陕西西安710071;西安电子科技大学ISN国家重点实验室陕西西安710071
【正文语种】中文
【相关文献】
1.基于TTCN-3的SIP协议软件测试方法研究 [J], 赵会群;赵洁;孙晶
2.基于TTCN-3的手机网络应用软件测试方法研究 [J], 尚思超;赵会群;陈萍
3.基于TTCN-3的HINOCMAC测试软件TRI和TCI接口设计 [J], 王敏超;段晋通;张冰;
4.基于TTCN-3的HINOCMAC信令协议一致性测试 [J], 魏琼琼;王敏超;张晓娜;张冰;
5.基于TTCN-3的HINOC MAC信令协议一致性测试 [J], 魏琼琼;王敏超;张晓娜;张冰
因版权原因,仅展示原文概要,查看原文内容请购买。

基于TTCN—3的LTE终端一致性测试集设计概述

基于TTCN—3的LTE终端一致性测试集设计概述

基于TTCN—3的LTE终端一致性测试集设计概述作者:王晰杨骅来源:《移动通信》2013年第24期【摘要】TTCN-3测试集是LTE终端一致性测试仪表在开发及使用中重要的软件支撑。

通过介绍TTCN-3语言与LTE终端一致性测试框架,重点从TTCN-3测试集的主要构成、基于TTCN-3的LTE终端一致性测试代码的流程与接口设计这两方面对TTCN-3在LTE终端一致性测试中的应用进行了详细阐述。

【关键词】TTCN-3 LTE 终端一致性测试中图分类号:TN929.5 文献标识码:B 文章编号:1006-1010(2013)-24-0056-071 引言LTE作为新一代移动通信的主流技术,在全球得到了快速发展并展开商用。

终端一致性测试的主要目标是能够通过完成一致性相关要求测试内容,进行国际化终端一致性认证,以保证不同厂家的终端在网络内的表现一致,并能够与不同厂家的系统设备、终端互联互通,是运营商、手机厂家等非常关注的一项测试。

LTE终端一致性测试需求由GCF(Global Certification Forum,全球认证论坛)提出,3GPP RAN5制定了一系列文本级测试规范,ETSI(European Telecommunication Standards Institute,欧洲电信标准化协会)与TDIA(Telecommunication Development Industry Alliance,TD产业联盟)合作开发基于TTCN-3语言的LTE协议一致性测试代码集,其中ETSI主要负责LTE FDD的开发,TDIA主要负责TD-LTE的开发。

仪表厂家需要依据该统一的测试集进行终端一致性测试平台开发。

基于TTCN-3的LTE终端一致性测试集验证通过后提交GCF和3GPP进行发布,作为标准测试集供第三方认证实验室对入网LTE终端进行测试认证。

2 TTCN-3语言与LTE终端一致性测试框架TTCN-3语言由ETSI开发和维护,是一种专门为终端一致性测试和认证设计的标准化测试技术,其测试架构提供了控制测试执行的标准接口TRI和TCI,以方便测试平台的开发。

多模终端测试平台的搭建及仿真实现

多模终端测试平台的搭建及仿真实现

多模终端测试平台的搭建及仿真实现陈发堂;吴中华;张有缘;许小寒【摘要】为了改善现有终端测试平台的调试能力差、自动化功能不足和测试环境不真实等缺点,搭建了新的基于TTCN-3( Testing and Test Control Notation version 3)测试系统的多模终端无线资源管理( RRM)一致性测试平台,设计了关于多小区异系统测量过程的测试方案,根据该方案进行仿真,自动生成测试流程图和测试结果报告,不仅说明了多模终端的测量功能符合3 GPP (3 rd Generation Partnership Project)协议要求,而且有效验证了所搭建终端测试平台的合理性与优越性。

%For the disadvantages of existing terminal test platform,such as poor ability of debugging and au-tomation and too ideal test environment which may bring errors,this paper builds a new platform to do radio resource management( RRM) conformance test for multimode terminal based on TTCN-3 test system and designs a test scheme for measurement process of multi-cell with inter-RATs. Simulation is performed ac-cording to the test scheme,so that test flow chart and test results report are automatically generated. The re-sults not only show the consistency of measurement process of multimode terminal with 3GPP,but also vali-date the rationality and superiority of the test platform.【期刊名称】《电讯技术》【年(卷),期】2015(000)009【总页数】5页(P1042-1046)【关键词】一致性测试平台;多模终端;无线资源管理;异系统;分时-长期演进【作者】陈发堂;吴中华;张有缘;许小寒【作者单位】重庆邮电大学移动通信技术重庆市重点实验室,重庆400065;重庆邮电大学移动通信技术重庆市重点实验室,重庆400065;重庆邮电大学移动通信技术重庆市重点实验室,重庆400065;重庆邮电大学移动通信技术重庆市重点实验室,重庆400065【正文语种】中文【中图分类】TN929.51 引言随着国内运营商积极开展4G 网络的布局,2014 年如愿迎来了LTE 行业的大爆发。

TTCN3介绍范文

TTCN3介绍范文

TTCN3介绍范文TTCTN-3(Testing and Test Control Notation Version 3)是一种用于功能和协议测试的专门语言,它准备用于设计和定义测试用例。

TTCTN-3是一种与语言无关的测试语言,以可读性、可重用性和可维护性为重点。

TTCTN-3引入了一组基本的概念和结构,用于描述测试用例和测试场景。

它包含三个主要部分:模块定义、测试用例定义和测试流程定义。

模块定义用于定义被测试对象的接口和行为,可以包含数据和消息的结构描述。

测试用例定义描述了测试用例的输入和期望输出,包括预定义的测试动作和断言。

测试流程定义描述了测试用例的执行过程和操作顺序。

TTCTN-3的语法规则基于一组定义好的关键字和语法结构,可以在不同的测试系统和编程环境中使用。

它支持各种程序设计概念,如数据结构、控制流、函数和模块化。

通过使用这些概念和结构,可以设计和定义复杂的测试场景,并对被测试对象进行全面的测试。

TTCTN-3还提供了强大的断言机制,用于验证测试结果是否符合预期。

断言可以检查测试结果中的数值、数据结构和消息序列等内容,以确保被测试对象的正确性和一致性。

断言可以在测试用例中多次使用,以验证不同的方面和层次的测试结果。

TTCTN-3的特点之一是其高度可重用性和可维护性。

它支持模块化和分层的测试设计,可以将测试用例和测试流程进行组合和重用。

这使得测试案例的开发和维护更加容易,减少了开发和测试的工作量。

总的来说,TTCTN-3是一种功能强大、高度可组合、易于理解和可维护的测试语言。

它是一个强大的工具,用于设计和定义测试用例,支持功能和协议测试的需求。

TTCTN-3在许多行业和应用领域都被广泛使用,并提供了一种可靠和有效的测试方法。

一种基于ttcn-3 的协议测试系统及其扩展研究

一种基于ttcn-3 的协议测试系统及其扩展研究

中国科学 E辑: 信息科学 2008年 第38卷 第10期: 1594~1613 1594 《中国科学》杂志社SCIENCE IN CHINA PRESS一种基于TTCN-3的协议测试系统及其扩展研究尹霞①③*, 王之梁②③, 景传明①③, 施新刚②③①清华大学计算机科学与技术系, 北京 100084;②清华大学信息网络工程研究中心, 北京 100084;③清华信息科学与技术国家实验室(筹), 北京 100084* E-mail: yxia@收稿日期: 2008-06-03; 接受日期: 2008-06-30国家重点基础研究发展计划(批准号: 2003CB314801)和国家自然科学基金(批准号: 60572082)资助项目摘要用户要求下一代互联网是一个更大、更安全、更快、更及时、更方便、更可管理的网络. 为下一代互联网服务的协议测试技术需要适应这些测试需求. 文中重点研究了协议测试中的测试集描述法和测试实现技术. 选取了TTCN-3作为测试集描述法, 并针对协议鲁棒性测试需求进行了语法和语义扩展. 开发了基于TTCN-3的协议集成测试系统PITSv3, 并对其进行了鲁棒性测试扩展实现. 最后通过两个实际的测试应用, 体现出PITSv3是一个具有通用性、标准性、可扩展性特点的分布式测试平台. 关键词协议测试TTCN-3 PITSv3鲁棒性测试互联网已成为现代社会最重要的信息基础设施, 不断涌现的应用需求、快速扩张的网络规模都推动着世界走向下一代互联网. 面对着新协议、新技术、新产品的不断涌现, 为了保障下一代互联网的可靠健壮, 协议测试是一个很重要的研究领域. 对于下一代互联网, 用户希望是一个更大、更安全、更快、更及时、更方便、更可管理的网络. 新的协议测试技术需要适应下一代互联网的需求.协议测试的研究涉及了协议描述、测试生成、测试集描述法、测试实现等多个环节, 本文将重点研究其中的测试集描述法和测试实现技术. 测试和测试控制表示法TTCN-3[1](testing and test control notation)是目前最适于描述下一代互联网协议测试的形式化测试集描述法, 但还是有很多不能满足的测试需求, 比如协议鲁棒性测试需求. 下一代互联网要求更安全, 协议实现就需要加强对异常事件的处理能力, 鲁棒性的测试就提供了这种测试能力. 为此需要对TTCN-3进行必要的语法和语义扩展, 以增强其测试描述能力. 本文以面向协议鲁棒性测试的中国科学E辑: 信息科学 2008年第38卷第10期TTCN-3扩展为例研究了TTCN-3语言的扩展方法. 在此基础上, 本文研究了测试实现技术, 设计开发了一个基于TTCN-3的分布式协议集成测试系统平台, 同时在该系统中实现了相应的TTCN-3扩展. 同国外的TTCN-3商用工具比较, PITSv3不仅做到了功能全面、界面友好, 尤其是在可扩展性、支持新协议测试需求、支持多机分布式测试方面具有优势.全文结构如下: 第1节介绍相关研究工作. 第2节扩展了TTCN-3的语法和语义, 使得TTCN-3首次能够提供鲁棒性测试能力. 第3节设计实现了基于TTCN-3的协议集成测试系统PITSv3(protocol integrated test system). PITSv3是一个完整的TTCN-3测试系统, 是具有通用性、标准性、可扩展性特点的分布式测试平台. 第4节介绍了PITSv3在BGPv4+一致性测试和OSPFv2鲁棒性测试方面的应用情况. 最后是全文的总结.1相关工作Piatkowski[2]在1981年提出“协议工程学”的概念后, 协议测试是其中最活跃的研究分支. 在协议测试的发展历程中, 形式化技术和方法一直贯穿其中. 本文是对基于形式化技术的协议测试中测试集描述法和测试实现技术的研究.1.1小节采用集合论和标号变迁系统简要定义了协议测试, 说明了协议测试的过程; 1.2小节介绍了测试集描述法的最新研究成果; 1.3小节介绍了测试实现技术的最新研究成果.1.1协议测试概述协议测试实际上是对协议的“完成关系(implementation relation)”的测试, 即被测试者是否实现了预定的目标. 本文将首先用集合论和标号变迁系统来介绍协议测试[3].完成关系存在于被测试方和协议之间, 任何一次测试活动都是有目的, 就是测试需求. 用测试需求来表述协议测试更易于理解, 也更易于实现.令SPECs表示某个协议的各种形式化描述的集合, 其中的元素s表示某种测试需求的某个形式化定义, 则s∈ SPECs. 所有测试需求的形式化说明的集合标识为REQs. 那么对于某个协议的某个具体的形式化描述s∈SPECs, 它的测试需求的形式化说明的集合R⊆REQs. r∈R表示某个单一的测试需求. 则所有协议的形式化描述的集合SPECs是所有测试需求的形式化说明的幂积, 即SPECs=P(REQs).被测试方是一些具体的物理实现, 假设都可以通过形式化模型集合MODs中的某个形式化对象m U-T来建模, m U-T∈ MODs .这样, 讨论被测试方与协议之间的关系, 就可以转化为讨论被测试方对应的形式化模型m U-T和形式化的协议说明s之间的关系了.定义1完成关系imp. imp ⊆ MODs×REQs ⊆ MODs×SPECs.如果被测试方的形式化模型m U-T∈MODs与测试需求R⊆REQs之间满足完成关系, 即m U-T imp R, 即表示被测试者U-T ∈ UTs实现了测试需求R⊆REQs. 另, 用M R表示所有满足完成关系的被测试方的形式化模型的集合, 即M R=def {m∈MODs |m imp R}; 而M R=def MODs/M R表示M R的差集(补集).测试所采用的依据就是测试经验, 其形式化定义可标识为TESTs. 测试中的实际经验被1595尹霞等: 一种基于TTCN-3的协议测试系统及其扩展研究1596 包含在测试例tcase 中, 若干测试例的集合构成测试集T , 而测试集是TESTs 中的一个元素. 换句话说TESTs 是测试例的集合的集合, 即有tcase ∈T ∈TESTs.利用测试例, 对一个具体的被测试方进行测试的过程称为测试执行. 通过测试执行将得到观测数据集合OBs 中一个观测数据. 每个观测数据, 都将通过判决函数Verdict 得到一个判决.定义2 判决函数Verdict. Verdict tcase : OBs → {PASS, FAIL,INCONCLUSIVE}.其中PASS 表示测试判决为“成功”, FAIL 表示测试判决为“失败”, INCONCLUSIVE 表示测试判决为“未定判决”.下面, 利用标号变迁系统对上述定义进行描述.定义3 标号变迁系统LTS. 标号变迁系统LTS 是一个4元式<S , L , T , s 0>, 其中: S 是一个状态的集合; L 是一个外部可观察动作的集合; T ⊆S ×{L ∪{τ}∪{δ}}×S 是变迁的集合, 其中τ 表示不可观察的内部动作, δ 表示成功的结束. T 中的元素(s , u , s ′) 可以记为: ,u s s ′⎯⎯→ 其中s ,s ′∈S , u ∈L ∪{τ}∪{δ}; s 0为初态.令<S , L , T , s 0>为一标号变迁系统, 运算符‘⋅’表示接续运算, 若12 n u u u σ=⋅⋅⋅"是一串L 中标号的接续, 则σ就是L *上的一个迹(Trace), L *是所有迹的集合. ⇒表示了在两个状态s , s ′之间的状态变迁.定义4 迹Trace. s s σ′⇒表示通过执行可观察动作序列迹σ, 状态s 可以变迁到状态s ′. 则迹的形式化定义为: traces(s )=def {σ∈ L * | ∃ s ′: s s σ′⇒}.从状态s 的可达状态集合的定义为: der(s ) =def { s ′|∃ s ′: s s σ′⇒}.对于S ′ ⊆ S 而言, S ′中的初始状态集合定义为:init(S ′) =def {x ∈L | ∃ s ′∈ S ′: s s σ′⇒}.执行了迹σ后的可达状态集合定义为: s after σ =def {s ′|s s σ′⇒}.测试需求的定义. 可以用L 的所有标号变迁系统REQs 来表示协议的形式化定义集合SPECs, 即: REQs=LTSs(L ).被测试方的定义. 由于大多数系统通信时都是将输入/输出动作分开研究, 被测试方的形式化模型MODs 将采用输入输出变迁系统IOTS 来定义. 可观察动作集合L 被分成输入动作集合L IN 和输出动作集合L OUT , 则: MODs= IOTS(L IN , L OUT ), 而且IOTS(L IN , L OUT ) ⊆ LTS(L IN ∪ L OUT ).测试的定义. 对于L IN 和L OUT 的测试是一个6元组<S , L IN , L OUT , T , v t , s 0>, 其中<S , (L IN ∪ L OUT ), T , s 0>∈ LTS(L IN ∪ L OUT )是一个在L IN 和L OUT 上确定的有限行为的标号变迁系统; 而v t : der(s 0) → {PASS, FAIL, INCONCLUSIVE} 是可达状态t 的的判决函数. 当对被测试方进行测试的时候, 或者是从被测试方得到输出, 或者是向它输入, 或者是死锁. 即任何测试都满足: ∀s ′∈der(s 0): init(s ′) = {a } ⊆ L IN 或者init(s ′)= L OUT 或者init(s ′)= ∅ .完成关系的定义. 完成关系是在测试需求REQs 和被测试方的形式化模型MODs 之间的中国科学 E 辑: 信息科学 2008年 第38卷 第10期1597一种关系, 对于L ⊆ (L IN ∪L OUT ) , 完成关系标识为imp L .令m U-T ∈IOTSs(L IN , L OUT ), R ∈LTSs(L IN ∪ L OUT ), L ⊆ (L IN ∪L OUT ), 则有: m U-T imp L R =def ∀σ∈ L : out(m U-T after σ) ⊆ out(R after σ). 其中, out 为输出函数.如果对于每个σ∈L 而言, 被测试方m U-T 在完成协议需求R 后可以得到正确的输出, 那么m U-T 在R 和完成关系imp L 下就是正确的.在明确了协议测试的定义后, 可以得到协议测试的过程, 如图1所示. 从协议标准中利用测试生成技术得到抽象测试集, 抽象测试集需要采用适宜的描述法表达, 通过协议实现得到可执行测试集, 进行测试执行, 最后得到测试判决.图1 协议测试过程图本文将采用形式化技术重点研究其中的协议测试实现技术和与其紧密相关的抽象测试集描述法.1.2 测试集描述法研究进展测试生成是从用自然语言描述的协议标准生成测试集的过程, 是测试实现的基础. 测试集描述法在测试方法学中起着承上启下的重要作用, 是连接测试生成和测试执行的纽带. 一个好的测试集描述法不仅有利于提高测试执行的自动化程度, 也有利于测试开发人员手工开发测试用例. 许多语言被用于测试集描述, 如形式化测试描述语言TTCN [1,4], 脚本语言tcl/tk, Perl, 编程语言C/C++/Java 等. 其中, TTCN 因为其突出的对测试的支持能力, 易于被测试人员理解和使用而成为协议测试中广泛使用的测试集描述法.到目前为止, TTCN 已经经历了3个版本. 国际标准化组织ISO 在其ISO/IEC-9646[4]中定义了TTCN-1, 后来被ITU-T 接收为标准X.292. TTCN-1结合了树型和表型表示法的优点, 有静态说明部分和动态行为部分. 静态说明部分专用于协议的静态信息描述, 如协议数据格式、参数值、控制观测点、定时器、变量等的描述. 在动态行为部分, TTCN-1定义了与消息的接收和发送相关联的操作与操作符, 用于描述测试事件及其之间的时序关系. TTCN-1在当时被大量地应用, 出现了很多TTCN 工具, 如法国VERILOG 公司的Object, 瑞典Telelogic 公司的ITEX 等尹霞等: 一种基于TTCN-3的协议测试系统及其扩展研究工具软件.由于TTCN-1只支持单一测试部件, 而网络协议的日益复杂使得其分布式特性越来越广泛, TTCN-2在不改变TTCN-1整体结构和原则的基础上, 引入了主、从测试部件的概念, 通过增加create和done等语句, 使得TTCN-2可以支持分布式测试和多方测试.但是随着网络的飞速发展, 各种新型协议和应用对测试描述能力的要求也越来越高, 原有的测试描述语言TTCN-2逐渐显露出不足之处: 缺乏动态配置能力、没有同步通信能力、应用范围过窄等. 欧洲电信标准化协会ETSI经过深入研究, 于1999年至2002年间开发完成了TTCN的新版本TTCN-3, 其最新的版本是2007年发布的TTCN-3规范的第3版[1]. TTCN-3现已作为ITU-T Rec. Z.140系列发布. 同TTCN前两个版本相比, TTCN-3是一种更为灵活和强大的语言, 可以用于描述各种反应式系统(reactive system)的测试. TTCN-3打破了TTCN一致性测试的局限, 能适应更广泛的测试需求, 如互操作性测试、性能测试、系统测试和集成测试等[5].在通讯系统测试领域学术界, TTCN-3受到了广泛的重视, 例如, 文献[5~7]集中在对TTCN-3语言本身的设计研究, 文献[8,9]集中在 TTCN-3测试系统的实现研究等.1.3测试实现技术研究进展随着TTCN语言的不断完善, 相应的测试系统也不断地更新. TTCN-3作为一种最新的测试描述和实现语言, 在以德、法为代表的欧洲工业界受到了高度重视, 不断推出基于TTCN-3的测试实现工具. 这些商用工具大多可以集成编辑、编译和运行功能, 支持TTCN-3 v2.0以上版本的基本语言要素, 支持以UML序列图为基础的图形化测试说明.其中较有代表性的产品有:Telelogic公司的TAU/Tester[10]. Telelogic公司是一家一直致力于TTCN支持工具研发的公司, 拥有TTCN-1和TTCN-2的相关工具. TAU/Tester是一款基于TTCN-3的软件测试工具, 主要用于软件开发期间的系统测试和集成测试.OpenTTCN公司对TTCN工具的研究也很有历史. 其最新的工具OpenTTCN3[11]支持TTCN-3和TTCN-2测试集, 由OpenTTCN Tester和OpenTTCN SDK两部分构成: OpenTTCN Tester用于执行TTCN-3编写的测试集; OpenTTCN SDK是针对编解码、测试适配器、平台适配器等开发的函数库.Danet公司的Danet TTCN-3 tool[12]. 该工具将TTCN-3转换为C++语言, 生成可执行测试集, 多用于电信、媒体和汽车工业等领域的软件测试.Testing Technologies公司推出的TT系列产品[13], 包括Ttthree, Ttanalyze, Ttspec, TTtwo2three. 其中, TTthree是TTCN-3编译器, 将TTCN-3代码编译成Java, 再生成可执行测试集; TTanalyze是TTCN-3代码分析器, 验证TTCN-3测试集的词法、语法; TTspec是一个图形化的测试集说明工具; TTtwo2three是TTCN-2到TTCN-3的转换工具. 2007年, TT系列被集成到一个新的工具平台TTworkbench上, 自动化程度更高, 使用也更方便.近几年, TTCN-3的应用范围也不断拓广: 文献[14,15]分别将TTCN-3应用于RIPng协议和移动IPv6协议的一致性测试中; 文献[16]研究了移动管理协议BCMP的性能测试, 文献[17]则1598中国科学E辑: 信息科学 2008年第38卷第10期将TTCN-3应用于分布式负载测试(load test)中. 此外, TTCN-3也广泛应用于其他类型的测试中, 如服务测试[18]、软件测试[19,20]、入侵检测和被动测试[21]等.目前我国对于TTCN-3测试实现技术的研究尚在起步阶段, 主要集中于测试执行系统中单元技术的实现研究[22~24]. 文献[22]实现了对TTCN-3部分核心语言的编译工作; 文献[23]研究和实现了TTCN-3测试系统管理, 包括: 测试前配置、初始化、测试控制、日志记录、测试判定和回收; 文献[24]设计实现了基于C++语言转换的TTCN-3 执行器. 文献[25]实现了一个TTCN-3测试平台TTPlatForm, 但并没有考虑多机分布式测试环境. 此外, 在基于TTCN-3在协议一致性测试[26]、性能测试方面也有一些初步的研究.作为本文的工作基础, 协议集成测试系统PITS[27](protocol integrated test system)是清华大学计算机系网络与协议测试实验室(CNPT Lab)于90年代独立开发的基于TTCN的网络协议测试系统, 主要用于测试协议实现与协议规范的一致性. 由于在分布式协议(如路由协议)的测试中显示很大的局限性, 因此又开发了基于TTCN-2的PITSv2[28], 主要用于对IPv6协议族的测试. 本文将介绍的PITSv3是本实验室开发的基于TTCN-3的协议测试系统.从上述研究进展可见, 尽管国际上已经开发出了不少基于TTCN-3的测试系统, 但这些商用工具不仅价格高昂, 而且一般多用于软件测试和软件开发. 国内的相关工作主要集中在测试系统中某些单元技术的实现, 开发的基于TTCN-3的测试系统对分布式环境支持较弱.2 TTCN-3及其扩展TTCN-3作为一种新型测试描述语言, 其应用不仅局限在协议一致性测试上, 还可以广泛用于各种反应式系统的黑盒测试中. 从语法的角度看, TTCN-3与在ISO/IEC 9646中定义的TTCN-1和TTCN-2有很大区别. 然而, 它保留了大量前两个版本中经证实的基本功能, 并在某些方面做了改进. 随着下一代互联网的发展, 对于新型协议的需求会越来越多, 而对于这些新协议的测试需求也将越来越多. TTCN-3虽然具备强大的测试描述能力, 但在面对各种新的测试需求的情况下, 仍会出现测试描述能力不足的状况. 在这种情况下, 对TTCN-3进行扩展研究, 提高其测试描述能力也是十分必要的.2.1小节简单介绍TTCN-3核心语言; 2.2小节介绍TTCN-3扩展已有的相关研究; 2.3小节重点介绍我们针对协议鲁棒性测试所提出的一种TTCN-3扩展方案.2.1 TTCN-3核心语言简介TTCN-3具有更丰富的表示格式: 核心语言(core language)格式、表格表示格式、图形表示格式和用户自定义格式. TTCN-3核心语言格式不仅方便测试人员编写测试集, 也满足了机器处理的需要.在TTCN-3核心语言中, 最顶层单元是模块(module), 模块与模块之间相互独立, 通过import语句共享数据定义. 模块由两部分构成: 定义部分和控制部分(可选). 定义部分定义了测试部件(test component, 简称TC)、通信端口(port)、数据类型(date types)、常量、测试数据模板(template)、函数(function)、测试例(test case)等. 模块控制部分包含局部定义、测试例执行顺序等. 图2是一个TTCN-3模块的例子, 定义了一个测试集(test suite), 其中包含若干测试例.1599尹霞等: 一种基于TTCN-3的协议测试系统及其扩展研究1600module MyTestSuite {…const integer MyConstant :=1; //const definitiontype record MyMessageType{…} //data typetemplate MyMessageType MyMessage := {…} //template…function MyFunction1() {…} //function…testcase MyTestcase1() {…} //test casetestcase MyTestcase2() {…} //test case…control //control part{…execute(MyTestCase1()); //test case executionexecute(MyTestCase2());…}}图2 TTCN-3模块示例测试例定义了测试所要执行的测试行为, 用于判断被测实现IUT(implementation undertesting)是否符合要求. 测试例在模块定义部分定义, 在模块控制部分被调用, 每个测试例返回一个测试判决(verdict). 函数实现了某一常用的测试行为或计算等功能, 可被测试例调用.TCN-3支持动态分布式并发测试配置, 图3是一个TTCN-3动态分布式测试配置示例. 其中测试部件TC用于执行测试例中的测试行为, 而测试系统接口(test system interface)则定义了测试系统同被测系统SUT之间的接口, 即测试系统的边界.图3 TTCN-3动态分布式测试配置示例[5]在测试系统中可以包含多个测试部件, 有且只有一个主测试部件MTC(main test compo-nent), 其余的都称为并行测试部件PTC(parallel test component). MTC在每个测试例开始执行时自动创建, MTC终止时测试例也会终止; PTC可以在测试执行过程中根据需要被动态地创建、执行和终止. 每个测试部件都包含一组端口, 有连接(connected)端口和映射(mapped)端口中国科学E辑: 信息科学 2008年第38卷第10期两种类型: 连接端口用于测试部件间的通讯; 而映射端口则用于测试部件与SUT间的通讯.2.2 TTCN-3扩展技术针对某些特定的测试需求, 通过扩展标准TTCN-3的语法和语义, 能够进一步增强TTCN-3的功能, 以满足更深入的测试描述需求. 现有的一些TTCN-3的扩展包括: 文献[29,30]提出了一种TTCN-3的实时扩展T IMED TTCN-3, 提供了测试实时需求的能力. T IMED TTCN-3引入的主要新功能如下: 引入了新的测试判决conf, 表示功能通过, 非功能(时间需求)失败; 引入了绝对时间的概念, 提供了得到当前局部时间和测试部件定时执行的机制; 支持在线和离线评价(Online/offline evaluation). 文献[31]将T IMED TTCN-3应用于实时系统的互操作性测试中. 文献[32]提出了一种TTCN-3的面向对象扩展OO-TTCN-3, 并将其应用于电子商务测试中. 文献[33]为了描述系统间通过持续信号的交互, 提出了一种称为Continuous的TTCN-3扩展, 并将其应用于嵌入式控制系统的测试.2.3 TTCN-3基于报文变异的鲁棒性测试扩展协议鲁棒性测试主要考察在无效输入以及大规模输入下协议实现能否正常工作. 在实际测试中, 一般采用大量异常注入的方法来测试协议实现的鲁棒性. TTCN-3虽然已被应用于多种类型的测试, 但却不能很好地支持鲁棒性测试.首先, TTCN-3不能很好地支持数据变异操作. 异常报文是鲁棒性测试中必须的测试数据, 一般采用全局模板(global template)定义, 并且根据变异规则频繁地改动, 这在现有TTCN-3中很难实现. 另外, 尽管相关的鲁棒性测试算法并不复杂, 但采用TTCN-3对其进行描述却非常困难, 甚至不可能.为了加强TTCN-3的鲁棒性测试描述能力, 本节对TTCN-3语法和语义进行了鲁棒性测试扩展, 分为单域变异扩展和多域变异扩展两个方面.首先介绍单域变异鲁棒性测试的TTCN-3语法扩展:●增加关键词“loopreplace”. 该语句相当于针对单域的协议报文循环变异算法.● 增加关键词“count”. count的参数表示该域的变异次数.在loopreplace语句里, 以全局模板格式定义的报文可以在测试例中被自动更改为无效报文, 这样测试例就不需要定义大量的异常报文. loopreplace语句可以在函数和测试例中使用, 其TTCN-3语法的BNF范式定义如下:FunctionStatement ::= ConfigurationStatements | TimerStatements | CommunicationStatements |BasicStatements | BehaviourStatements |ValidateStatements |SUTStatements | LoopReplaceStatement LoopReplaceStatement::= LoopReplaceKeyword LoopReplacePar LoopReplaceBody LoopReplaceKeyword::= “loopreplace”LoopRepalcePar::=TemplateIdentifier ExtendedFieldReference OctetStringKeyword |BitStringKeyword IntegerValue CountKeyword IntegerValue[ConstIdentifier]CountKeyword::= “count”LoopReplaceBody::=BeginChar FunctionInstance SemiColon EndChar1601尹霞等: 一种基于TTCN-3的协议测试系统及其扩展研究1602 下面是一个使用loopreplace语句的TTCN-3测试例描述.testcase Onebyone_HL1_Opt() runs on MyTestComponentAsync system SystemComponent {map(mtc:MyPortAsync, system:SystemPort1);P1();loopreplace HL1.Opt octetstring 1 count 5 {Onebyone_HL1();}Normal_Verification();stop;} 函数P1( )执行后, 将执行5次函数Onebyone_ HL1 ( ), 自动产生5个octetstr- ing类型、长度为1的异常数据来代替报文HL1的Opt域, 每次循环注入一个异常报文. 5次循环后, 执行函数Normal_Verific- ation()进行测试判决.下面介绍多域变异鲁棒性测试的TTCN-3语法扩展: 增加关键词“pairwise”. pairwise语句相当于针对多域的协议报文循环变异算法. 语句执行时, 分别针对报文的指定各域自动生成异常值, 然后自动根据pairwse算法[34,35]生成异常值组合, 并循环注入到被测试系统中. pair-wise语句同样可以在函数和测试例中使用, 其TTCN-3语法的BNF范式定义如下: FunctionStatement ::= ConfigurationStatements | TimerStatements | CommunicationStatements |BasicStatements | BehaviourStatements |ValidateStatements |SUTStatements | PairwiseStatementPairwiseStatement::= PairwiseKeyword PairwisePar1 PairwisePar2 [PairwisePar3]PairwiseBodyPairwiseKeyword ::= “pairwise”PairwisePar1 ::=TemplateIdentifierPairwisePar2 ::=LParen pairwisefieldpar {SemiColon pairwisefieldpar} RParen pairwisefieldpar ::= TemplateIdentifier OctetStringKeyword | BitStringKeyword IntegerValue CountKeyword IntegerValue [ConstIdentifier]PairwisePar3 ::=TemplateIdentifier TimerKeyword pairwisefieldparPairwiseBody::= BeginChar FunctionInstance SemiColon EndChar从上述扩展语法定义中可见, 该扩展除了支持协议报文域的变异之外, 还支持时钟取值的变异, 从而可以控制报文的发送时刻, 在鲁棒性测试中增加了时间约束.下面给出一个采用pairwise语句并带有时间约束的测试例描述.testcase Onebyone_HL1_Opt( ) runs on MyTestComponentAsync system SystemComponent {map(mtc:MyPortAsync, system:SystemPort1);P1( );pairwise HL1(Mask octetstring 4 count 5;Hint octetstring 2 count 6;Opt octetstring 1 count 8 8bit_value )timer myTimer octetstring 1 count 8 {Onebyone_HL1();}Normal_Verification( );stop;} 在函数Onebyone_HL1()中, 异常报文HL1的发送时刻由myTimer控制. 该函数每执行一次, 报文及其到达时刻(即发送时刻)都会改变, Mask, Hint, Opt, myTimer的可变值组合采用pairwise算法生成每次的多域变异数据.中国科学E辑: 信息科学 2008年第38卷第10期扩展后的TTCN-3不仅可以方便地描述协议鲁棒性测试例, 而且可以在测试执行的过程中自动生成异常数据, 满足了协议鲁棒性测试的需求, 提高了TTCN-3的测试描述能力.3 PITSv3及其扩展作为清华大学计算机网络协议测试实验室(CNPT Lab)的第3代协议测试系统, PITSv3具备通用性、标准性、可扩展性3个重要特点, 是一个具有分布式多机并行测试能力的平台.PITSv3是独立于任何协议和任何协议实现的通用的测试平台, 它采用TTCN-3核心语言作为测试集描述法, 遵循国际标准化组织ETSI在2003年2月发布的国际标准TTCN-3. PITSv3不仅具有良好通用性, 而且能够支持复杂数据的描述和分布并发式的测试结构. PITSv3支持描述结构嵌套和参数化的数据设计, 提高了测试数据的可复用性和编写效率. 同时, 也能够方便地实现多端口多主机的分布式并发测试结构.另外, TTCN-3本身具有一些描述性能测试的定义, 这些已经在PITSv3得到实现. 最重要的是, ETSI宣布要继续加强TTCN-3对实时系统测试和性能测试方面的描述能力的研究. 本实验室也一直致力于TTCN-3描述能力的扩展研究, 并在PITSv3系统中加以实现. 这使得PITSv3具有良好的可扩展性, 能够不断地创新, 为下一代互联网中不断涌现的新协议新技术提供测试支持.PITSv3不仅仅注重功能设计和实现, 还提供一个界面友好, 使用方便, 将开发、调试和测试集于一体的集成开发环境IDE(integrated development enviorement). 利用PITSv3的IDE可以方便地设计编译TTCN-3测试集、设计调试测试适配器, 选择测试例, 启动和中止测试活动, 显示和记录测试日志, 分析测试结果.3.1小节介绍PITSv3体系结构及各个主要模块的概要设计; 3.2小节重点介绍PITSv3的分布式特性及其实现; 3.3小节通过协议鲁棒性测试扩展实现介绍了PITSv3的可扩展性.3.1 PITSv3体系结构及概要设计参考ETSI 给出的TTCN-3结构建议, 结合前面两代测试系统的研究经验, 本节设计了协议集成测试系统PITSv3的体系结构. PITSv3由用户界面UI(user interface)、编译器(compiler)、测试管理TM(test management)、运行时系统T3RTS(TTCN-3 runtime system)、分布式运行环境DRE(distributed running environment)、编码解码器CD(coding and decoding)、系统时钟ST(system timer)、测试适配器SA (SUT adapter)8个模块构成, 体系结构如图4所示.PITSv3是一个基于TTCN-3的协议测试系统, 能够支持分布式并行测试结构, 由一个主测试节点和若干个从测试节点组成. 每个测试节点上包含若干测试部件, 主测试部件位于主测试节点上, 其他测试部件均为从测试部件. 在测试过程中可以根据具体的测试需求和测试场景, 灵活选取实际的测试配置. 从测试节点的数目可以为0, 这时只有主测试节点参与测试, 在这种情况下PITSv3退化为集中式测试系统. 其中主测试部件只能位于主测试节点中, 而从测试部件既可以位于主测试节点中也可以位于从测试节点中. 下面分别介绍各个模块的具体功能.1603。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
(.广 州大 学 松 田学 院信 息科 学与 工程 系 ,广 东 广 州 5 0 0 ;2 1 10 6 .诺基 亚 西 门子 网络 ,广 东 深圳 5 8 5) 10 7
摘 要 : 了克 服手 工测试 的缺点 , 建 了基 于 T C 3的移 动业 务测试平 台 。在 参考 了 T C . 为 构 T N一 T N 3通用 测试 系统模 型 的基础
系统 底层 平 台 改变 时 , 试 用 例 不 需要 作任 何 修 改 , 得 测 试 测 使
同 时 , 加 了 如 测 试 执 行 控 制 机 制 、 态 配 置 、 步/ 步 通 信 增 动 同 异
机 制 以 及 强 大 的 消 息 模 板 匹 配 机 制 ,这 使 它 具有 更 强 大 的 通
收稿 日期:2 1— .8 0 0 61 ;修订 日期 : 0 00 — 。 0 2 1—81 6
1 . 通用 结 构模 型 2
T C . 试 系 统 的通 用 结 构 如 图 1 示 。其 中 , 同 T N 3测 所 不 () M ( s maae n : 实 体 负 责 测 试 系 统 的总 体 管 1T t t ngmet 该 e )
提 供 分 布 实 体 之 间 的 同步 ;
图 2 平 台的 系统 架构
() D cd g n dcdn)该 实 体 负责 实 现 T C - 类 型 3C (oi d eoig: na T N3
值 与 比 特 流 之 间 的编 解 码 操 作 。 于 不 同 的 被 测 系 统 , D 会 对 C 选择合适的编解码器 , 证其 与测试系统之 间消息的收发 ; 保 () Lts l g g: 实 体 为 用 户 提 供 系统 运 行 日志 , 4T ( to i ) 该 e g n 其 记 录 内 容 包括 测试 组 件 的 创 建 、 动和 终 止 , 启 与被 测 系统 间 的 交互数据 、 板匹配 , 模 以及 计 时 器 的 启 动 、 止 和 超 时等 ; 停 以上 4 实 体 统 称 为 T ( smaae na d ot 1 个 MCt t n gmetn nr ) e c o。 ()E T c 一 e eual : 实 体 负 责 T C 3 试 程 序 5T (T N 3 xctbe 该 ) T N一 测 模 块 的 解 析 和 执 行 。T E从 概 念 上 可 以划 分 为 控 制 、 为 , 行 组 件 、 型、 和队列等 6 相互 作用的实体 ; 类 值 个 ()A(UT Adpe) 该 实 体 用 于 处 理 测 试 系 统 与 S 6S S a tr: UT (yt u dr et 间 的 消 息 通 信 及 过 程 调 用 。 S s m n eT s 之 e ) ()A(l fr dpe)该 实体 用 于 与特 定 的 操 作 系 统 平 7P Pa omA atr t : 台 进 行 适 配 , 要 是 调用 操 作 系 统 时 钟 , 主 为测 试 系 统提 供准 确 的定时器功 能。
19 2 1, o.2 No 84 0 V 1 , . 1 3 6
计算机 工程与设计 C mp t n i e n d s n o u r g er ga i e E n i n De g
Sys em U nd rT e t t e s
… … … … … …
… … … 一 一
Ab t a t T o v ep o lmso ma u l e t an w s l t r f r b l e v c o sr ce a e n T N- . By a ay i g sr c : o s l et r b e f n a s, e t t af m o h t e p o mo i s r iei c n tu t db s d o TC 3 e s n l zn
设 计 了 基 于 T C 3的移 动 业 务 测 试 平 台 Mo e ̄r T N. b Ts 。
l T C . 术 T N 3技
11 T C 3概 述 . T N-
T N. 继 TT N. TC 3是 C 2后 , E S ( uo entlc mmu ia 由 T IE rp a eo e nc -

T C 3测 试 系统通 用 结构 模 型 T N.
负责启动其它模块 ;
() H cm oet adig:E可 以被 分 布 在 多 个 测 试 设 2C (o p nn n l )T h n
备 上 , 时 C 实 现 了分 布 测 试 系 统 实 体 之 间 的 相 互 通 信 , 这 H 并
(. eat n o Ifr t nS i c dE gn e n , S na ol e G agh u nvr t 1 D pr met fnoma o c n e n n i r g o n lg , un z o iesy i e a ei C e U i,
Gu n z o 10 6 a g h u5 0 0 ,Chn ;2 ia .No i ime s t r , S e z e 10 7 kaSe n wok h n h n5 8 5 ,Chn ) Ne ia
p otco . r o 1
Ke r s TT y wo d : CN一 : mo i ev c ; t s lto ; M o T se ; S d p e 3 b l s rie et afr e p m b e tr UT a a t r

0 引 言
传 统 的 移 动 业 务 系 统 测 试 基 本 上 是 手 工 测 试 , 有 成 本 具 高 、 率 低 、 作难 以及 无 法 测 试 异 常 处 理 情 况 等 缺 点 。T N 效 操 TC
文献标 识码 : A
文章编号 :0 07 2 2 1) 619.5 10—04(0 10 .8 30
De in o s a f r o o ies r ieb s d o sg ft t to m f rm b l e v c a e n TTCN一 e pl 3
ZHA N o r n YU — h n Ba —o g , Xic a g
t eg n r le t y tm d l f CN- , s e i l o e n se u d r e t d p e r b l o h e e a s s se mo u eo TT t 3 p c a d ca d s t m n e s a a t r c y t o f mo i c mmu ia in p oo o s s e in d e n c t r t c l sg e , o id
a dg n r l lto d p e lod sg e k ep a f r f i e e t p r t ns se . T ei e s f a al l n i e r y t m n e e a a f r a a t r s s e i n dt ma et lto m t f r n e ai tm p m ia o h i d o o y h a p r l t i s se d o ee t f s o
u d rts d p e n o k t o n c i n f rT n e t a t r d s c e n e to RIi lme t t n a e p o o e , wh c r v d iti u i gp o e sf rp o o osi e e a a c o mp e n ai r r p s d o ih p o ie d sr t r c s r t c l t b n o nh
法 的缺 点 。 首 先 ,一 台 T C 服 务器 可 以 模 拟 一 个 或 多 个 网 TN
络 节 点设 备 , 大 降低 了 测 试 系 统 的成 本 和 搭 建 时 耗 ; 次 , 大 其 T C 可 以对 消 息 及 其 内 部 成 分 进 行 检 测 和 判 断 ,可 以 实 现 TN 大 量 测 试 用 例 的 自动 化 执 行 ; 次 , 还 可 以 实现 手 工 无 法 测 再 它
s c n y r A s x mp ef r a k t e iei r s n e op o et ep af r c n h n l ec n o ma i t s f r o e o d l e. a t t a l o c e r c p e e t dt r v lto m a a d et o f r b l y t t o mmu i ai n e e p sv s h h i e c nc t o
t ns n ad st e推 出新 的标 准 化 测 试 语 言 , 在 语 法 上 i t drsi tu ) o a n it 它
进 行了重新设计 , 得测试程序的编写更符合高级语言规范 。 使
试 的 异 常 情 况 处理 , 证 业 务 系 统 的 容 错 性 ; 后 , 使 用 高 保 最 它 级 语 言 的 形 式 来 描 述 测 试 用 例 , 之 与 被测 系 统 分 离 , 被测 使 当
信 处 理 能 力 及 更 广 泛 的通 用 性 。
系统 具 有 很 好 的重 用 性 和 可 移 植 性 “ 。
目前 国 内 外 已经 有 成 熟 的 T C 测 试 系 统 ,例 如 诺 基 亚 TN T C 3 u nr北 京 邮 电大 学 研 发 的 T C - 信业 务 支 撑 测 T N R ne, T N 3电 试 系 统 等 [] 2o但 是 这 些 产 品 中 或 是 企 业 专 用 工 具 , 不 公 布 - 3 从
( s n n e t o t l o t n 的推 出 克 服 了传 统 手 工 测 试 方 t t ga dt n o n t o ) ei sc r a i
内部 实 现 ; 是 专 门针 对 其 它领 域 的 测 试 系 统 , 法 直 接 应 用 或 无 于 移 动 业 务 测 试 。 为 了满 足 新 起 移 动 通 信 企 业 的 测 试 需 求 ,
相关文档
最新文档