基于软件体系结构的测试用例生成技术研究

《基于软件体系结构的测试用例生成技术研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、哈尔滨工程大学博士学位论文基于软件体系结构的测试用例生成技术研究姓名：叶俊民申请学位级别：博士专业：计算机应用技术指导教师：王振宇20050401哈尔滨_]：程大学博士学位论文征和构件／进程之间的通信。在DRTSADL中，本文定义了简单构件、组合构件、连接件和端口等。从简单构件、组合构件、连接件和体系结构风格入手，描述了如何使用DRTSADL描述应用系统的软件体系结构，并以C3I的MMI(ManMachineInterface)为例说明了一个软件体系结构的完整描述。本文的第三部分工作是设计了一类分布式实时系统的测试用例生成方法，主要内容包括：(1)根据软件体系结构配置信息，设计了一套

2、测试覆盖准则，定义其对应的计算规则；(2)针对结构视点，基于DRTSADL规格说明的配置信息，设计了对应的测试用例生成算法；(3)基于异步网络的分布式系统模型和DRTSADL规格说明，设计了一种产生分布式系统的测试用例的算法；(4)基于一类计时自动机模型和DRTSADL规格说明，利用计时wp算法，设计了一种产生实时系统测试用例的算法，并证明了其终止性。为验证上述(2)和(4)方法的可用性，本文的第四部分工作是实现了一个面向DRTSADL的测试用例生成的环境原型，该原型支持DRTSADL的可视方式和文本方式的模型构建，依据所描述的被测系统，从配置(结构)和行为两个视点产生测试用例。用一

3、个人机接口系统软件MMI进行实验，表明该环境原型能够按用户要求产生测试用例。关键词：软件体系结构，体系结构描述语言，计时状态进程(TSP)，操作语义，分布式实时系统，测试用例II基于软件体系结构的泌试用例生成技术研究AbstractSoftwarearchitecturetechniqueshaveincreasinglybeenusedinresearchandindustrysince1990s．Infact，softwarearchitecturaldesignisofvitalimportancetothedevelopmentofsoftwaresystem．Theimpo

4、rtanceembodiesnotonlyinsoftwared￡vedopment，butalsointhefactthattheycanguidesoftwaretesting．Therefore，itisnecessarytostudythespecification-basedsoftwarearchitecturetestingtechniquesinordertoimprovethequalityofsoftwarearchitecturaldesignandguidesoftwaretesting．Whilesoftwarearchitecturehasraisedma

5、nychallengingquestionsfortesting，relativelylittleworkhasbeendonetoaddresshowsoftwarearchitectureshouldbetested．Undoubtedly,theultimatesuccessfulapplicationofsoftwarearchitecturetechniqueslargelydependsonwhetherornoteffectivetestingtechniquessuitableforsoftwarearchAectureareavailable．Thecoreofre

6、searchesonthetestingtechniquesofthespecification—basedsoftwareamhitectureistogeneratetestcasesautomatically．Todothat，itisnecessarytoselectordesignanappropriatesoftwarearchitecturedescriptionlanguagetodescribeImplementationUnderTest(IUDatsoftwarearchitecturelevelfromwhichtolookforappropriateview

7、points，testcriteriaandtestcasesgenerationalgorithms．Ourresearchworkstartswithsoftwaretestviewpointstoachievethegoaloftestingsoftwarearchitecturefrommulti-viewpoints．Inthefirstpartofthisdissertation，weproposeamulti-viewpointdemandc