一种改进的程序不可达路径静态检测方法

能够精确的检测出程序中不可达路径是提高结构测试效率的关键。本文提出一种针对函数调用的程序不可达路径静态检测方法，该方法分析程序控制流图中结点的定值—引用集合数据信息，并记录调用点的函数摘要，更新调用点的调用上下文数据流信息，判断程序条件语句的冲突分支，进而检测路径的可达性。实例分析结果表明，该方法可以进一步提高不可达路径检测的准确度。

Improved Static Approach of Infeasible Paths in Program

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 method can further enhance the accuracy for detected infeasible paths.