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

关键词: 不可达路径, 分支冲突, 最少谓词路径

Abstract: The paper simply introduces traditional techniques of infeasible path elimination, then presents emphatically the approach of feasible path selection which can overcome the problem efficiently. Selecting paths with a low number of predicates is accepted widely, but different implementation also can affect the probability of feasible paths. By applying the method introduced in this paper, better path can be found such that both control and data flow information are considered.

中图分类号: 

• TP311.52