一种新的边界测试数据自动生成方法研究

《一种新的边界测试数据自动生成方法研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、北京化工大学硕士学位论文一种新的边界测试数据自动生成方法研究姓名：董红霞申请学位级别：硕士专业：计算机应用技术指导教师：赵瑞莲20060605摘饕一种新的边界测试数据自动生成方法研究摘鬟软件测试是对软件功能、设计和实现的最终审定，是保证软件质量，提囊软件可靠性的主要技术手段。测试数攥生成是软件测试髓菝心与关键。边界是特别容易出现故障的地方。针对边界礅选的处理，设诗专门的测试用例，常常可以取得良好的测试效果。边界德测试是一种常用的功熊测试方法。较件容镥通过软件冗余，来霹蔽软件故障，改善软件系统的可靠馥。N版本程序设计是一种通用的软件

2、容错方法。冗余捆绑式惯性测量单元垠S雠醚U(＆魏鞋dantS臼apped．Downl蘸e磁al鑫莲easHfement己魏it)是采耀N版本程序设计方法开发的容错软件。本文提遗了一耪薪鹃边爨溅试数攒生成方法，著开发了一个穗应麴莰

3、

4、试数据自动生成工具。针对RsDIMu容错软件的需求规范，开发了52个测试耀锲，对C糖-K开发的3毒个舨本的RSD王MU程痔和429个变冥倦进行了测试。在经过验收测试的34个版本的RSDIMu程序中，又发现了7个软件故障，并且这52个测试用铡可以检测到所有429个变异体中的故障。同时和采用边赛值分析、健壮

5、一陡测试、最坏情况测试和健壮最坏情况测试等边界值测试方法设计的4组测试用例进行了分析比较。实验表明：本文提出的方法是一种毒}常有效的边界测试数据生成方法，不仅可黻北京化工人学硕士学位论文克服测试的盲目性，降低测试成本，而且可以明显提高故障覆盖率。软件测试和软件容错是两种提高软件系统可靠性的主要技术手段。软件测试和软件容错技术相结合，可以进一步提高软件系统的可靠性。关键词：测试数据生成，边界测试，RSDIMU，变异体摘要AS零UDYoNANEWAUToM篷rlCGEN嚣10攫loNAPPRoAClIoFTHEBoUNDARYTEST

6、DATAABSTRACTSoRwaretestingistlleultimateeXamin“onofmefunction，desigIland羚aliz蘸艟o￡氇eso瓤鑫fe．1t呈Sapfi擞a黟te藏藏ique稔静鑫fa羹馋es蛰蠡wafequalityand。IlIlancesoRwarereliabili够Testdatagenerationismek。yofso&Ⅳaretesting。Boundaryismeplacewheremefaultoccursespeciallyeasily-Wbcangenerally

7、get斑Vorabletesteff．ectifwedesignspecialtesteasestocheck协ecorrelativeGodeneartheboundary．Boulldaryvaluetestisafllnctionaltestapproachincommonu8eSo盎warefauittolerance盘ieldssoRwarefaultandimprovessof觚aresystemreliabili哆bysofmareredundancy．N—Versionprogrammingisakindofme氆

8、odofso叠wa糟酝u董tt01eranee洫commonuse．RS耠IMUfRedundantStrapped-DowllInertialMeasurementunit)isaf．aulttolerallcesoRware蠢evelopedbyadop￡i珏g凌e器p爹foaehofN—ve描i雠pl蟹gf黼i瓣g。Anewgenerationapproachoftheboundarytestdataispresentedanda

9、l

10、北京化工人学硕士学位沦文corT．espondingautomatictooloftest

11、datagene洲0nisdeVelopedin“sp印er．52testcasesaredevelopedintemsofthespecificationoftIlefaulttolerancesoRWare·RSDIMU．34RSDIMUprogramversionsa11d429mutantsdeVelopedatCIT脉aretested．7soRwaref矗ultsaredetectedjnthe34RSDIMUprogramVersionswhichhadalreadypassedtheacc印taIlcetestan

12、da11429faultsinthemutantsarediscovered．Atthesametime。metestresultofthe52bounda．rytestcasesisanalyzedandcomparedwimthatofthe4