填空题 通常对源程序进行静态分析的方法为：生成引用表、程序错误分析和（）。

填空题 白盒测试过程中使用静态分析技术主要目的为：程序逻辑和编码检查、一致性检查、接口分析、I/O规格说明分析、数据流、变量类型检查和（）。

填空题 覆盖包括的常用覆盖方法有：（）、分支覆盖、条件覆盖、判定-条件覆盖、路径覆盖。