（计算机应用技术专业论文）基于ttcn3的sip一致性测试研究.pdf

摘要 l ；络投求的 i 黼霞疑馒搿佟麓给c 义+ 敛。隧测试变褥愈糯眩爱，t t c n 3 f 测 试歧测试 l 蚓小l 法) 怂e t s ij ：发的下代测试描述皤自，它从肌0 义敛陀删i 武， r ：翔瓠架， t 定义的t t c n 2 语i ；发联丽求，提供了更强大静测试捌i 述旋，、 t s i p ( 会听例始化协、议) 慧个应用层控制叻、议用于建立、修改科瞧冬1 i ：i p 川 络i ：多个圳，、嘲j 的多媒体会话，它已逐澎发展成为下代列络体系中的主：泼坼 没 本支的| | 的是研究将下t c n 一3 应用予s i p 的一致性测试。文中爝述了玎发錾 ft t c n 一3 的s i p 致性测试抽象测试套的方法。定义了基于分和式测试方法的 。叭式系统框架。依据上述研究结果实观了一一个t t c n 。3 测试系统，对测试执fj0 f 圭、测试系统结掏，以及应f = | j 于浚系统豹s i p 消息编髌玛实现檄了漫明。 关避诵 测试投测试控制记法会话初媳化协议坍议数性测试测试系统 、诺盼 l 餐 、铺l 健浍芟 _ _ _ _ _ _ _ _ * h _ w - _ - _ i - _ _ _ _ w _ - - _ 。_ _ _ - - _ _ h _ w _ _ - - - ”4 “_ ”。_ h 。”。“”1 一 a b s t r a c t 、i i | 1i h cd e v e l o p m e n to ft h en e t w o r kt e c h n i q u e s r i g o r o u sp r o t o c o lc o n i e o r n l a n c e l c s t i n g i s b e c o m i n gi n c r e a s i n g l yi m p o r t a n t t t c n 一3 t e s t i n ga n dt e s to o n i m l n o t a t i o n 、e l 。s i o n3 li san e x tg e n e r a t i o nt e s t i n gl a n g u a g ed e v e l o p e db ye t si ，i t o o | 、e df r o mt t c n 一2d e f i n e di nc o n f o r m a n c et e s t i n gm e t h o d o l o g ya n df r a m e uo r k 酶i s o i l e ca n dc a ns u p p l y m o t ep o w e r f u lt e s td e s c r i p t i o nc a p a b i l i t y js i p ( s e s s i o ni n i t i a t i o np r o t o c 0 1 ) i sa na p p l i c a t i o n l a y e rc o n t r o lp r o t o c o lt h a tc a n e s t a b l i s h ，m o d i f ya n dt e r m i n a t em u l t i m e d i as e s s i o n so v e ri pn e t w o r k s ，i tw i l lb e c o m e t h em a i np r o t o c o li nn g n t h i sa r t i c l es t u d i e sh o wt oa p p l y 。t t c n 一3t os i pc o n f o l l t i a n e et e s t i n g ，a m e t h o d o l o g yo fd e v e l o p i n ga b s t r a c tt e s ts u i t ef o rs i pc o n f o r m a n c et e s t i n ga n dat e s t s y s t e mf i - a m e w o r kb a s e d0 1 + 1 d i s t r i b u t e dt e s tm e t h o da r ep r o p o s e d 、t h ea r t i c l ea l s o p l e s e n t sh o wt oi m p l e m e n tar e a l t e s ts y s t e mf o rs i pc o n f o r m a n c et e s t i n gu s i n g t t c n 一3 ，a n di l l u s t r a t e st h es y s t e ma r c h i t e c t u r e ，猫w e l la st h et e c h n i q t i e so ft e s ! c x e c u t i o i la n d s i pm e s s a g e se n c o d i n g d e c o d i n gm e t h o du s e di nt h et e s ts y s t e m k e v w o r d s t t c n 一3 l s i p p r o t o c o lc o n f o r m a n c et e s t i n t e s ts y s t e m 致谢 文心培训找f j l 甘9 , l i ：阿j 、l 敦授，他i 能的治学态度、勤勉的i 作作姒和刈。一求 础门执什州f 止找一是箍睢浅。 感酣一l ，科人# 为研究所的i i 吲o # 、陈性、拿涵沽和仟艳附老m l i 为我挺“：r 盯 通的i i 作押1 0 i j j 环境，我在这弘愉快地度过了研究生阶段。也嘤感谢能世处剧一 】 一t s j l 3 卿儿卜gg l l i 和徐燕老师为t t c n - 3 项目组所作的贞献。 ： 特别要感谢两位已经毕业的师兄：张卫星和杨敬峰，以及一起参与t t c n 3 顺的黄传动、刘小勇、王继康、吴国全、姬忠鹤、徐晓睿和j i d 、e j t 2 ，f j 接他 忡_ f 。 为研究所共事的同学，本文是在他们的帮助下彳得以完成的。 感啪+ # 为公r d 的陈晓波、江火根、高广达、孙伊、卢伟攀和卜焱，他们对技 术的领悟力和敬业精神给我目下了非常深刻的印象。同时感谢本文所有参与文献 的作哲。 感埘女，皮程克勤一赢以来的关心和鼓励。 最后，感谢我的家人为我提供了良好的教育条件希望我所做的t j j 能令他 出到欣慰。 第一章蒋毒言 1 。1 本文磷究嚣景 i i l i q ? 制点术的b 迷发腱，特 j u 是近- f i 术辟构侧h i m 儆的1 j 附i 自 j 、+ 挫搿| - 1 络m 议昀囊婪t ：越来越突出。 、 m 议址弹机删络体系中小可缺少的组成部分，从助能的角度看，叻、议址为 了避 j 二汁彭 ；i 列络的数据交换巍建立静 系列觌则、括准和约定，通信双玉。 lf j 炙蜣了襁列的协汶，彳有可畿正碡有效缝遴彳亍信息交羧。霹际标罐佬缰织l ：1 9 8 4 个；j 9 ，了川：放系统互适基本参考模型( o s i r m ) ，试图作为网络体系结构的统 m 化f 1l 以t c p i p 协议为核心的网络体系已成为事实上的工、i k 标准。 ：络f 、j 训| ! | 发展对协议的功能和性能提出了更多和更高的要求，相应地， i 卫的姚帧干簸杂性也在小断增加，协议丌发者所面j 临的基本问题韪如f l l 设叫 瞧欠鹧通舔控捌援列，劳魏保证慧怠交羧簸够逻辑毁、宠墼。，簿效超透 ：， 此l i l m ：胁、议研究中引入了形式化描述技术和基于系统的工稃乃法，肜成r 体f e 、形化的 力、议”技过程，一般称为仂，议工程( p r o t o c o le n g i n e e r i n g ) 。 阱汉洲试足协议f 杯的重要组成部分，它在敛性、互操怍阼和陀能等，j | | f 艾吱f 4 ；( p r o t o c o li m p l e m e n t a 1 j o n ) 进行实验性的评陆。所嘣投r ：怂指卧议的 5 b 弋院缀瓤弱述。；终泼。妥绛行为之趣懿一致，繇鞠、波实体是蠢钓赍汝汉怒蓝魄要 求m 泌 投性测试就鼹通过测试执行活动来榆查被测实休( 1 m p l e m e n t a t i o n u n d e rt e s t t i u t ) 足r r 以技在多大程度上：实现了协、义规范所受求的j 山能，它址 神键惫涮试力+ 法，j 考察瑟努舔霹褒测的行为是否符合瓣议溉菠葵j 笑，劳枣涉技 m f 义。央体帕l jf ； | 结构。 謇际参j i 溅纯缢织为玲议致淫溅试定义了形式纯懿方法穰穗黎l l l 箕中毫亟 捕 眵式化的测试描述语卣t t c n 。t t c n 舆有严格的谬法规则和完憋的操作语义+ 抛”! j 。舣多测试0 用的添法惦性，用t t c n 描述的测试套具钉t 衔发抽象讹批 j ，l 。交琢的渊遗系统实毽。楚霪其强大躲摇述能力秘备缸疆讫缳织戆持续嚣；劫 t t c n 怨婚没敛一陡测试的理沦研究和工、l t 应丽镟城部获 _ 了j “泛盼淡硝 t t ( 1 n 3 t e s t i n ga n dt e s tc o n t r o ln o t a t i o nv e r s i o n3 ，测试；9 1 | j 试挖： j | j l i j ；) 址 t t c n 浯；的最罄；舨奉，它在浯法： 乍了萋耨设计，填尊现我榉垮醴汁沿；豹i t i 灏。蘑蹭糍了r ：多器i 祷性，如溅试挠 子控撬魏、麓并发凄楚动态濒试配嚣、m ：p j 行少通f i fj j 能以及横丰葳匹配机制等具有更强大的描述能力剌哑广泛| 0 j i ! l 川 性1 t j 以适一斯的软件絮构和f 一代网络协议的测试灞要。 is i p ( s e s s i o ni n i t i a t i 0 1 p r o t o c o l ，会谣仞舔化协议 憝mi e t f ( i n t e m e t e n g i n e e r i n gr a s kf o r c e ) 摄：= “的多方多媒体通信协议r 它是住s m t p 和h t t p 等址 躺l ：嗣定豹文本方式筑信令控馥协议， 、r 州的多媒体会话，s i p 凭借其简洁、 - 代h 络体聚中的主流阱议。 崩予建立、掺改孝 l 终壹辨慧络蔓多个喇 遴用、易于扩避等特性，逐渐发展收为 、 随着引p 应崩领域的币断扩展，对熬进行完善的致陛测试如变得越来越醺 缨本文探索将t t c n 3 潜占应用于s i p 曲、议一致性测试的方法，研究测试过w 辫；多笈躲爻链髑：阏篷。 1 2 本文主要内容和贡献 本交以s i p 为对象，磷究其文本疆述形式对涮试棼拜发蟊测试系统实班旧舞 求提f 了 发瑟于t t c n 3 的s i p 二皴性测试捕浆测试套的方法，定义了 测试系统襄絮釉测试执行穷法。荠袄捉上述磅究结鬃实现了。个t t c n 一3 测试蕻 笼， i 3 本文攀蔷缍缀 水文a i 判i t c j j ：分成州爨 第一章，阐述了沧文的研究背景和主要内容。并对论文结卡 ；= 做简要介 散 策介 “t , h 、议。致性测试的方法学和框架，介绍了最新的测试描述i 磐 t t c n 3 。 筑i 啦，阳蜓介纠了s i p 的坼议特征，提出了基于t t c n 3f 门s i p 。奴陀删 讹叫r t 改汁胪丈观了个基于t t c n 一3 的实际测试系统川j 。刈s i pm f i 第二章协议一致性测试 2 1 引言 l - i - i 8 融渡测试内容龟i 话潞议功能鞫晦汉性髓簿方晴i ，- 牧分为p 婚 羹，疆： 1 敢悱洲i = ( c o n f o r m a n c e t e s t i n g ) ：脸测叻议文体。m z w l i ：! ：足行 _ ；jf ? 姒 技髓? 嘲 r ij - 2 ： 二弧能测i d ( ( p e r f o r m a n c et e s t i n g ) ：捡测沩，渡实体托性能指构：，如数旃：终输 率、逢镁时删t t 、执行速度、并发魔等； 3 。 搽馋性测斌( i n t e r o p e r a b i l i t yt e s t i n g ) ：硷测瓣 协议的小刚实现版奎之 阔或着矧一类狮议的不同实现版本之闯互连互通的能力： 4 峰固性测试( r o b u s t n e s st e s t i n g ) ：检测协议实体在各种恶劣环境f 运 j ：的 能力： 敛m 则试槲十功能性测试范畴，它是进行其它类型测试的糕础。肌j 的 t 强i 更躞范久多楚喇自然溪刍爨述静，对协议的不同壤解往往会学致| _ j 】l 置宴体的 4 炙现行矗符举坪甚至错误，为了保证协议实体j f 确遗实现了协汉境范所定义的功 能行能i 其它系统虹通，需臻采用一种统一的标准和手段对协甜典体进玎汁似+ 投瞧测试l ：楚为了实现这一鑫螅焉提出憋。尽管一数， 耋测试；l ：l ；能+ 怠全刚# l m 议戈现的i f 确性，但是在系统化的测试活动检查下，可以把协议n ：实现过称1 j 0 概率烙低剑实际应用可以接受的程度。 为了铩涟测试鹃t t 】翁度、侵爨溅试络暴其煮露比堂妻、提赢测试欧隆啦仡氐、卜 以降低测试赞硐并改善铷试效率，目前的咖议。致性测试普遍遵黼丁阳、畅i 准化 小纵( i s o ) 制定的“致性测试方法与框架”( c t m f ，c o n f o m _ 1 a n c et e s t i n m e f l m d o l o g ya n df r a m e w o r k ) 。浚嚣疆定义了与致性溅试毒 | 关鹩形 e ? l 述按 术、测试系统架构和测试实观方法等。 小章将介绍一致性测试的方法学和椴架以及t t c n 3 语言的细节。 2 2 基本术逶和绩髯 本1 r 肿艾i | l j | j 刭的傲惟i 9 1 f 试的端本术薛和缩写加眺介缭疗使后 辍一j 勺霹t t 醛，r f l 他j u 术语的t r 交翻泽，炎姆和幽。p 则+ 般使 h 缩。；溅诞文疗， p r o t o c o l 爵渡壤范，泌汉菇要实鬟豹功熊霸链蘸定站 s p e c if i c a t i o n p r o t o c o l m 议实休，实现特定协议功能和性能的艘仆j e 软r ：。 l ! n d l e l l l e l l 【l t i o i l ，辑s a b s t r a c tt e s ts u i t e ，整象测斌套 e t s：e x e c u t a b l et e s ts u i t e ，司1 披杼瓣试套 1 0 t i m p l e m e n t a t i o nu n d e r t e s t ，澈测实体 s o ts 惦亡8 m ，u n d e rt e s t ，被测系统 下p t e s tn l r p o s e ，测试譬魏 p l c sp r o t o c o li m p l e m e n t a t i o nc o n f o r m a n c es t a t e m e n t ，海议 致睫声明 p i x i t p r o t o c o li m p l e m e n t a t i o ne x t r ai n f o r m a t i o nf o rt e s t i n g ，m 议测试附热信息 a s p a b s t r a c ts e r v i c ep r i m i t i v e ，捅浆鼹务器露，5 p d up r o t o c o ld a t au n i t ，协议数据荤元 p c op o i n to f c o n t r o la n do b s e r v a t i o n ，控制观察点 1 c pt e s tc o o r d i n a t i o np r o c e d u r e s ：，测试协调过程 s n ，ja b s t r a c ts y n t a xn o t a t i o no n e ，摭象器洼记法 t t c n 一2t 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 3 t e s t i n ga n dt e s tc o n t r o ln o t a t i o nv e r s i o n3 ，测试及测试控 制配法 t e s ts y s t e m 测试系统，鄯执行测试过程豹实体 “k s t e r测试器，。般蒲测试系统戆部分 ) r d i c t 测试判决 2 3 一致髓溅试流程 m 议+ 搬* 瞰刿试豹过鞭如蚓2 一l 所j ： t e s tg e n e r a l i o n s i i l n d a r dp r o t o c o l s p e c i f i c a t i o n l 。 lp r 。t 。c 。tt m p t e m e n t a t t 。n $ u n d e r a b s l l a c tt e s ts u i t e _ | t e s s e l e c t i o na n d lp a r a m 矗e 如撕 e x e c m a b l e 【e s is u l t c 蠲2 一l黢7 琏潮渡过挂 ! j 川r ，胁议雠范赴由杯准化组织顾和的，被测蛮体m 第i 疗+ 戈跳。f j 0 史敛 忭测试的l 作分j 步进行，第。步是根撼协议舰范生成抽象删试襄：第步地将 抽象测试窭转换成露执行测试套( 这意浚菪要实理一令绫译器或嚣 | | l 泽器) ：第j 步恐以测试系统上运行可执行测试套对被测实体进行测试并生成测试判决= 测试 划决 ，j i 志着对被测实体的一致性测试评定，一般分为通过、失败、错误等几种 2 4 一致咔生测试系统 为了测泼一个特定的协议实俸，一般惹要将该实 本置于特定的 j j 、议测试系统 罔2 - 2 是+ 个测试系统原理圈。 幽2 - 2 ；! 【! | i 试系统原理幽 陂测实体化j 二m 议栈的第n 层，它使用低层协波实体提d j ( n 1 ) j 剖扳务味 f * 聃i ，1 l ：朦议实体提供n 层服务原语茹学系统被逻辑地分成婀潮分：j ：测 试辩( u p p e rt e s t e r ，u t ) 和下测试器( l o w e rt e s t e r ，瓣) ，它们代骜了藤海议找5 | 破删戈f 木的l ：、p z ：m i _ ：( 实体与被测实体交换服务原语，并通过挖；削脱察r 训l 托 ：l j ! l j i , t j f t ：( 投j 薹、接收撒文等j 。测试系统在测试序列的驱动f 阶渊卜测试器羁 则试搽的 为以投0 破测实体的交互，完成测试过程。 c t m f 。i l 址j + f i 述的测试系统原理建议了叫种测试方法干州j 越的洲i ：系统 站黝， i ，小地；则i 式，ji 上( l o c a lt e s tm e t h o d ) s y s t e mu n d e rt e s t s u t ：t e s ts y s t e m t s ) u p p e r l - e s t e r a s p s p c o ，。甚。一j 下藤再一s t e r ，“ i u t p c o 、 s e n c ep r o v i d e r 剀2 - 3 本地测试结构 在这种测试方法中，上测试器，下测试器和被测实体同处于台机器一i ，测 试小需要低层通信系统的支持。被测实体和下测试器的接口设在被测实体的呔 i 弘h i t ! i 试器干被测实体的接口设在被测实体的e 部。由于上测试器和卜测试器 j 以! j ：成刮 个袱j f 中，因此，p 测试器和【：测试器的测试协同过氍容易爻班 上墨补力法收j tjj 硬件测试中。 2 分竹j 测试方；去( d i s t r i b u t e dt e s tm e t h o d ) 幽2 - 4 分布式测试结陶 分和，测试方法c h 被测实体和上测试器处了：同一机器卜，f 测试器分md 远程涮试场0 i 瓣税器中。下掰试器擦蠢锩和蕊察在远程系统l ：的f n 1 滕服务瑶i 蘑 此叫卜测试船扮演的足( n 一1 ) j 圳j 务使f j 拧的角色。以本地的( n 1 ) k 川h 务也掸f j 2 “羟剖缆强i ，j l 能列n ；2 - f 1 1 务擐潦f 【接或剃接地控制i ； i i 残臻! ：测试器曩 l 、测呔嚣陷测试融阿过群由测试饿体蛾。浚方法适合j ：测试期厶；汲吱体、 3 融嗣测跌矗漫l c o o r d i n a t e dt e s tm e t h o d ) 协l 司方法分镑式方法类似，主要区爨在予测试协璇方法不同：在融嗣测试 方1 洼中t 引入门的测试管理盼议( t m p ，t e s t m a n a g e m e n t p r o t o c 0 1 ) ， ：测试器 和卜测试器之川通过t m p 实现测试m 闹过程，而在分布式测试方“法中测试m 嗣篷幽测试灾观者在测试瓣鼹设计中考懑并完戒匏。 4 远p 删0 试冉；：k ( r e m o t et e s tm e t h o d l 鬻2 - 6 远摇潮试缝筏 浚测试方法省去了上测试器，仅仅通过( n ) 层协议数据单元和( n - 1 ) 层服务原 潞避玎测试。泌试捌全都溺f n 1 ) 瑶服务鞭谤描述。这种方式盘足法控制秘观懿 破测实俸静l ：f 边舞时辩常有豫，适合f 被动武给汉实体或服务，落阶汉安体的澍 试 除1 4l ：逐叫种测试矗法之外，还商、+ 秭受复杂的测试方称为多疗测试，靠 返种山- - 1 ，：| ! 【| 试系统内t ，j + 能自多个f i n 试器和上测试器，它；j 以模拟做测+ 戈体 0 多个系茂通t ：国犍毒况，实现受有数的测试。但是诌i 这种方卜，实理| 、测 i 式拶。| ：测试器的管理、协调以及涮试器之闻的通讯等都宵栩“1 夫的难鹱一 ： | 掣i i i 。m u n d ，e r 。t o 。nl t e ts y s t e r nf 隅】 ! ：燃；：怒。p ， t e 煎o “脚d n 矗i o 乱d l o m w e r l t e ”c m e r ； p f o c e d u r e $ | t e p z 一二二二三翌_ 一 一一1 r f = ”1 ! u p p e rt e s l e r n 一一 一、l o w e rt e l l e r t e 日c * o 耐i n a l i o n i 、r 一| 咖譬e s l e r 。 。p r o 错d 埘e s f t c p d b ”8 5 。“。 l 一一= 茁= 一 一1 7 一 ，。 7 。 。， l 。，一土 e 一一一i “1 。 ( ”士 运ij ：再种测试操作的逻辑实体。测试组什内一股包含若i 个迎僻端ii 、 - 正时器，以业_ ! 。l j 部变量币【f 常量。 a d d r e s s 炎删川t i 拙述被测系统内各个实体的地址格j ，以使h 式系统n ： j 被测系统通信时n 以找到相应的实体。 r , 夕i - ，t t c n 一3 p 还定义了v e r d i c t t y p e 类型专用于表示测试判决。v e r d i c t t y p e 一j ? ： i * j 、r 卜，l 2z jm 为 个做，浮类弘，取值为n o l l e ，p a s s ，f a i l ，i n c o n c ，e i t o r ，n o n e 是测试判决 n 0 jc f f ? 队态& _ ：尚朱产乍任何测试结粜，p a s s ，f a i l 和i n c o n c 辰示测试例的执 玎站粜。e r r o ri l l l j 十, j i ；& i l ) 1 0 试系统内部出现了异常。s e t v e r d i c t 和g e t v e r d i c t 操作分圳 川j 。改h 和挟墩“1 j h 的测试判决值。另外，征多组件并发测试环境卜，择个测跌 r 卜琊会f 乍个局部测试判决，反映浚组件的运行结果测试例的最终划；匙l ! | j 返卧t 部判决j d 确定( 如吲2 - 1 3 所示) ，t t c n 3 为此定义了t | j 测试划决奠 o j 肌制。 幽2 1 3 测试判决生成示意 t t c n 、3 允许利用预定义类型构造新的类型，分为三种方j ： 剧简单类型关键字和限制构造子类型，常用于某些需要精确类型定义的 场合，t t c n 一3 中有l e n g t h ，r a n g e 和l i s t 三种限制方式： 川结构类型关键字构造复合类型，这是t t c n 3 中类型定义的最常刷力 ，常用于定义协议的报文结构： 川配蔼1 类型关键字构造通信端口、测试组件和被测实体f | 勺地址： 分别，滓例如卜： 陶造j i 类j 删 商i 勰 t y p er e c o r dr e q u e s t r e q u e s t l i n e m e s s a g e t l e a d e r c h a r s t r u l 望 r e q u e s t l i n e m s g h e a d e r 、 m e s s a g e b o d yo p t i o n a l 川js e t = j _ j 避捉_ s i p 报文头城的类 t y p es e tm e s s a g e h e a d e r a c c e p ta c c e p to p t i o n a l a c c e p t e n c o d i n ga c c e p t e n c o d i n go p t i o n a l ， a c c e p l l a n g u a g ea c c e p t l a n g u a g eo p t i o n a l ， a l e r t i n t ba l e r t l n f o o p t i o n a l ， a 1 0 ua l l o w o p t i o n a l ， c a l l l o f oc a l l l n f o o p t i o n a l ： 鞫造壤门、缓俘窝遗缝类型： 1。_whn*_。h。_。_。_h_。w_hh_。_-_w-_h_。_。_。_。1。_-_+h1。_-_一 ，s i pj i 跏l 类喇定义 i y p 。p 。s l p p o n t y p 。“。8 8 8 9 。 “茂溜| i 川以牧篾r e q u e s t 拳lr e s p o n s e 粪肇麓潸惠诲 i n o u t r e q u e s t ，r e s p o n s e ： h s i p 测城矧盼类碧 h f j 十i 水凡一f l ! j ! 卜n 呛卫 h o s t ， p o r t f i e l do p t i o n a l 2 6 3 4t t c n 一3 模板- 5 通信机制 t t c n 3 j 以如其它程序设计语言样定义常量和变量，除此之外，它坯之 仆种特殊的数据值定义方式模板( t e m p l a t e ) ，模板是带有匹配机制的数捌值 u k 效挤：值的集合，类似于t t c n 2 中的a s p 和p d u 定义，但在描述能力上提； 了 艮多。馍板可以定义多种匹配属性，能够实现复杂的协议消启、结构，还支持参 数化和简单的继承机制，具有良好的数据重用性。 t t c n 3 中有两种模板定义格式： 消息模板( m e s s a g et e m p l a t e ) ：定义消息体各个域的格式和取值； 签名模板( s i g n a t u r e t e m p l a t e ) ：定义过程调用的名称、参数、返回值等： 相应地，t t c n 一3 提供了两种通信方式：基于消息的通f i i - ( m e s s a g e b a s e d c o m m u n i c a t i o n ) 和基于过程的通信( p r o c e d u r e b a s e dc o m m u n i c a t i o n ) ，消息模扳川 r ：_ f ； ：消息的通信。h 签名模板则用于基于过程的通信中，由j is i p 协议的投 。h 删试蚪术涉及剑过稃通信，因此，本文只介绍消息模板和消息通信万。 消息j f 】1 价的卜要操作是s e n d 和r e c e i v e ，发送方f | 1 4 妄- q 5 ( 匀通过捧阳的端il 队 刈芷换报文，蛐i l 冬l2 1 4 用i ，j 。 s 。n d e 。p c o i ( o u t ) p c o l ( 加) r 。i v 。 p e 0 1 s e n d ( m s g ) ，i p 0 0 1 r e e e i v e ( m s g ) 幽2 1 4 消息通信模7 钭 g r r 时 咎 他 c i s e n d 胤钟：t h 消息模扳表示被发送报文的的结构以及各个域的实际值，测试 ；氕统全圳l 州i 心的编f f j - 5 过秘将陔模板转换成阱议的消息体，通过通信端l l 发送 j ：例鲰，岭文；s i p 淀j | | ! 求翁港惑摸菠秘发送操 乍r 虿l 羞露卜定义： t e m p l a t er e q u e s tr e g i s t e ：r _ r e q u e s ts ：= m e t h o d ：= 1 r e g i s t e r ”， r e q u e s t u r ifi o c r e q u e s t u r i s i p v e r s i o n ：= ”s i p 20 ” m ：s g h e a d e r ：= 、8：2l 。c 一3 ， o t h c rf i e i d s ”e s s a g e b o d v i 。m i ， ! 。p - ，c 。巡r e g ，。t 。艮趾。，； i 、。一一一一一 r e c e i v e 操作中，消息模板表示用下匹配报文的消息格式，横板bj 以使川 t t c n 一3 旋g l 麓眭黪掇测定义，毫接收爨囊冬报文与攒掇定义籀匹溅时+ 浚r e c e i 、t e 九论是用于s e n d 操作还是用于r e c e i v e 操作的消息模板，都目j 以利用模饭的 参数化和继承执到提高数攥翡复弱性。英孛，继承极制使穆t t c n 3 其有了扫步 的面向对象语裔特征，它通过对已有禳板的局部修改来生成新的羧板，适良l i 陕 噱构造大量内容差别不大的| ! f 、议消息。例如，已有模板定义t e m p l a t e i ， t e m p l a t em y r e c o r d t y p et e m p l a t e l ：。 f i e l d l ：= 1 2 3 f i e l d 2 ：= ”as t r i n g ” f i e l d 3 ：嚣l l 。l l e 以迎过如m 镌i * 承力式定义新模板t e m p l a t e 2 ， l e m p l a t em y r e c o r d t y p et e m p l a t e 2 m o d i f i e s f e m p l a t e i ：。 此埘，t e m p l a t e 2 即等价于模扳定义 t e m p l a t em y r e c o r d t y p et e m p l a t e 2 ：2 f i e l d l ：= l2 3 f i e l d 2 ：2 ”am o d i f i e ds t r i n g f i e l d 3 ：= t r u e 2 6 3 5 动态测试配置 t t c n 一3 支持剥。洲试配置的动态定义，测试配置由组j 迮的测试绀p 旧 、毳统什( 特殊的测试组件，定义测试系统的边界) 构成，化筹川什内部生“ 数f l _ 小锋的j 1 l 价描ii 川i 1 递消息f 【l 过朽! 调用。 ! h2 一l5 小j 个测试配置的模型，配置中有一个主测试组件( m t c ) ， 个系统组件( s c ) 和若干并行测试组件( p t c ) 。m t c 和s c 都由测试系统自动创建， 化螺个测试例的执行期j 白j 一直存在，m t c 负责管理和协调p t c 的测试行为，系 统组件负责主测试组件、并行测试组件与被测系统之间的通信。各个并行测试纠 件在测试例执行过程中由显式的配置操作函数来动态地创建、启动和停止。 各个测试组件之间以及测试组件与系统组件之间都通过通信端口交换信息 通信端口之f r j 可以通过连接和映射两种操作建立联系。连接是测试组件端之j 的联系方式，两个被连接的端口一个作为发送方，另一个作为接收方交换倍型、， j x 来说发送端口和接收端口都有各自的端口队列，消息或过程调用从发送力 i 门! i 队列转移到接收方的端口队列中。映射关系则发生在测试组件与系统组件 之m j ，系统组件端口可以通过被测系统适配器( s u t a d a p t o r ) 与被测系统的物理端 i 连接，：0个测试组件的端口被映射成。个系统组牛的端【i 后，在这个测试州 什端| | l ：执行的收发操作实际上都是对系统组件端口的操作通过这种方式，测 试组件就川接地实现了与陡测系统的通信。在测试例执行过程中，r l j 以通过 c o l l n e c t ，d i s c o n n e c t ，m a p 和u n m a p 等操作动态地改变各个通信j 川i 之i l l n 1 连接 f i | | 映剁关系。 蕊一 譬：。爱7 一耀弋；， 跫产，嘲爨墓| 茹篓黼嚣矬燃黼8 l 贸翟娜越啦幽隧鹾磷瞄冀目斟攀意黛。i s a _ r fa a 毒o b r 5 ，。t e mu r d e r t e s t ! s u t i 鹫2 一1 5 动态尊发测试醚豢 h i f i 栉眦战操作的含义解释如下： c r e a t e ： 到建p t c ，剖建出蕊p t c 实翻楚予邈塞获悫，等待襄动： s t a r t ： 寤动p t c ，启动后瓣p t c 开始执行测试搡俸； s t o p ： 停止测试煺件，如果m t c 被停止，则测试例的执行过程结嫩 c o n n e c t d i s c o n n e c t ：连接n ， ：p t c 与m t ( _ ，p t c 。ip t c 之翔弱端| j ： m a p t m r n a p ： 映射，中 e 映射m t c 与s c ，p t c 与s c 乏闯的端l ： 覆瑟汞例： ，” q _ 。”。“u _ h h l _ _ 1 - - _ 十”- _ * _ - n 。+ ”1 h h “_ _ u _ _ 。1 p “ | “u _ - + _ - “。1 一 l r o t e ，s y s t e m 舒掰代表m t c 秆fs c 1 、a 。s i p ( 、o t l l p o l l e l l l 、二j k ； + 冲“j “j t “k l 材i 。爿* 1 传。p t c t 焉芝o v 。m 蚓c ：s i p _ p 吣c o 。 0 翟s t ”o p ：警妙吼“”。8 伊一k 叫： 、一p i c c j ： 2 6 3 6 函数和测试例 函数可用于表示测试套中的一系列有关联的测试行为，相当丁2 5 节中提到 的：则试步，t t c n 一3 中的函数定义包括名称、参数、返回值、蛹数体，还可为h 定义+ 个测试绢件接口，用于指定该函数可以运行于哪一类组件实例上： 例蛐i ： f t l n c t o l ：p o w e r ( i n t e g e r1 ) r e f u e li n t e g e r p t c b e h a 、i o u r ，以运行丁s l p c o m p o n e n t 类7 唑的绸什实例上通过* ：i 0 s t a r t 搽f r ! ；l 奇- f h 什实例与函数绑定 f u n c t i o np t c b e h a v i o u r0r u n so hs i p c o m p o n e n t 测试例足种特殊晌函数，它必须指定测试系统接口，并e l 总足隐含地返川 个v e r d i c t t y p e 类型的值，标志测试例的执行结果( 测试判决) ，测试例 fe x e c u t e 操作调用。 实例： t e s t c a s es i p t e s t0r u n s 。ns i p c 。m p 。n e n ts y s t e ms i p i n t e r f a c e s i f 纠；： l 长j 、，+ l 似渔上 生，改嚣划淡 f p a s s ) ： j 测遗嘲执玎漆匐 、a t e r d i c t t y p evr s l t2e x e c u ef s i p t e s t 0 ) 2 6 3 7 定甜器操作 t t c n 一3f 向模块控制语句、测试例和函数等复合语句块中部可以定义定时器 炙溯翱定时嚣数缀，方式与变量隧及交爨数缝定义籀叛，l ： ，定义一个尤缺省计数值的定时器实例 t i m e r m y t i m e r l ； 定义个定时器实铡，并设置欢省汁数值为5 麓秒 t i m e r m y t i m e r 2 ：一5 嚣蠢 ： 定咒一组定时器，井分别设置缺省计数值 t i l l l e l tm y t i m e r 5 ：一 1 0 ，2 0 -3 , 0 40 t 5 , 0 颇龙定义的定时器_ 爻删 1 l 蔓电s t a r l 和s t o p 掇佟启动或箨l t ，铡妇： m y t i m m 1s t a f t ( i e - 3 ) ： m y t i m e r 2 s t a l l ； m y t i m e r l s t o p ： l 三羧寓动的定时器实锻司+ 以逶过r e a d 绦 睾渎取当静豹诗鼗毽，或赣爱t i m e o u t 操作判断其是否已超时，示例如下： v a rf l o a tc u r r e l l t t i n l e r ：= m y t i m e r 2r e a d ； m y t i m e r 2 ，t i m e o u t ；辨fa l t 语句 “p 2 6 ，3 。8 程筹臻訇 t t c n 一3 铋”l 了为数众多的程序语句，分为三类+ 分别是基本谱句，包括表 逸、赋值沿q 、循环语6 j ( f o r ，w h i l e 镣) ；行为语句，包括顺序行为，选择行 为，交迭行为巍浆省行为零：帮些操像涵数，懿设嚣爨决，接渡过程溺爱等。 m 小爻+ 炙脱的s i p 致性测试中选择ij ：为语 i j 使用较多，f , k j l - k 简受介? f j 川j j 、选扦f r 乃i h | f d ( a l t ) 采用树型方式描述，一叮以表示很复杂的执fj ：路i ，蚓2 1 6 _ ；j + a l c 峭f j j t 义恪式与其执行路住之川的映射关系。 幽2 - 1 6a l t 诰刨不恿幽 j 。以行出，a l t 浯句在结构上类似于一系列i f - e l s e 语句的组台