一种新的基于模拟退火的测试用例生成与约简算法-计算机应用与软件.PDFVIP

第３０卷第２期　　　 计算机应用与软件 Ｖｏｌ３０Ｎｏ．２ ２０１３年２月　　 ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ Ｆｅｂ．２０１３ 一种新的基于模拟退火的测试用例生成与约简算法 王　博　王曙燕 （西安邮电学院计算机学院　陕西西安７１０１２１） 摘　要　　测试数据生成是组合测试的一个关键问题。提出一种基于贪心算法和模拟退火的组合测试用例约简算法，可以大幅约 简成对组合测试用例的生成。分别采用爬山法、一般模拟退火算法和约简模拟退火算法对成对组合测试用例生成进行比较，实验表 明所提出的模拟退火算法有较好的运行效率和约简效果。 关键词　　组合测试　测试用例生成　成对测试　模拟退火 中图分类号　ＴＰ３０１　　　　文献标识码　Ａ　　　　ＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ．１０００３８６ｘ．２０１３．０２．０２０ ＡＮＯＶＥＬＭＥＴＨＯＤＯＦＴＥＳＴＣＡＳＥＧＥＮＥＲＡＴＩＯＮＡＮＤＲＥＤＵＣＴＩＯＮＡＬＧＯＲＩＴＨＭ ＢＡＳＥＤＯＮＳＩＭＵＬＡＴＥＤＡＮＮＥＡＬＩＮＧ Ｗａｎｇｂｏ　ＷａｎｇＳｈｕｙａｎ （ＳｃｈｏｏｌｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙ，Ｘｉ’ａｎＵｎｉｖｅｒｓｉｔｙｏｆＰｏｓｔｓａｎｄＴｅｌｅｃｏｍｍｕｎｉｃａｔｉｏｎ，Ｘｉ’ａｎ７１０１２１，Ｓｈａａｎｘｉ，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ　　Ｔｅｓｔｄａｔａｇｅｎｅｒａｔｉｏｎｉｓａｋｅｙｉｓｓｕｅｉｎｃｏｍｂｉｎａｔｏｒｉａｌｔｅｓｔｉｎｇ．Ｔｈｉｓｐａｐｅｒｐｒｏｐｏｓｅｓａｒｅｄｕｃｔｉｏｎａｌｇｏｒｉｔｈｍｏｆｃｏｍｂｉｎａｔｏｒｉａｌｔｅｓｔｉｎｇ ｗｈｉｃｈｉｓｂａｓｅｄｏｎｇｒｅｅｄｙａｌｇｏｒｉｔｈｍａｎｄｓｉｍｕｌａｔｅｄａｎｎｅａｌｉｎｇｏｐｔｉｍｉｓａｔｉｏｎ，ｗｈｉｃｈｃａｎｓｈａｒｐｌｙｒｅｄｕｃｅｔｈｅｇｅｎｅｒａｔｉｏｎｑｕａｎｔｉｔｙｏｆｐａｉｒｗｉｓｅｔｅｓｔ ｃａｓｅ．Ｉｎｔｈｅｐａｐｅｒｗｅｃｏｍｐａｒｅｔｈｅｐａｉｒｗｉｓｅｔｅｓｔｃａｓｅｇｅｎｅｒａｔｅｄｂｙｔｈｒｅｅｍｅｔｈｏｄｓｏｆｈｉｌｌｃｌｉｍｂｉｎｇａｌｇｏｒｉｔｈｍ，ｇｅｎｅｒａｌｓｉｍｕｌａｔｅｄａｎｎｅａｌｉｎｇａｌｇｏ ｒｉｔｈｍａｎｄｒｅｄｕｃｔｉｏｎｏｆＳＡａｌｇｏｒｉｔｈｍｒｅｓｐｅｃｔｉｖｅｌｙ，ｅｘｐｅｒｉｍｅｎｔｓｕｇｇｅｓｔｓｔｈａｔｔｈｅｎｅｗａｌｇｏｒｉｔｈｍｐｒｏｐｏｓｅｄｉｎｔｈｅｐａｐｅｒｈａｓｆａｉｒｌｙｇｏｏｄｏｐｅｒａｔｉｏｎ ｅｆｆｉｃｉｅｎｃｙａｎｄｒｅｄｕｃｔｉｏｎｒｅｓｕｌｔ． Ｋｅｙｗｏｒｄｓ　　Ｓｏｆｔｗａｒｅｔｅｓｔｉｎｇ　Ｔｅｓｔｃａｓｅｇｅｎｅｒａｔｉｏｎ　Ｐａｉｒｗｉｓｅｔｅｓｔｉｎｇ　Ｓｉｍｕｌａｔｅｄａｎｎｅａｌｉｎｇ 后在常温时达到基态，内能减为最小。 ０　引　言 模拟退火算法 ＳＡ（ＳｉｍｕｌａｔｅｄＡｎｎｅａｌｉｎｇ）最早由Ｋｉｒｋｐａｔｒｉｃｋ 等应用于组合优化领域，它是基于ＭｅｎｔｅＣａｒｌｏ迭代求解策略的 软件测试是构建高可信软件的关键环节，统计数据表明， 一种随机寻优算法，其出发点是基于物理中固体物质的退火过 该环节一般占软件开发总成本的５０％以上［１］。在测试中选择 程与一般组合优化问题之间的相似性。 具有代表性的测试用例驱动被测程序，是测试用例生成的核心 模拟退火算法从某一较高初温出发，伴随温度参数的不 问题，但该过程大部分工作往往需要手工完成。组合测试技术 断下降，结合概率突跳特性在解空间中随机寻找目标函数的 是一种有效的测试用例生成技术，可作为其他测试技术（例如 全局最优解，即在局部最优解能概率性地跳出并最终趋于全 等价类划分