结构测试中的可达路径选择方法

• 作者: 万琳 宫云战 肖庆
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 不可达路径 分支冲突 最少谓词路径
• 年，卷（期）: 2003,（2）
• 所属期刊栏目: 博士论文
• 页码范围: 42-43,46
• 页数: 3页
• 分类号: TP311.52
• 字数: 3912字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2003.02.018

摘要

在简单介绍了传统的不可达路径的排除方法后,主要介绍能有效改善其缺陷的可达路径选择方法.基于最少谓词思想的路径生成方法得到广泛的认可,但其实现方法的不同同样会影响路径的可达效果,文中介绍的综合利用控制流信息和数据流信息的方法较之单纯地利用控制流或数据流信息会生成更好的路径.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	肖庆	装甲兵工程学院计算机应用室	25	258	8.0	15.0
2	宫云战	装甲兵工程学院计算机应用室	37	383	11.0	17.0
3	万琳	装甲兵工程学院计算机应用室	26	160	8.0	11.0