资源描述：
《基于程序路径分析的有效蜕变测试》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、基于程序路径分析的有效蜕变测试*本课题得到国家杰出青年科学基金项目(60425206),国家自然科学基金重大研究计划(90818027)与重点项目(60633010),国家高技术研究发展计划(863计划)目标导向类项目(2009AA01Z147),国家自然科学基金项目(60773104)的资助.董国伟,男,1983年生,博士研究生,研究方向为软件分析与测试,Email:dgw@seu.edu.cn,电话:13675106871;聂长海,男,1971年生,博士,副教授,研究方向为软件工程和软件测试技术、模糊信息处理、神经网络等,Email:changhai
2、nie@nju.edu.cn,电话:13851784496;徐宝文,男,1961年生,教授,博士生导师,研究方向为程序设计语言,软件工程,并行与网络软件等,Email:bwxu@nju.edu.cn,电话:13327800488.董国伟聂长海徐宝文(东南大学计算机科学与工程学院 南京 210096)(江苏省软件质量研究所 南京 210096)摘要蜕变测试对于预期输出难以构造的程序是实用和高效的.作者在系统研究已有蜕变测试方法和路径分析技术的基础上，首先针对使用二元蜕变关系的测试提出了一组蜕变测试准则，以在多个不同的层次上定义蜕变测试用例集的充分性；然后给
3、出了三种能够生成相应测试用例集的算法；最后通过变异分析的方法证实这些算法的有效性.实验结果表明蜕变关系和测试准则的选取直接影响到测试的效果，另外，使用蜕变关系全路径覆盖可满足性算法(APCEMST)可以快速准确地发现待测程序中的错误，而生成的测试用例的数量却比传统技术要少.关键词软件测试;蜕变测试;oracle问题;蜕变关系;路径覆盖准则EffectiveMetamorphicTestingBasedonProgramPathAnalysis*DONGGuo-WeiNIEChang-HaiXUBao-Wen(SchoolofComputerScience
4、andEngineering,SoutheastUniversity,Nanjing210096)(JiangsuInstituteofSoftwareQuality,Nanjing210096)AbstractMetamorphictestingisverypracticalandeffectiveforprogramswithoracleproblems.Muchresearchhasbeendoneinthisfield.Baseduponexistedmethodsofmetamorphictestingandprogrampath-analys
5、is,theauthorsfirstpresentasetofmetamorphictestingcriteriaforthetestwithbinarymetamorphicrelations.Thesecriteriadefinetheadequacyofmetamorphictestsuitesatseveraldifferentlevels.Then,threenewtestingalgorithmsaregiventogeneratetestsuitesthatcouldsatisfythecriteriaabove.Finally,these
6、algorithms’performancesarefullyprovedwiththetechniqueofmutationanalysis.Theexperimentresultsshowthattestingeffectsaregreatlydecidedbytheselectionofmetamorphicrelationsandtestingcriteria,andthealgorithmAPCEMSTcoulddetectfaultsquicklyandexactlywithfewertestcasesthantraditionalmetho
7、d.Keywordssoftwaretesting;metamorphictesting;oracleproblem;metamorphicrelation;path-coveragecriterion1引言软件测试是一种重要的、不可缺少的软件质量保证技术，用于发现和纠正软件中存在的缺陷和错误。但在很多情况下，测试时存在着oracle问题[1]，即测试人员很难构造程序的预期输出，确定执行结果与期望结果是否相同。为了能够有效地解决此类问题，Chen等人提出了蜕变测试(metamorphictesting)的概念[2]，该方法通过检查程序的多个执行结果之间的
8、关系来测试程序，不需要构造预期输出。蜕变测试技术具有三个突出的特点：为了检查程序
