基于合约变异的构件软件测试技术

《基于合约变异的构件软件测试技术》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、分类号：UDC：密级：编号：学位论文基于合约变异的构件软件测试技术张丁丁指导教师姓名：刘国丽教授河北工业大学申请学位级别：硕士学科、专业名称：计算机应用技术论文提交日期：2011年11月论文答辩日期:2011年12月学位授予单位：河北工业大学答辩委员会主席：评阅人：2011年11月DissertationSubmittedtoHebeiUniversityofTechnologyforTheMasterDegreeofComputerAppliedTechnologyCONTRACT-BASEDMUTATIONOFCOMPONENTSO

2、FTWARETESTINGTECHNOLOGYByZhangDingdingSupervisor:Prof.LiuGuoliNovember2011原创性声明本人郑重声明：所呈交的学位论文，是本人在导师指导下，进行研究工作所取得的成果。除文中已经注明引用的内容外，本学位论文的研究成果不包含任何他人创作的、已公开发表或者没有公开发表的作品的内容。对本论文所涉及的研究工作做出贡献的其他个人和集体，均已在文中以明确方式标明。本学位论文原创性声明的法律责任由本人承担。学位论文作者签名：日期：关于学位论文版权使用授权的说明本人完全了解河北工业大学关于收集、保存、使用学位

3、论文的规定。同意如下各项内容：按照学校要求提交学位论文的印刷本和电子版本；学校有权保存学位论文的印刷本和电子版，并采用影印、缩印、扫描、数字化或其它手段保存论文；学校有权提供目录检索以及提供本学位论文全文或者部分的阅览服务；学校有权按有关规定向国家有关部门或者机构送交论文的复印件和电子版；在不以赢利为目的的前提下，学校可以适当复制论文的部分或全部内容用于学术活动。（保密的学位论文在解密后适用本授权说明）学位论文作者签名：日期：导师签名：日期：河北工业大学硕士学位论文基于合约变异的构件软件测试技术摘要软件测试是保证软件质量的重要手段，其目的在于检验软件

4、产品是否满足规定的需求，找出软件中潜伏的各种错误与缺陷。软件测试与软件的开发方法有着紧密的联系，不同的开发方法确定了不同的测试技术。20世纪90年代以来软件领域研究的一个重要进展就是软件构件化。构件技术是面向对象技术的进一步发展，使人们能够在不同语言、不同平台下开发软件，解决了面向对象技术无法使大量结构相似的应用程序得到复用的矛盾。因此构件技术已成为当前软件领域的主流技术和应用研究热点。变异测试是一种行之有效的软件测试方法，通过使用变异算子产生变异体，系统地模拟软件中的各种缺陷，然后构造能够杀死这些变异体的测试数据集。自动生成能够杀死变异体的测试数据将提高变异测

5、试的效率和有效性。鉴于变异测试在软件测试中取得的成功，本文在前人的研究基础上将变异测试引入到构件测试技术中去。本文介绍了传统变异测试数据生成方法，由于传统测试数据生成方法中只能对单个参数的一次约束条件进行数据选择，本文在基于合约变异方法的基础上，提出了一种改进的测试数据选择算法，可以对单个参数的多次约束条件产生测试数据，利用此算法可以生成一组达到一定合约变异充分度的有效测试数据，克服了传统变异测试产生大量变异体带来的测试低效性；同时，本文还介绍了基于规格说明的变异算法在软件测试中的应用思想，分析了不同变异算子与故障类别之间的蕴含关系，把这种算法应用到构件合约变异

6、中去，并对传统的合约变异算子进行了改进，在一定程度上提高了测试数据的有效性，进一步简化了最终测试数据集。本文最后通过一个实例分析验证了改进变异算子的有效性。关键词：构件技术，变异测试，变异算子，构件规格说明i基于合约变异的构件软件测试技术CONTRACT-BASEDMUTATIONCOMPONENTSOFTWARETESTINGTECHNOLOGYTABSTRACTSoftwaretestingisanimportantmeanstoensuresoftwarequality,thepurposeofitistotestwhetherthesoftwarepro

7、ductmeetsspecifiedrequirements,findoutthesoftwareofallkindsofpotentialerrorsanddefects.Softwaretestingandsoftwaredevelopmentmethodsarecloselylinked,thedevelopmentofdifferentmethodstodeterminethedifferenttestingtechniques.Sincethenineteennintiessoftwareresearchisanimportantprogressist

8、hesoftwareco