协议一致性测试与测试序列生成算法研究.pdf

摘要在协议的实现过程中，我们需要一种有效的方法对协议实现进行判别，这种方法就是协议测试本论文主要研究协议一致性测试，它是互操作性测试和性能测试等其它类型协议测试的基础本论文结合目前协议一致性测试理论的最新研究成果，对其理论进行综述本论文结合短消息中继层协议S M ．R L 的实例，采用规范说明和描述语言S D L 对短消息中继实体s M R 进行仿真，借以分析和研究仿真的方法；采用树表结合表示法T T C N 设计短消息中继层协议S M ．R L 的一致性测试套，以此研究了自动生成测试套的方法在此基础上，借助T e l e l o g i cT a u 软件工具中的s D L ．T T c N 联合仿真功能，对协议一致性测试套进行了验证，说明了本文所采用的协议一致性测试方法的可行性本论文还着重研究了测试序列的自动化生成问题介绍了有限状态机F s M模型、几种常见的测试序列生成方法，对两种基于u I O 序列的测试序列生成算法加以比较，在此基础上提出了一种新的测试序列自动生成算法，并且用c 语言程序对该算法进行实现，实现了测试序列的全自动化生成，是测试序列生成工作的重要突破将该算法自动生成的测试序列与测试数据相结合，生成了s M —R L层协议优化的一致性测试套，比优化前的测试套有明显的改进。

A b s t r a c tV V en e e dak i n do fe 开e c t I v em e t h O dt Od e t e C lt h eI m D I e m e n t a t I O nO fp r o t O c 0 1 ．T h em e t h O di sp r o t o c O It e s “n g ．T h i sp a p e rr e s e a r C h e Sp r o t O ∞Ic o n f o r m a n c et e s t i n g ．I ti st h ef O u n d a 铂O nO fO t h e rp r O t O c o lt e s “n g ．s u c ha si n t e r o p e r a b i ¨t yt e s 雠n ga n dp e r f o r m a n c et e s t i n g ．T h l sp a p e rs u m m a r i z e sa n da n a I y z e st h et h e O r yl nt h eb a s i co fc u r 陀n tr e s e a r c hO np r o t O c O It e s t i n gt h e O r y ．T h i sp a p e rc O m b i n e st h ee ×a m p I eo fs h O r tm e s s a g er e I a yI a y e rp r O t O c O lI tu s e sS p e c i f i c a t i o na n dD e s c r i p t i o nL a n g u a 9 e ( S D L ) t os i m u l a t et h es h o r tm e s s a g e陀l a y( S M R )e n t i t y ，r e s e a r c h e sa n da n a I y z e st h em e t h o do fs i m u l a t I o n ．1 tu s e sT r e ea n d + r a b u l a rC o m b i n e dN o t a t i o nr I —r C N ) t od e s cr I b et h eS M —R Lp r o t O c O Ic O n f o m l a n c et e s ts u f t ea n dr e s e a r c h e sl h em e t h o do fa u t O m a “cg e n e r a t i n gt e s ts u i t e ．I nt h e s eb a s i c ．t h et e s ts u i t ei sv a I i d a t e db VS D L —T T C Nc O - s i m u I a l i O nf u n c t i o ni n 。

r e I eJ O g i cT a us O f t w a r e ．I ti ¨u s t r a t e st h ef e a s - b i | i t yO ft h ep r o t o c O Ic O n f o r m a n O et e s “n gm e t h O di nt h i sp a p e rT h i sp a p e rp a y sa t t e n t I O nt or e s e a r c hl h ep r o b l e mo fa u t o m a “cg e n e r a “n gt e s ts e q u e n c e s ．F i r s t ，i ti n t r o d u c e st h em o d e Io ff i n i t es t a t em a c h i n e ( F S M ) a n dt h em a j o rm e t h o d so fg e n e r a t i n gt e s ts e q u e n c e s ．T h e n ，nc o m p a r e sM ok i n d so f9 e n e r a t l n ga I g o r i t h m so ft e s ts e q u e n c e sb a s e dO nU I Os e q u e n c e s ，I nt h e s eb a s I c ，l h j sp a p e rbr ．n g sf o n ～a r dt h en e wa I g o r i t h mo fa u t o m a t i c9 e n e r a t i n gt e s ts e q u e n c e sa n du s e sCI a n g u a g et Oi n l p I e m e n tt h ea I g O r i t h m ．1 tr e a I I z e st h ea u t O m a t i cg e n e r a “n gt e s ts e q u e n c e s ．I ti sv e r yi m p o r t a n ti m p r O v e m e n tf O rt h ew O r ko fg e n e r a t i n gt e s ls e q u e n c e s ．T h i sp a p e rm a k e su s eO ft h et e s ts e q u e n c e sc o m b i n e dt e s td a l ag e n e r a t i n gO p t I m u mc O n f o r m a n c el e s ts u i l e ．I th a sO b v i O u si m D r o v e m e n t南京邮电学院项士学位论文缩略语3 G P P3 r dG e n e r a t i o nP a r n l e r s h i pP r o j e c t ( 第三代移动通信伙伴计划)A s N ．1A b s 仃私ts y n t a ) ( N o t a t i o nO n e ( 抽象语法记法1 )A S PB N FA b s t r a c tS e r v i c eP r i m i t i v e ( 抽象服务原语)B a c k u s —N a u rF o r m ( 巴克斯一诺尔范式)C C I T TC o n s u l a t i V eC o m m i t t e eo nI n t e m a t i o n a lT e l e g m p ha n dT e l 印h o n e ( 国际电报咨询委员会)C C SC MC Pc a l c u l u so fc o m m u l l i c a t i o ns y s t c m ( 通信进程演算)C o n t r 0 1M a n a g e m e n t ( 控制管理子层)C o o r d i n a t eP o i n t ( 协调点)C T M FC 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 w o r k ( 一致性测试方法论与框架)E F s ME x t e n d e dF i n i t es t a t eM a c h i n e ( 扩展的有限状态机)E T S IE u m p e a nT e l e c o m m u n i c a t i o nS t a n d a r d sl n s t i t u t e ( 欧洲电信标准委员会)F D TF S MF o n n a lD e s c r i p t i o nT e c h l l i q u e ( 形式化描述技术)F j n i t eS t a t eM a c h i n e ( 有限状态机)G G S NG a t e w a yG P R SS u p p o nN o d e ( 网关G P R S 支撑节点)G M S CG a t e w a yM S C ( 网关M S C )H L RH o m eL o c a t i o nR e g i s t e r ( 归属用户位置寄存器)I S OI n t e m a t i o n a lS t a n d a r d i z a t i o nO 唱a J l i z a t i o n ( 国际标准化组织)I T UI n t e n 埘i o I l a lT e l e c o m m u l l i c a t i o nU n i o n ( 国际电信联盟)I U TI m p l e m e n 协t i o nU n d e rT e s t ( 被测试实现体)1 w M S CI n t c r 、Ⅳo r k i 鸭M S C ( 互连M S C )幻南京邮电学院硕士学位论文L O T O sL a n g u a g eO f T e m p o r a lO r d e r i n gS p e c i f i c a t i o n ( 时序规范说明语言)L TL o w e rT e s t e r ( 下测试程序)M SM o b i l eS t a t i o n ( 移动台)M S CM S CP C OP D UP I C SP I DP L M NS CS D LS G S NS M ．A LS M CS M ．C PS M ．L LS MM OS MM TS M RS M ．R LS M —R PS M SS M —T LT C PM o b i I eS w i t c h i n gC e n t r c ( 移动交换中心)M e s s a g es e q u e n c eC h a n s ( 消息序列图)P o i mo f c o n t r o la n dO b s e r v a t i o n ( 控制观察点)P m t o c o lD a t aU n i t ( 协议数据单元)P r o t o c o lI m p l e m e n t a t i o nC o n 。