10.3969/j.issn.1000-3428.2006.16.032
程序中不可达路径的检测方法
对于大型软件来说,程序中不可达路径的存在增加了软件测试的耗费并严重影响了测试的准确性.通过在已生成的基本路径集中排除不可达路径的影响,有利于结构测试中各阶段的实现.提出了一种利用数据流分析信息检测不可达路径的方法.通过对条件分支相关性的探测进而确定了程序中的不可达路径,并通过适当地选取条件谓词,提高了检测分支的覆盖率.
数据流、不可达路径、分支相关性
32
TP311(计算技术、计算机技术)
国家自然科学基金90207002
2006-09-13(万方平台首次上网日期,不代表论文的发表时间)
共3页
86-88