白盒测试：已知产品的内部工作过程，可以进行证明每种内部操作过程是否符合设计规格要求，所有内部成分是否经过检查。
语句覆盖：设计足够多的测试用例，使得每个可执行语句至少执行一次
判断覆盖：设计若干个测试用例，使得程序运行时，每个判断条件的真假分支至少被执行一次
条件覆盖：设计若干个测试用例，使得程序运行时，每个判断条件中的每个判断式的真、假值至少被执行一次
判断条件覆盖：设计若干个测试用例，使得程序运行时，每个判断条件中真、假值分支至少被执行一次，且每个判断条件的内部判断式的真、假值至少被执行一次
条件组合覆盖：指设计若干个测试用例，使得程序运行时，每个判断条件的内部判断式的各种真假组合都至少被执行一次
