基于同步有向图的同步测试序列生成方法.pdf

《基于同步有向图的同步测试序列生成方法.pdf》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、第25卷第6期计算机学报VOl.25NO.62002年6月CINESEJ.C0MPUTERSJune2002基于同步有向图的同步测试序列生成方法孙宇霖赵保华屈玉贵(中国科学技术大学计算机科学技术系合肥230027)摘要使用多测试单元的测试系统可以对多端口协议实现进行一致性测试.但是在进行这种一致性测试时测试系统各个端口之间可能会出现同步问题.现在解决同步问题常用的办法是在测试单元相应端口之间增加同步连接然后通过此同步连接相互发送同步消息来进行同步.多端口协议和其它类型的分布式系统可以用有限状态机模型来描述.目前同步问题被分为双端口同步问题~多端口同步问题~紧同步

2、问题等多种类型.该文考虑两种有限状态机测试问题:第一种是面向端口的测试不考虑有限状态机测试单元之间的通信问题;第二种面向组的测试有限状态机中的各个端口被分成互不相关的多个组属于不同组中的测试单元之间互不通信.该文提出了一种基于同步有向图的同步测试序列生成方法.这种生成方法适用于Pair同步~POrt同步和组同步问题.并且这种方法也可以用来判断如何在非同步测试序列中增加同步通信将非同步测试序列转化为同步测试序列.关键词协议一致性测试多端口同步测试序列测试单元中图法分类号:TP393GenerationMethodofSynchronoustestSeguenceB

3、asedonSynchronousdigraphSUNYu-LinZA0BaO-uaGUYu-Gui(Depattmentofcomp/tetSczenceancTecnoZogyUnzUetSztyofSczenceancTecnoZogyofcznaHefez230027)AbstractTestsystemWithmulti-testercanperfOrmcOnfOrmancetestfOrmulti-pOrtprOtOcOlamOngWhichsynchrOniZatiOnprOblemsareencOuntered.EXternalsynchrOni

4、ZatiOnlinksbetWeentestersOfpOrtsareaddedandsynchrOniZatiOnOperatiOnsareaddedtOtestseguencetOsOlVethisprOblem.Thefinitestatemachine(FSM)mOdeliscOmmOnlyusedfOrspecifyingcOmmunicatiOnprOtOcOlsandOthertypesOfdistributedsystems.AsynchrOnOustestseguenceOfanFSMisatestseguencefOrWhichthesync

5、hrOniZatiOnprOblemeitherdOesnOteXistOrcanbesOlVedbycOmmu-nicatiOnbetWeentesters.PreViOusWOrksOnsynchrOnOustestseguencesOfanFSMbringfOrWardseVeraltypesOfsynchrOniZatiOnprOblemincludingpair-synchrOniZatiOntestprOblemmulti-pOrtsynchrOniZatiOntestprOblemandtightsynchrOniZatiOntestprOblem

6、.InthispapertWOsyn-chrOniZatiOntestprOblemsarecOnsideredfOranFSM:pOrt-basedtestingWhichdOesnOtallOWtestersfOrtheFSMtOcOmmunicateWitheachOtherandgrOup-basedtestingWhichdiVidespOrtsOftheFSMintOmutuallydisOintgrOupsandallOWstestersfOrpOrtsinthesamegrOuptOcOmmunicateWitheachOther.Thispap

7、erprOpOsesaneWsynchrOnOustestseguencegeneratiOnmethOdbasedOnsynchrOnOusdigraphWhichissuitablefOrpairpOrtandgrOupsynchrOniZatiOnprOblem.AmethOdtOudgehOWtOaddeXternalsynchrOniZatiOnOperatiOnsinanOnsynchrOnOustestseguencetOchangeittOsynchrOnOusOneisalsOprOpOsed.KeyWordsprOtOcOlcOnfOrman

8、cetestmultip