安韵涵 张海波

(武汉数字工程研究所 武汉 430205)



基于分组的蜕变测试的优化方法*

安韵涵 张海波

(武汉数字工程研究所 武汉 430205)

蜕变测试中的路径覆盖准则在实际应用中难以实现。文中利用路径相似度对程序进行分组,先测试每个分组程序的相同路径部分,在分组程序中利用分组程序的特殊性质寻找蜕变关系。以三角形面积计算程序为例进行分析,实验结果表明：文中方法能有效提高测试的效率,相比于针对整体程序的蜕变关系,文中的蜕变关系寻找方法在程序错误检测方面更加高效,且能更迅速定位到程序的错误路径。

蜕变测试; 蜕变关系; 分组; 错误定位

Class Number TP311.5

1 引言

随着计算机应用的发展,软件质量已经越来越引起人们的重视,软件测试作为保证软件质量的重要技术也逐渐成为人们关注的重点。传统的软件测试通过对比测试输出与预期输出来判断软件的质量,但在传统测试过程中经常会碰到oracle问题[1]。为了解决oracle问题,Chen等在1998年提出蜕变测试的概念[2],该方法不需要构造预期输出,只需要通过检查多次执行程序的输入输出之间是否满足蜕变关系来测试程序的质量。

目前,蜕变测试研究主要集中在测试用例的生成、蜕变关系选取的策略以及蜕变测试的实用性方面,文献[3]提出迭代蜕变测试来生成测试用例,文献[4]提出路径覆盖准则,但是这些方法在实际应用中不够高效,尤其在复杂程序中,难以找到符合全路径覆盖的测试用例集,即使找到符合条件的测试用例集,其开销也是昂贵的。……