基于标号变迁系统的测试集自动生成.pdf

第38巷第l!期 计算机研究与发腥 Vul．38．＼(I12 CoMPUTER I弛c．20¨l ?001年l!月JoURNA!。()F RESEAR(：HANDDEVEI。0PMENT 基于标号变迁系统的测试集自动生成 蒋 凡 宁华中 (中国科技大学计并机科学与技术系 合吧 230¨26 ‘(】lank每～1¨rP(Iucn) 96 摘要首先，依照Is046的定义，阐述了西议一致眭测试的基本概念．然后．介绍标号变迁系统(I。Is)的彤式 化理论的定义和基本性质，利用LTs，给冉测试例、测试集以硬测试生成的形式化定义第3。表进r实现关系在测 试生成中的地位和作用，定义了输入输出系统，并存输人输出系统u及凸变换的基础上引入实现关系川仉根据实 理关系Ⅲo给出了一十测试集自动生成算法．该算法能很好地适用于递归的1，Ts． 关键词协议一致性测试．标号尘江系统．形式化方法．测试生成，有限状态机 04；113303．06 中圈法分类号TP393 AUToMATlCTESTSUITEGENERATIoNBASED0N LABELLEDTRANSITl0NSYSTEM FanandNINGHtla JIANG Zh。“g 2‘lⅦ埔 s㈨n…Hd ufs…n¨8nd。iPfhn。{og¨0thmq．HrM n。啤n…tf。fC。mput￡r TPfh∞t091．UnⅢ㈨b Inthe ab0L¨the collfornlaT1c【 Abstract tothedcfinltionsIS()9646 I)rotocol “rstly．accordlng basic conformanccare baslc pr。tocol presented．‰∞n(1ly·thc testing，someconccl’ts。f tcsti“g rflesofIh1abelledtransition t11P uslng theory．definition，andpmpe systPm(LTS)ar。91ven．By caseand aredPfifled． the I．TS， 1het。stsulte，test tcst theory generation Thlrdly- ln relatlonwhlch a role tesl 1sdescrlbed． lmplPmentatl。n p18yslmportant gcnPratlon Fmally，