10.3969/j.issn.1672-1497.2004.02.015
基于最少谓词思想的可达路径选择
对于结构测试中的不可达路径问题,仅仅使用传统的不可达路径排除方法存在很大的限制性,应用效果一般.积极选择可达路径的思想可有效减少不可达路径的产生.目前,基于最少谓词思想的路径生成方法得到广泛的认可.了解可达路径选择思想后,主要介绍一种基于数据流信息的,具体应用基本程序切片技术来生成可达路径的方法,该方法可生成几乎有最少谓词的路径,有较好效果.
不可达路径、程序切片、最少谓词路径
18
TP311(计算技术、计算机技术)
2004-08-18(万方平台首次上网日期,不代表论文的发表时间)
共3页
61-63