论文部分内容阅读
本文提出了一种有效、自动的基本路径集的生成方法,它能在一定程度上提高软件测试的效率.该方法首先设计搜索算法生成基本路径集;再根据基本块之间的依赖性分析来识别不可达路径并将其删除;然后向路径集中添加未覆盖边所在的可达独立路径;最后向路径集中添加未找到可达路径的未覆盖边所在的不可达独立路径,及线性运算所需的不可达独立路径.实验结果表明,该基本路径集生成方法能有效地生成包含尽可能多的可达路径的基本路径集.