论文部分内容阅读
对于大型软件来说，程序中不可达路径的存在增加了软件测试的耗费并严重影响了测试的准确性。通过在已生成的基本路径集中排除不可达路径的影响，有利于结构测试中各阶段的实现。提出了一种利用数据流分析信息检测不可达路径的方法。通过对条件分支相关性的探测进而确定了程序中的不可达路径，并通过适当地选取条件谓词，提高了检测分支的覆盖率。