基于子路径扩展的不可达路径检测方法

• 作者: 姜淑娟 张艳梅 王兴亚 王红阳 鞠小林
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 软件测试 子路径扩展 不可达路径检测 约束求解
• 年，卷（期）: 2015,（8）
• 所属期刊栏目: 学术论文
• 页码范围: 1555-1560
• 页数: 6页
• 分类号: TP311
• 字数: 6152字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2015.08.013

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姜淑娟	中国矿业大学计算机科学与技术学院	85	517	12.0	18.0
2	张艳梅	中国矿业大学计算机科学与技术学院	30	172	7.0	12.0
3	鞠小林	中国矿业大学计算机科学与技术学院	16	124	5.0	10.0
7	王兴亚	中国矿业大学计算机科学与技术学院	14	84	5.0	8.0
8	王红阳	中国矿业大学计算机科学与技术学院	1	5	1.0	1.0