不可达基路径的静态检测方法

• 作者: 姜淑娟 张艳梅 王庆坛 赵雪峰
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 不可达路径 异常处理 数据流信息 分支冲突 别名分析
• 年，卷（期）: 2012,（2）
• 所属期刊栏目: 学术研究
• 页码范围: 144-155
• 分类号: TP311
• 字数: 10947字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.2012.02.006

摘要

不可达路径增加了程序的复杂度和冗余度,不可达路径的检测是结构测试中的一个关键问题.提出了一种包含异常处理结构的程序不可达路径的静态检测方法.该方法根据数据流信息判断产生冲突的分支,进而利用分支冲突检测路径的可达性；在数据流分析时考虑异常处理结构和变量别名对数据流信息的影响.实例分析结果表明,该方法可以进一步提高路径可达性检测的准确度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姜淑娟	中国矿业大学计算机科学与技术学院	85	517	12.0	18.0
2	张艳梅	中国矿业大学计算机科学与技术学院	30	172	7.0	12.0
3	王庆坛	中国矿业大学计算机科学与技术学院	3	24	2.0	3.0
4	赵雪峰	中国矿业大学计算机科学与技术学院	7	44	4.0	6.0