It is the key to accurately detect the infeasible paths in the program to improve the efficiency of structured test. This article proposes a static approach to detecting infeasible path of program aiming at function call. this approach records the define_use data information of program control flow graph,and the function summary of call site,then updates its call context data flow information,finally judges the conflict branch of program conditional state_ment to detecting the paths accessibility. The results of case research show that the proposed ...
