一种改进的程序不可达路径静态检测方法

• 作者: 喻琴仪 杨浩 罗扬
• 来源期刊: 南华大学学报（自然科学版）
• 学科: 工学
• 关键词: 不可达路径 函数调用 调用上下文 数据流 冲突分支
• 年，卷（期）: 2014,（4）
• 所属期刊栏目: 数理?计算机科学
• 页码范围: 68-73
• 页数: 6页
• 分类号: TP311.11
• 字数: 3392字
• 语种: 中文

摘要

能够精确的检测出程序中不可达路径是提高结构测试效率的关键。本文提出一种针对函数调用的程序不可达路径静态检测方法，该方法分析程序控制流图中结点的定值—引用集合数据信息，并记录调用点的函数摘要，更新调用点的调用上下文数据流信息，判断程序条件语句的冲突分支，进而检测路径的可达性。实例分析结果表明，该方法可以进一步提高不可达路径检测的准确度。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	罗扬	南华大学计算机科学与技术学院	31	110	5.0	9.0
2	杨浩	南华大学计算机科学与技术学院	4	41	3.0	4.0
3	喻琴仪	南华大学计算机科学与技术学院	1	3	1.0	1.0