包括静态分析、函数打桩、自动生成测试用例等