摘要：不可达路径是造成软件测试资源消耗的一个重要方面．在路径测试之前，检测程序中的不可达路径可以有效节约软件测试资源．提出了一种基于子路径扩展的不可达路径静态检测方法．该方法首先生成程序的子路径集，将路径的可达性问题转换为不等式组的求解问题．使用约束求解器判断子路径的可达性，可以分为：可达子路径，不可达子路径和无法判定三个部分，并对后面两部分的子路径扩展出的路径做二次可达性检测，最终获得程序中所有路径的可达性信息．可达性检测工作主要在子路径集上进行，因此有效地解决了路径爆炸问题．实验结果表明本文方法可以准确有效地检测出程序中的不可达路径．

关键词：软件测试 子路径扩展 不可达路径检测 约束求解 

单位：中国矿业大学计算机科学与技术学院 江苏徐州221116 南通大学计算机科学与技术学院 江苏南通226019