第29卷第1期2024年1月doi:10.13682/j.issn.2095-6533.2024.01.009基于元启发优化算法的数值型蜕变关系生成方法西安邮电大学学报JOURNALOFXI'ANUNIVERSITYOFPOSTSANDTELECOMMUNICATIONSVol.29No.1Jan,2024王曙燕12，王思维（1.西安邮电大学计算机学院，陕西西安710121;2.西安市物联网智能信息采集与处理工程研究中心，陕西西安710121)摘要：针对蜕变测试难以获取蜕变关系且容易出现错误导致测试成本过高的问题，提出一种基于元启发优化算法的数值型蜕变关系生成方法。通过分析数值型蜕变关系的数学特征并组合等式与不等式关系，构成输入、输出参数矩阵。结合粒子群和模拟退火两种元启发优化搜索算法，设定合适的代价函数，将构成的参数矩阵作为搜索粒子，搜索并生成各种等式、不等式的蜕变关系。实验结果表明，与仅使用一种搜索算法相比，所提方法能够在不改变解的类型情况下跳过局部最优，节省时间开销，提高了蜕变关系生成效率。关键词：软件测试；蜕变测试；蜕变关系；粒子群算法；模拟退火算法中图分类号：TP311.5Generationmethodofnumericalmetamorphicrelationsbasedon(1.SchoolofComputerScienceofTechnology,Xi'anUniversityofPostsandTelecommunications,Xi'an710121,China;2.Xi'anEngineeringResearchCenterofIoTIntelligentInformationCollectionandProcessing,Xi'an710121,China)Abstract:Anumericalmetamorphicrelationshipgenerationmethodbasedonmetaheuristicoptimi-zationalgorithmisproposedtoaddresstheproblemofdifficulttoobtainmetamorphicrelationshipsandhightestingcostscausedbyerrorsinmetamorphictesting.Byanalyzingthemathematicalchar-acteristicsofnumericalmetamorphicrelationshipsandcombiningequationsandinequalityrelation-ships,aninputandoutputparametermatrixisformed.Throughthecombinationoftwometaheu-risticoptimizationalgorithms,namelytheparticleswarmoptimizationandthesimulatedannealing,appropriatecostfunctionsareset,andtheconstructedparametermatrixisusedasthesearchparti-cletosearchandgeneratemetamorphicrelationshipsofvariousequationsandinequalities.Experi-mentresultsshowthatcomparedtousingonlyonesearchalgorithm,theproposedmethodcanskiplocaloptimawithoutchangingthetypeofsolution,andcansavethetimecostsandimprovetheeffi-ciencyofmetamorphicrelationshipgenera...
