%0 Journal Article %A 王红阳 %A 姜淑娟 %A 王兴亚 %A 鞠小林 %A 张艳梅 %T 基于子路径扩展的不可达路径检测方法 %D 2015 %R 10.3969/j.issn.0372-2112.2015.08.013 %J 电子学报 %P 1555-1560 %V 43 %N 8 %X

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

%U https://www.ejournal.org.cn/CN/10.3969/j.issn.0372-2112.2015.08.013