在软件测试中，测试充分是软件质量最可靠的保障，也是软件测试的最终目标。在白盒测试中，路径测试思想保证系统中的每一条路径至少被执行一次，以达到完测试的目的。基于语句，路径的数目将会庞大以致无法完全测试，然而，如果以函数为粒度，路径的数目将会大大减少，相对功能测试和路径测试，函数路径覆盖测试具有很好的可信度和可行性。　　目前测试工具只能获取函数包含关系，无法获取系统的函数调用路径。通过扫描源码，分析控制流，跟踪数据流，建立相应的数学模型，根据条件相关性和数据流信息，剔除其中不可达函数路径，得出所有可能的静态函数调用路径。　　将该提取方法应用于白盒回归测试工具中，用于提取函数调用路径，实验结果表明，该方法提取的静态路径伞面、能够准确地剔除不可达路径、为面向函数调用路径的回归测试提供了基础数据。