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

摘要：

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

关键词：不可达路径、分支冲突、最少谓词路径

所属期刊栏目：29

分类号：TP311.52(计算技术、计算机技术)

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

页数：共3页

页码：42-43,46