程序中不可达路径的检测方法

• 作者: 张广梅 李晓维 陈蕊
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 数据流 不可达路径 分支相关性
• 年，卷（期）: 2006,（16）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 86-88
• 页数: 3页
• 分类号: TP311
• 字数: 5109字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.16.032

摘要

对于大型软件来说,程序中不可达路径的存在增加了软件测试的耗费并严重影响了测试的准确性.通过在已生成的基本路径集中排除不可达路径的影响,有利于结构测试中各阶段的实现.提出了一种利用数据流分析信息检测不可达路径的方法.通过对条件分支相关性的探测进而确定了程序中的不可达路径,并通过适当地选取条件谓词,提高了检测分支的覆盖率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张广梅	中国科学院计算技术研究所信息网络室	20	79	5.0	8.0
3	李晓维	中国科学院计算技术研究所信息网络室	127	1467	20.0	32.0
6	陈蕊	中国科学院计算技术研究所信息网络室	1	17	1.0	1.0