基于最少谓词思想的可达路径选择

Feasible Path Selection Based on Fewer Predicates

对于结构测试中的不可达路径问题,仅仅使用传统的不可达路径排除方法存在很大的限制性,应用效果一般.积极选择可达路径的思想可有效减少不可达路径的产生.目前,基于最少谓词思想的路径生成方法得到广泛的认可.了解可达路径选择思想后,主要介绍一种基于数据流信息的,具体应用基本程序切片技术来生成可达路径的方法,该方法可生成几乎有最少谓词的路径,有较好效果.

Traditional techniques of infeasible path elimination have been proved to be of limited effect on in-feasible path problems. The idea of feasible path selection can improve the situation. Selecting paths with a low number of predicates was accepted widely. This paper simply introduces the idea of feasible path selection, then presents emphatically an approach in which slicing technique is applied. The method can get paths with almost minimum number of influencing predicates.