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