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.
Key words:
Dataflow,
Infeasible paths,
Branch correlation
摘要: 对于大型软件来说,程序中不可达路径的存在增加了软件测试的耗费并严重影响了测试的准确性。通过在已生成的基本路径集中排除不可达路径的影响,有利于结构测试中各阶段的实现。提出了一种利用数据流分析信息检测不可达路径的方法。通过对条件分支相关性的探测进而确定了程序中的不可达路径,并通过适当地选取条件谓词,提高了检测分支的覆盖率。
关键词:
数据流,
不可达路径,
分支相关性
CLC Number:
CHEN Rui; ZHANG Guangmei;; LI Xiaowei. Detection of Infeasible Path in Procedure[J]. Computer Engineering, 2006, 32(16): 86-88.
陈 蕊;张广梅;;李晓维. 程序中不可达路径的检测方法[J]. 计算机工程, 2006, 32(16): 86-88.