（计算机软件与理论专业论文）基于ttcn的wae性能测试研究.pdf

中国科学技术大学硕：i j 论文 摘要 w a e ( w e ba p p l i c a t i o ne n v i r o n m e n t ) 性能测试为w e b 系统提供重要数据指导w e b 系统软件的设计和硬件的配置。本文的研究同绕w a e 性能测试展开运用t t c n 的形式化 方法对w a e 性能测试进行形式化描述，借鉴分布式系统处理原理模拟大量并发用户，实现 了w a e 性能测试系统原型。通过测试数据的分析，验证测试系统的正确性、可靠性。最后 得山一种应刚t t c n 形式化描述的w a e 性能测试的方法。 w a e 是以w e b 服务器为核心的应h ；l 环境。随着网络技术e 速发展和互联网的j “泛普 及，w a er 的席用遍布互联网的每个角落，典型庶_ l | j 如w e b m a i l 系统、电子商务系统、 远群教育，也子幽i 馆系统等。传统的c s 应川软件结构正在转向以w a e 为核一c 、的b s 结 构。禾传统软件系统相比，基于w a e 的应用软件系统具有更为开放的接口，规模庞人，结 构复杂。如何测试基于w a e 的应用软件系统的性能并获得真实、可靠的测试数据是目前软 件测试领域的一个重要研究课题。同时测试系统本身的可扩展性、自适应性也是需要研究的 问题。 t t c n 是一种形式化的抽象测试套表示语言，t t c n 2 主要用于协议测试2 0 0 3 年发布 了t t c n 3 的正式版本，把形式化描述方法进一步拓宽到软、硬件测试的各个领域。 本文分为六个部分，以t t c n 为起点展开，从抽象测试套的表示入手，最后描述了w a e 性能测试系统v w p t ( v i s u a lw a ep e r f o r m a n c et e s t w a r e ) 的实现并进行数据测试平分析。 1 描述了w a e 性能测试的内容和概念。通过一些数据的分析和比较，说明了w a e 胜能测试研究背景和研究意义。 2 对t t c n 的发展和关键技术进行了综述。介绍了t t c n 的基本原理和i 特征，分析了 t t c n 3 的优势所在。 3 ，结合t t c n 3 和w a e 性能测试的特征，使用t t c n 3 的形式化方法表示w a e 性能 测试，论证了这种技术路线的可行性，并为后面的v w p t 的设计奠定基础。 4 设计v w p t 原型系统，并描述了实现v w p t 的关键技术。 5 设计系列测试实例进行w a e 性能测试，并分析了数据的真实性、可靠性。同时 提山了一种简单的分析待测系统可扩放性的方法。 6 总结全部工作，讨诧4 。些相关问题，提出进一步的设想。 关键词：w a e ( w e b a p p l i c a t i o ne n v i r o n m e n t ) t t c n 3 ，c o r el a n g u a g e ，性能测试， 测试件，测试执行机 t t c n ( t r e ea n dt a b u l a rc o m b i n en o t i o n ) 压力测试，负载测试，可扩放性测试， 中国科学技术大学硕士论文 a b s t r a c t w a e ( w e ba p p l i c a t i o ne n v i r o n m e n t ) p e r f o r m a n c et e s t i n gp r o v i d e si m p o r t a n td a t aa n d g u i d e ss y s t e ms o f t w a r ed e s i g na sw e l l a sh a r d w a r ec o n f i g u r a t i o n t h i st h e s i sf o c u s e si nw a e p e r f o r m a n c et e s t i n g ：f o r m a l l yd e s c r i b e dt h ew a ep e r f o n n a n c et e s t i n gw i t h f o r m a lm e t t m d so f t t c n ；s i m u l a t e dl a r g en u m b e r so fc o n c u r r e n tu s e r sb yu s i n gd i s t r i b u t e ds y s t e mp li n c i p a lw e i m p l e m e n t sp r o t o t y p eo fw a ep e r f o r m a n c et e s t i n gs y s t e mn a m e dv w p t ( v i s u a lw a e p e r f o r m a n c et e s t w a r e ) a n dt e s t saw a ei n s t a n c eb yv w p 丁b ya n a l y z i n gt h et e s t i n gr e s u l td a t a w ev e r i f i e dt h ev a l i d i t ya n dr e l i a b i l i t yo fv w p ta n ds u m m a r i z e dt h em e t h o d st of o r m a l l yd e s c r i b e w a ep e r f o r m a n c et e s t i n gw i t ht t c n w a ei st h ea p p l i c a t i o ne n v i r o n m e n tc o r e dw i t hw e bs e r v e r b e c a u s eo ft h er a p i d d e v e l o p m e n to fn e t w o r kt e c h n o l o g ya n dw i d e s p r e a do fi n t e r n e t ，w a ea p p l i c a t i o n ss u c ha s w e b m a i ls y s t e m s ，e - b u s i n e s ss y s t e m s ，d i s t a n te d u c a t i o ns y s t e m s ，d i g i t a ll i b r a r ys y s t e m sa n de t c c a nb ef o u n da l lo v e rt h ei n t e r n e t t r a d i t i o n a lc ss o 自t w b z ea r c h i t e c t u r ei sc o n v e r t i n gt o r a e - c o r e db sa r c h i t e c t u r e c o m p a r e dt ot r a d i t i o n a is o f t w a r e w a e - b a s e da p p l i c a t i o nh a s m o r ee x o t e r i ci n t e r f a c e sa n dm o r ec o m p l e xa r c h i t e c t u r e w h i c hc a nb ee v e nm o r ec o m p l e xl ft h e s i z eo fa p p l i c a t i o ng e t sb i g g e ra n db i g g e r a ni m p o r t a n tr e s e a r c hi s s u ei nc u r r e n ta r e ao f s o f t w a r et e s t i n gi sh o wt os i m u l a t ev i r t u a lu s e rc l o s e l ym a t c ht h er e a lw o r l dt ot e s tt h ew a e p e r f o r m a n c ea n dc o l l e c tr e l i a b l et e s td a t a a tt h es a m et i m et h ee x t e n d i b i l i t ya n ds e l f - a d a p t a b i l i t y o f t h et e s t i n gs y s t e mi sa l s oa ni s s u er e m a i n e d t h et r e ea n dt a b u l a rc o m b i n e dn o t a t i o n ( t t c n ) i saw e l l e s t a b l i s h e dn o t a t i o nf o rt h e s p e c i f i c a t i o no ft e s t c a s e sf o ro s ip r o t o c o lc o n f o r m a n c et e s t i n g t t c n - 3w i l i b eac o m p l e t e r e d e s i g no ft h ee n t i r et e s ts p e c i f i c a t i o nl a n g u a g e t h ei n t e n t i o no ft h i sr e d e s i g ni st om o d e r n i z e t t c na n dt ow i d e ni t sa p p l i c a t i o na r e ab e y o n dp u r eo s ic o n f o r m a n c et e s t i n g i tc a nb es a r i s f y w i t hn e wr e q u i r e m e n t so nt e s t i n ga r ec h a n g i n g n e ws o f t w a r ea r c h i t e c t u r e s ，e g ，o d p ，c o r b a ， t i n ao rd c e ，w i t ha d v a n c e da n dt i m e - c r i t i c a la p p l i c a t i o n sl i k em u l t i m e d i a ，h o m e b a n k i n g ，o rv i d e o c o n f e r e n c i n gr e q u i r en e wt e s t i n gc o n c e p t s ，n e wt e s t i n ga r c h i t e c t u r e sa n dan e wa n dp o w e r f u lt e s t s p e c i f i c a t i o nl a n g u a g e t h em a i ns t u d yw o r k sa n dc o n c l u s i o n so ft h i st h e s i ss u m m a r i z e da sa l l o w s s e c t i o no n e i n t r o d u c e sb a c k g r o u n do fs t u d yo fw a ep e r f o r m a n c et e s t i n g s e c t i o nt w os u m m a r i z e sh i s t o r y a n dd e v e l o p m e n to ft t c n ，i n t r o d u c e sb a s i cp r i n c i p a la n df e a t u r eo ft t c n ，a n da n a l y z e st h e a d v a n t a g eo ft t c n s e c t i o nt h r e ed e s c r i b e sw a ep e r f o r m a n c et e s t i n gn o t a t i o n w h i c hu s e s t t c n 3f o r m a ld e s c r i p t i o n ，a n dp r o o f st h et e s t i n gf e a s i b i l i t y s e c t i o nf o u rp r e s e n t sd e t a i l so f 矿讳p 7 p r o t o t y p e s e c t i o nf i v ed e s c r i b eat e s t i n gi n s t a n c eu s i n gv 律l ra n a l y s e sf a c t i c i t ya n d r e l i a b i l i t yo ft e s tr e s u l td a t a ，a n dp u tf o r w a r da n e wm e t h o da n a l y z i n gs c a l a b i l i t y s e c t i o ns i x s u m m a r i z e so u rr e s e a r c hw o r k ，d i s c u s s i o ns o m er e l a t i v eq u e s t i o n ，a n dp r e s e n t sf u r t h e rg u e s s w o r k k e y w o r d ：w a e ( w e ba p p l i c a t i o ne n v i r o n m e n t ) ，t t c n ( t r e ea n dt a b u l a rc o m b i n en o t i o n ) t t c n 3 ，c o r el a n g u a g e ，p e r f o r m a n c e t e s t i n g ，s t r e s s t e s t i n g ，l o a d t e s t i n g ， s e a l i b i l i t yt e s t i n g ，t e s t w a r e ，t e s te x e c u t e r 笫1 章引言 1 1 研究背景 第1 章引 口 w w w ( w o r l dw i d ew e b ) 起源于1 9 8 9 年3 月由欧洲鼙子物理实验空c e r n ( t h e e u r o p e a nl a b o r a t o r yf o rp a r t i c l ep h y s i c s ) 所发展出来的主从结构分布式超媒体系统。通过万 维网，人们只要通过使刖简单的方法，就可以很迅速方便地取得丰富的信息资料。由_ 丁川户 往通过w e b 浏览器访问信息资源的过徉中，无需再关心一些技术性的细恬。而且界面非常 友好，冈而w e b 在i n t e r n e t 上一推山就受剑了热烈的欢迎，走红全球，并迅速得到了爆炸 性的发展。到了1 9 9 3 年，w w w 的技术有了突破性的进展，它解决了远程信息服务中的文 字显示、数据连接以及图像传递的问题，使得w w w 成为i n t e r n e t 上最为流行的信息传播 方式。现在，w e b 服务器成为i n t e r n e t 上最大的计算机群，w e b 文档之多、链接的网络之 广，令人难以想象。可以说，w e b 为i n t e r n e t 的普及迈出了开创性的一步，同时影响了社会 的各个层面，改变着人们的生活、学习、 ：作的方式。 网站，作为i n t e r n e t 中最基本的信息节点，为_ e j 户提供各种信患。如何迅速响应用户的 访问成为了优秀网站的一个重要标志。对于商业网站来说更是尤为重要。网站性能的重要性， 卜面通过v e l o g i c 公司的w a e 性能一商务关系分析图口j 来说明这个问题。 、i r t t l ：l l l 、 t ，l n i n e i s o 、 、e hn i t ( i i i ；l l ? r f i ) l a b l e r t s p c i j 叭“l b d e r t i n e i j 1 5 二o l ，。，t l l t # “。 冀n e u “m 、b e c r o 。 f i d “i i l 2 u i ，。t 。，。， j j j _ li e n c r l ” 图1 两站响应时间和咧站负载的关系图 图1 1 显示了网站负载增加响应时间变大。 第1 章引言 l r l + r r i l i 1 = r f l 、r l 、1 1 i ) ”i l i 、lj ：i i l i i i l l l 1 1 1 r 、r h 、i i r 、c i k i l or h l i i i i l 、rl i l i i t 图1 2 用户放卉率和嘲站响应时间关系图 图1 2 显示了响应时间变大，放弃访问网站的川户数量急速增加。 圈 i ii 曩_嚣_8 c o i i c i i i + l p l l | u s e r s 、i r t i i i i j l 、 ) 棚j n r 曩r c ；i l i z c l lr n c l i i l i ，h i 一1 i 、il e 、e l l t i c hr 图1 - 3 并发用户数量变化与企业收入与损失关系图 图1 3 显示了网站并发用户的增加到一定的时候。随着并发用户的增加，所有的用户 都受到影响，于是大部分用户开始放弃交易，从而造成了企业的损失不断增加。 网站负载的增加，导致网站性能的下降，随着并发用户的增加，响应时间变长，大量 用户放弃交易，从而造成企业的经济损失。构建复杂的网站系统需要性能测试的数据作为指 导，同样升级硬件设备也需要性能测试数据。通过测试数据才能确定构造方案和升级方案。 网站性能测试和传统软件的性能测试有很大的区别。表1 4 列出一些主要区别。 2 小 讯 班 瞅 撤 m q ! 婚 吣 蛇 蛾 第1 章引a 关键因子传统软件性能测试网站性能测试 事务容量可预测，有限无法预测，不断增长 朋户行为和用户环境可预测，可控制无法预测，无法控制 系统环境l a n ，较少的软件，硬件除了传统环境还有防火 墙虚拟分布式缓存系统等 等复杂的系统 风险失败只造成局部有限损火损火不可预址 表1 4w a e 系统和传统软件系统的区别 各种应心软什和w e b 平台结合住一起提供备种麻h 服务构成了w a e ( w e b a p p l i c a t i o n e n v i r o n m e n t ) 3 1 。每一个w a e 都是一个复杂的系统，各种应h j 集成在其中相互影响，相互 关联，对丁它的性能测试并不完善，尚无规范可循。 作者的研究闱绕w a e 的性能测试展开，利川t t c n 4 1 的测试方法对网站性能测试【5 】提 出规范、完善的测试框架，并设计了基1 - t t c n 3 6 】8 1 技术的w a e 测试件( t e s t w a r e ) 原 型。 1 2 相关研究 参加了基于t t c n 技术的协议测试方面的研究，与t t c n 项目组的同学一起实现了 t t c n 2 的协议测试平台。 2 0 0 0 年i t u ( i n t e r n a t i o n a lt e l e c o m m u n i c a t i o nu n i o n ) 的专家组开发出t t c n 新版本 t t c n 3 ，其目的是把t t c n 测试方法应用到软件及其他测试领域。 参加了基f - t t c n 技术的协议测试方面的研究，与t t c n 项目纽的同学一起实现了 t t c n 3 的测试平台原型。 1 3 研究内容 本文的研究从t t c n 3 协议测试平台原型开始，利用已有的基础( t t c n 2 的研究经验) ， 分析w a e 性能测试特有的性质，把t t c n 3 的测试方法应用到w a e 性能测试上，实现一个 基丁- t t c n 3 技术的w a e 性能测试件原型：v w p t ( v i s u a lw a ep e r f o r m a n c et e s t w a r e ) 。 t t c n 的发展首先是归纳，即通过对各种软件测试方法的总结而发展成为协议测试的 形式化方法，然后是演绎，即依据在协议测试取的成果，然后把这些形式化的方法推广到软 件测试的领域。归纳的部分已经取得了业界的公认的成果，但是演绎的部分才刚刚开始。作 者研究的意义就在于对这个演绎进行探索。通过实践与分析，得出把t t c n 3 应用到软件测 试各个领域的一种方法。 1 4 论文组织 本文后续的内容分为如下五个部分展开。 第一、从t t c n 3 入手，通过对各种资料和国际标准的分析，给出t t c n 3 的概貌；第 二、分析w a e 性能测试的关键内容，用t t c n 3 的体系和形式化方法来描述w a e 性能测试 的各个方面；第三、给出v w p t 的体系结构和关键实现技术：第四、设计测试环境，使用 第l 章0 苦 t t c n 3 编写组性能测试的测试例对预先构造的w a e 实例( 一个简单的w e b l o g ) 进行测 试，得山数据进行分析；第五、总结整个工作并给出进一步的研究方向。 4 第2 章t t c n 综述 第2 章t t c n 综述 本章简要介绍t t c n 的发展历样与应用领域。 2 1 t t c n 简介 典型的测试系统具有如图2 1 的结构测试例是测试过稗的抽象描述，描述的好上1 、直 接影响剑测试核心部件执行器的执行。国际标准组织对协议测试指定的具体方法，通过 借鉴软什测试的成熟方法和经验，结合协议测试的具体特征，制定山的一系列形式化标准， 即t t c n 表示法。这种表示法在两个方面对测试进行约束，第它要求测试套都必须采 用t t c n 表示法，即对任何特定的测试，需要刚t t c n 表示法爿描述测试套：第二它要 求执行部件要正确理解和执行t t c n 表示法的语义，即对于任何用t t c n 表示法描述的测 试套，执行部件要按照t t c n 定义的语义执行动作。所以测试系统的设计首先要从描述测 试例的语言开始考虑。 图2 - 1 通用测试体系( 其中s u t 是s y s t e mu n d e r t e s t 的缩写，指的是被测系统) t t c n 是t r e ea n dt a b u l a rc o m b i n en o t a t i o n 的缩写，中文意思是树表结合表示法。t t c n 定义在i s o h e c9 6 4 6 的第三部分1 9 1 ，是一种国际标准，被欧洲电信标准协会( e t s l ) 采用 作为描述抽象测试套的语言。t t c n 具有两种形式。一种是g r ( g r a p h i c a l ) 格式，一种是 m p ( m a c h m ep m c e s s a b l e ) 格式。g r 格式是编写测试例所使用的格式。m p 是测试执行器 所使用的格式。t t c n 经历了三个版本的发展。t t c n 、t t c n 2 和t t c n 3 。目前最新的版 本是2 0 0 3 年发布的t t c n 3b o i l “】。 t t c n 的澍试过程可以看作测试例在图2 - 1 的执行器中执行，然后通过适配器连接对 一系列s u t 进行黑盒测试。图2 - 2 是t t c n 测试系统的一个抽象描述。 第2 章t t c n 综述 幽2 - 2 t t c n 测试系统 m t c ( m a i n t e s t c o m p o n e n t - - - 主测试组件) 是t t c n 系统中最基本的组件，系统在启 动中白动创建m t c ，p t c ( p a r a l l e lt e s t c o m p o n e n t - - 并行测试组件) 根据测试需求创建。 m t c 通过c p ( c o o r d i n a t i o np o i n t 一协调端口) 与p t c 交互，在p t c 上执行测试。p t c 通 过相应的p c o ( p o i n to f c o n t r o la n do b s e r v a t i o n 控制观察点) 与实际的待测系统交r 且。进行 测试，最后的测试判决传同m t c ，同时m t c 向刚户报告测试结果。这就是整个测试过程。 测试的关键在于测试数据表示、测试体系结构描述、测试执行过程二个方面。通过上 诉描述，可以看出，m t c 与p t c 的组成和关系就构成了测试过程的体系结构。p t c 同s u t 的交互执行了测试过程，测试数据表示分布在在测试过程的每个步骤上。 t e s tc a s ed y n a m i cb e h a v i o u r - n a m e ：t c l ：as u f t e ，g r o u p l g r o u p 2 ：a ne x a m p l e ：d e f l s b e h a v i o u rd e s c r i p t i o nc o n s t r a i n tr e f v c o m m e n t s i x = 1 1 l ! p d u1s t a r tt 1 p 1 l ? p d u2c a n c e l t lp 2 p 7 0 t h e r w l s e f ? t i m e o u tt 1l 【x = 2 】 l lp d u3f a ：= a + 1 )p 3 l ? p d u4p 4p 4 - at e s t (1step 3 7 0 t h e r w i s e f 6 第2 章t t c n 综述 酗2 3 i - i c n 2 测试例g r 格式 、i i d - j l ：；c 、l ( 1 w、【f c li l k i i c ：”i n2 4 h 、io 、披a 、c i dl i i l c a | t i l ll 、j ! d i c l k ij i 心【t ；州 oj - tq l l i t i c d、ii l i j d l l l 、n t ii l l l 、io t t r i l ，c ” 一 、i 沁| 1 m t ! l l l 。il l l v 、i ) c i h i d ! 、i c ：f ) i l l c l 、i 、o i 。l l i、i 。1 1 1 l l d 、? j c i l i l 、i i l i、if l i t j1l i t 、l r 、i | 、o l l l 、。j j l o f l i 、i ) o 、o r i l i i o n ” 。 l c 1 h | 、m r c h ：i 、l o u d ) c 、c n i n i ”1 1$ 0 r d l c i l d i ；? | 1 mi 、k i i + ii n c、i i k li ；c h a 、i o t l lji n c 、i 曩、c l l d 、l ；c h a xi o t l l i i i l l 州i i i c0 | jt i r o d ! ( ) t l l i 1、l 。i b e lj l i 、i r il a k c i 、0 l 、l o c、lm o l 2 i 【，( ) 1c i s tl h l b ri d l t c、【i e l s ：e r dj c l i l i、c i d i e l i d i i f ( 1l l c h a 、_ i o l i f m c、i - l l t ii i c h i l 、l o i fi i i c 、i c 1 1 f l 、i “r i ，1 1 1 cs i i tc ll 0 1 1 ：l 、l 卜u r l ) c 、j r i l l ：h ：1 s ia l w l i il、lo t l l l l l t , n l t ” s ii 1 1 t - i ii _ o d 。l l | d l c i l t i o l l 、l 阻lj c q t ：1 、o ( 、t + li 托l k c l 、c n l c 0 图2 4 丌c n 2 测试例m p 格式 t t c n 2 的测试例分两种格式。图2 3 是g r 格式，g r 格式的表达不像高级语言一样 容易使人理解。图2 - 4 是m p 格式，m p 格式是机器执行格式，试图读懂是很困难的。 经过十余年变迁，t t c n 2 汲取了高级语言的特征逐渐演变成以核心语言( c o r e l a n g u a g e ) 形式描述的t t c n 一3 高级语言。t t c n 3 语言的目标是成为测试专用的高级语言， 除了针对协议的测试而外，在原理上已可以完成对各种软件系统( c o r b a ”j 、实时系统、 组件等) 的测试。 2 2t t c n 3 浅析 如前所述，测试的关键在于测试数据表示、测试体系结构描述、测试执行过程三个方 面。本节的内容分析t t c n 3 的设计，描述t t c n 3 如何表示这三个方面。 7 第2 章t 1 n 综述 2 2 1 概述 t t c n 3 规范的结构体系如图2 5 。t t c n 3 为了兼容以往的版本，依然定义了表格式 ( t a b u l a rf o r m a t ) 和图格式( g r a p h i c a lf o r m a t ) ，同时这两种格式都可以在t t c n 一3 规范中 使川核心语言( c o r el a n g u a g e ) 的等价文本格式表示。a s n 1 作为t t c n 3 的模块的数据类 型平值规格描述的可选项，可与t t c n 3 完全融和使h = l ，详细的使用细节，可参考相关的技 术文档。 匾values巴 l 匣v a 里l u e s2 卜一 t t c n 3 压夏卜 厂 l c o r e l a n g u a g e 陌v 而a l u e s 卜 一卧”饿b “| n 叫f o r m a t n r 卜 幽2 5 t t c n 一3 j ! i ! 范的结构体系 t t c n 3u s e r 历史上，t t c n 和一致性测试关系在一起。为了在标准领域和工业领域扩展t t c n 语 言范畴将t t c n 3 分离成几大部分。 第部分：t t c n 语言核心部分，( e s2 0 18 7 3 1 ) 第二部分：表格描述部分，形式上与以前版本相似( e s2 0 18 7 3 - - 2 ) 第三部分：图形格式部分，以技术报告方式描述( e s2 0 i8 7 3 - - 3 ) 核心语言起三个方面的作用： 1 ) 作为个通用的文本( 可以理解为脚本) 测试语言 2 ) 作为各种t t c n 工具中测试套互换格式 3 ) 作为各种表示的语义基础 单从语法上看，t t c n 3 与早期i s o i e c9 6 4 6 3 ( 或x 2 9 2 ) ( t t c n 1 ，t t c n 2 ) 非常不 同，然而，许多已经证明的优秀的基本功能仍然保留，其他一些方面进行了增强。t t c n - 3 包括了如下基本特性： 1 ) 动态并发测试配置能力 2 ) 同步、异步通信操作。 3 ) 定义编码和其他属性( 例如显示属性、用户扩展的属性) 的能力。 4 ) 对数据和过程调用标识模板的描述，并具备强大的匹配机制。 5 ) 类型和值参数化。 6 ) 测试结果判断的赋值处理。 7 ) 测试套参数化和溅试用例条件选择机制。 8 ) 和a s n 1 的组合使用，以及潜在的其他接口定义语言的使用( 如i d l ) 。 9 1 风格良好的语法( b n f ) ，互换格式和静态语义。 8 第2 章n n 综述 1o ) 不同的表示形式( 袭格法，图形序列法( m e s s a g es e q u e n c e c h a r t ) 等。 2 2 2t t c n 3 核心语言结构 t t c n 3 测试系统的核心语言构成如图2 - 6 。 预定义数据类型和 用，白定义数据类型 测试中的输入输出 数据 测试的体系结构，描述 测试组件和通讯端口 动态测试行为描述 幽2 - 6 t t c n 3 核心元素 2 2 3t t c n 3 模块( m o d u l e ) t t c n 3 核心语言主体是模块，模块能够从其他模块输入定义，并提供一个参数列表。 一个模块包括定义部分和控制部分。 定义部分：定义测试组件，通信端口，数据类型，约束，测试数据模板，函数，端口 过程调用标签，测试用例等。 7 控制部分：调用和控制测试用例的执行，控制部分可以声明局部变量等。程序基本语 句( i f e l s e 、d o w h i l e 等) 可以说明单个测试用例的选择逻辑和执行顺序。t t c n 3 不支持全 局变量。 9 第2 章t t c n 综述 m o d u l cm y t e s t s u i t e t y p er e c o r 。dm y “e s s a g e t y p ei ； i ! ! 里e 匦m y m 望曼g 。 数据定义 n f u ，n c t i o “m m 、y ，f u n c t i o n | n c t i o nf u n c t ；o n 2 ( 1 j 函数定义 ! f u m y l 叫姒k t e s t c a s em y t e s t c a s e l t e s t c 罄em y t e s t c a s e 2 t e s t c a s em v t e s t c a s e 3 一 c o n t r o l a n dac o n t r o lp a r t 】e n dc o n t r o e n d m o d u l e 测试例定义 动态执行 幽2 7m o d u l e 基本结构 图2 7 是m o d u l e 的最基本结构，通过与c 语言的对比来描述。首先是导入，类似于c 语言中的# i n c l u d e 指示符，但是核心语言的i m p o r t 比# i n c l u d e 灵活，它可以指示从其他模块 输入部分内容。这个部分基本类似高级编程语言，此外，核心语言在定义上可以使用a s n 1 的数据表示法，基本可以表示任何形式的数据。第三是函数定义，执行的内容和高级语言相 同，但是具有测试扩展，后面将会进一步描述。第四是测试例定义，这里是核心语育特有的 部分，是为了测试而设计的内容。 最后是动态执行部分，类似于c 语言的m a i n 函数，测试数据初始化、体系结构生成， 测试判决都由这里展开。这个部分可以没有，如果没有的话，则可以看作是供其他测试过程 使用的测试例库。动态执行部分是核心语言的关键部分，测试主要过程在这个部分完成，这 个部分设计的好坏影响到最后的测试结果的准确性。 表2 8 是t t c n 3 语句总览，描述了各种语句使用的范围。接下来的部分将会涉及各 个语句。其中基本编程语句( 赋值，i f - e l s e ，循环等) 只做简单描述，其余的t t c n 扩充的 测试用语句是接下来的部分描述重点，清楚了这些语句的语法和语义才能够设计出正确的测 试执行平台，才能通过这些基本的元素设计w a e 性能测试框架。 1 0 第2 带丌c n 综述 s r a t e m e t l t a s s o c i a t e dk e y w o r do fu s a b l ei nm o d u l u s a b ki nf u n c l i o r l i s y m b o i a n at e s t c a s e s b a s i cp r o g r a ms t a t e m e n 氇 ! x p r e s s l c n sy 凶 y e s s i 口n m e r y e 5v e $ ”c i s 0 ；l 瓢e m c r tj f1)fel；ely e s v c $ 0 ”k c , o r 祷v e s - i ：k #v h i ：el 1 )m ”c s j o n ? i c 0 ： y 岱v 3 5 。0 0 c ：l c h ! l l t 矿y o s o e s 1 n 0 o l a 0 i b e h a v i o u r s 俑俯m e n t sa n d o p e r i t t o n $ l i or n “”b e p a * 0 0 ， la ：tli ”0 5 i 1 , c 岬ab e “a v ，o u ri1 b t w e li 憾 a c t l v ：i t cad e r a u i ： a o t l ei 辨 j o a c f v a ：ea d e 幻u i ：d o a c ：m t o o t 4 e t 。i i l j f + oo y to li ：cl o 班 c o n f i g u r a t i o no p e r a i o n s g r a m c c 誊a i e i ：0 s tf o r l t d cr “3 r l 【 mo “ c o l l r c c ! c c m p o n e n ：f 00 0 l ”4 c r o ? 1 f c o a e c ：i o 氍 m a 0c 0 甲口0 0 m ：0l e s f ”键r 糟c e i 。“ ( 至e f m ：e 删r e s s 4 kii 铂l l e # 钳粥mi n 艳d a c e a ，唰f e s s 0 y ，t 日mll ”瞄 u c io w na d d r e s s t l fi 。衢 s t a r te x e c u t i o no tt 0 甜c o m c c c e 晴start y e s s 1 0 ce x e c u t i o n , 酣t e s t “d 艄硝i8l09 iy e s c h e c a t e n o r = n a t i o n 甜a p f cd o eiiy 菡 c o m m 帅k t 嘲o 口憎“o n s e n dr t i e 毡o e y e s l n v o k eo r o c e o u v e 5 e 甜v t o ! c r o c e d u r e c 刮i ”0 翔陀鞲0 他钾：时 v e 5 k a i 牲洲啊0 k 0 8e t o a l la c c 卯r e d y “ h e c o i v ef t 冲s 辅g 0 7 e s l n 0 0 0 r o n ? n e s # a q 0 y 0 c o o p t i f 二c g d - ，q | ir f 0 彬r 9 t l l g i ee n t i i v 。e e o e j v 0r 0 0 ，0 7ap e v 0 “sp r o c e d u 滗c a l i 口o t 神3 v “ c a i i ne ：e o b o no ”d i c 8 1 1 e ae n l l l l e ： 0 1 0 c kr c i j f f o i i i l l e s s 3 口e i c a l lr e c o n e d ， c 埘0 0 n 7 罄 ( ：b a fa n da v ea c c 。s s1 0d o m s f o c a c 瑚s m c # m n a s b n d l n o l 丑l l ：埘 t i m e r o p e r a t i o n s s t a r t l l m e r lo t a r ti 。嚣 s b oh m e ris t o p i h e 卅a j 啪aa m el m dl i 嚣 i ir n e l e v e l l t 1 雌o u t f y e s v e r d l c t o p e r a t i o n s 5 靛t o c a l l y e 徽 lv e r o l t t s e tli ”e 【j e ：；o c 口iv e 珀c v e r 叫c , g e tl 7 c s 2 2 4 数据类型 表2 - 8t t c n 3