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

【Abstract】 To large-scale software,the existing of infeasible paths in procedure increases assumptions of software testing and impacts accuracy of testing seriously.Eliminating the impaction of infeasible paths is propitious to each steps of structure testing.A manner of applying information of dataflow to detection of infeasible paths is discussed in this paper.Determination of infeasible paths is implemented by detecting of branch correlation in control flow graph.Then the manner increases the rate of branches covered by selecting proper condition predication.更多还原