填空题 软件测试中常用的静态分析方法是（）和（）。（）用于检查模块或子程序间的调用是否正确。分析方法（白盒方法）中常用的方法是（）方法。非分析方法（黑盒方法）中常用的方法是（）方法和（）方法。（）方法根据输出对输入的依赖关系设计测试用例。

填空题 软件测试方法可分为黑盒测试法和白盒测试法两种。 黑盒测试法是通过分析程序的（）来设计测试用例的方法。除了测试程序外，它还适用于对（）阶段的软件文档进行测试。 白盒测试法是根据程序的（）来设计测试用例的方法。除了测试程序外，它也适用于对（）阶段的软件文档进行测试。 白盒法测试程序时常按照给定的覆盖条件选取测试用例。（）覆盖比（）覆盖严格，它使得每一个判定的每一条分支至少经历一次。（）覆盖既是判定覆盖，又是条件覆盖，但它并不保证使各种条件都能取到所有可能的值。（）覆盖比其他条件都要严格，但它不能保证覆盖程序中的每一条路径。 单元测试一般以（）为主，测试的依据是模块功能规格说明。

多项选择题 从下列关于软件测试的叙述中，选出正确的叙述（）