软件测试-静态分析模型