应用数据流信息解决不可达路径问题

摘要：

基于最少谓词思想的路径生成方法得到广泛的认可,但其实现方法的不同同样会影响路径的可达效果.本文在简单了解了基于控制流的最少谓词路径构造后,主要介绍基于数据流信息的,具体应用基本程序切片技术来生成可达路径方法,该方法可生成几乎有最少谓词的路径,有较好效果.

关键词： 不可达路径 程序切片 最少谓词路径 结构测试 数据流信息

作者: 万琳 宫云战 肖庆

作者单位: 装甲兵工程学院计算机应用室(北京)

会议类型: 国内会议

会议名称: 企业信息化高级论坛全国第12届CAD/CG学术会议

会议地点: 贵阳

会议语种:中文

页码: 361-364

在线出版日期: 2002-08-20（万方平台首次上网日期，不代表论文的发表时间）