王 敏 马 敏 张 志

(湖北广播电视大学软件工程学院 湖北 武汉 430074)

0 引 言

研究表明，软件测试是软件质量保证的重要手段。虽然早在20世纪70年代软件测试的基础理论和方法体系就已初步建立，但迄今为止软件测试的很多理论和方法仍然停留在早期的状态，已不能满足实际应用中对测试效率和实用性的需求。寻找新的测试技术以应对软件的测试需求依然是软件工程研究者们需要探索的问题。

软件测试过程中的单元测试可以发现大约80%的软件缺陷，同时，由于软件缺陷的放大效应，单元测试阶段的动态白盒测试对尽早发现软件缺陷、降低项目风险起着重要的作用。McCabe提出基本路径测试法被认为是动态白盒测试技术中严谨而有效的测试方法，其基本思想是在程序控制流图的基础上, 通过分析控制结构的环路复杂度导出基本路径集,以此作为设计测试用例的依据。但是当程序逻辑结构较为复杂时，人工实现变得比较困难，进而对测试用例设计的效率和正确性都有较大的影响。

人们针对基本路径集求解问题提出了各种算法[1-5]，但迄今为止都是拘泥于McCabe的基本思想进行的一系列基本路径集求解算法的改进，仍然不能完满地对应各种程序结构。近期的研究提出了基于路径字符串组合的基本路径集求解算法[6-7]，该算法较好地实现了基本路径的自动生成，但此方法未对应条件拆分的问题。因此，本文拟借助决策表解决基本路径集求解中的条件拆分问题。……