软件测试方法可以分为测试的分析方法和测试的非分析方法两种。测试的分析方法是通过分析程序的（)来设计测试

软件测试方法可以分为测试的分析方法和测试的非分析方法两种。测试的分析方法是通过分析程序的()来设计测试用例的方法。除了测试程序外，它还适合对于()阶段的软件文档进行测试。测试的非分析方法是根据程序的()来设计测试用例的方法。除了测试程序外，它也适用于对()阶段的软件文档进行测试。白盒法测试程序时常按照给定的覆盖条件选取测试用例。()覆盖比()覆盖严格，它使得每一个判定获得每 一种可能的结果。()覆盖既是判定覆盖，又是条件覆盖，但它并不能保证使各种条件都能取到所有可能的值。()覆盖比其他条件都要严格，但它不能保证覆盖程序中的每一条路径。单元测试一般以()为主，测试的依据是()。

供选择的答案：