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