资源描述：
《一致性测试中的时间约束及测试用例生成算法》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、一致性测试中的时间约束及测试用例生成算法第40卷 第4期西 安 交 通 大 学 学 报Vol.40 №42006年4月 JOURNALOFXI′ANJIAOTONGUNIVERSITYApr.2006一致性测试中的时间约束及测试用例生成算法柯尧1计算机科学重点实验室,100080,北京)赵保华1,2,(1.中国科学技术大学计算机科学与技术系,230027,合肥;2.中国科学院软件研究所摘要参数做了严格的约束,同时给出了基于等待、在控制流测试中,先生成引导序列,然后按照测试拓扑环境设置和事件约束对引导序列、:针对协议测试理论中的时间约束问题,从
2、不同的一致性测试方法出发对协议测试中的时间协调和同步时间的严格约束下的测试用例生成算法.测试序列的时间进行约束设置.在数据流测试中,等待时间只需按照需求描述和约束来设定.对边界网关协议进行测试的结果表明,所提算法能适应不同的网络拓扑环境,其生成的测试用例在测试中能够有效降低测试代价.关键词:一致性测试;时间约束;边界网关协议中图分类号:TP311 文献标识码:A 文章编号:0253O987X(2006)04O0381O05TimeConstraintandTestCaseGenerationinConformanceTestingZhaoBaoh
3、ua1,2,KeYao1(1.DepartmentofComputerScienceandTechnology,UniversityofScienceandTechnologyofChina,Hefei230027,China;2.LaboratoryofComputerScience,SoftwareInstituteofChineseAcademyofSciences,Beijing100080,China)Abstract:Focusingonthetimeconstraintprobleminprotocoltestingtheories
4、,astrictconstraintovertimeparametersinprotocoltestingwaspresentedfromseveralconformancetestingmeth2ods,andatestcasegenerationalgorithmwasgivenunderthestricttimeconstraintbasedonwait2ing,coordinationandsynchronizingtime.Incontrolflowtesting,homingsequenceiscreatedfirst,thenthe
5、waitingtimeissetinhomingandcheckingsequenceaccordingtothenetworktopol2ogiesandevents.Indataflowtesting,thewaitingtimeissetonlyaccordingtorequirementde2scriptionandconstraint.TestresultofBGP(bordergatewayprotocol)indicatesthatthisalgo2rithmcanadaptdifferentnetworktopologies,an
6、dthetestcasescreatedbythealgorithmcanef2fectivelyreducetestcosts.Keywords:conformancetesting;timeconstraint;bordergatewayprotocol 协议测试是保证协议按照规范稳定、可靠运行在协议开发过程中要不断地进行回归测试,因的前提.协议测试有很多种,一致性测试是其他测试此对时间的要求很高.ISO9646没有对时间进行约的基础.ISO9646[1]定义了通信协议一致性测试的束,但协议标准却对时间参数有严格规定,测试用例基本框架和通信
7、协议一致性测试用例描述语言设计对时间约束一般是在协议规定的时间参数上增TTCN.协议本身的复杂性及对测试代价的要求决加一个随机等待时间[2],这样设置不够合理,而且在定了不可能对协议进行完全测试,因此测试用例设不同的协议测试环境中还会出现测试结果不一致,计需要保证在有限的测试代价下达到最大测试覆盖这种不一致就是由于时间参数设置不当.在进行分度.布式测试和协调测试的时候,也需要保证各测试体收稿日期:2005O08O10. 作者简介:赵保华(1947～),男,教授,博士生导师. 基金项目:国家自然科学基金重大研究计划资助项目(90104010);国家
8、自然科学基金资助项目(60241004);国家重点基础研究规划资助项目(2003CB314801);信息产业部资助项目(2005C56)
