逻辑覆盖

1. 语句覆盖：选择足够多的测试数据，使被测程序中每个语句至少执行一次。

2. 判定覆盖：选择足够多的测试数据，每个判定的每个分支都至少执行一次。

3. 条件覆盖：选择足够多的测试数据，不仅每个语句至少执行一次，而且使判定表达式中的每个条件都取到各种可能的结果。

4. 判定/条件覆盖：选择足够多的测试数据，使得判定表达式中的每个条件都取到各种可能的值，而且每个判定表达式也都取到各种可能的值。

5. 条件组合覆盖：选择足够多的测试数据，使得每个判定表达式中的条件的各种可能组合都至少出现一次。

6. 路径覆盖：选择足够多的测试数据，使程序的每条可能路径都至少执行一次（如果程序中有环，则要求每个环至少经过一次）。