Detection of Infeasible Path in Procedure
Xiaowei Li · Jisuanji gongcheng · 2006
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.