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

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

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

具体的白盒测试方法有程序控制流分析、数据流分析、逻辑覆盖、域测试、符号测试、路径分析、（）等。

填空题具体的白盒测试方法有程序控制流分析、数据流分析、逻辑覆盖、域测试、符号测试、路径分析、（）等。

白盒测试是以仔细检查程序的细节为基础，通过提供一组指定条件和循环的（），对软件中的逻辑路径进行测试，可以在不同...

填空题白盒测试是以仔细检查程序的细节为基础，通过提供一组指定条件和循环的（），对软件中的逻辑路径进行测试，可以在不同的检查点检查程序的状态，以确定实际运行状态与预期状态是否一致。