逻辑覆盖

逻辑覆盖是通过对程序逻辑结构的遍历实现程序的覆盖，它是一系列测试过程的总称，这组测试过程逐渐进行越来越完整的通路测试。从覆盖源程序预计的详尽程度分析，逻辑覆盖标准包括：

1.         语句覆盖SC（statement coverage）：

选择测试数据，使被测程序中每条语句至少执行一次。

2.         判定覆盖DC（decision coverage）：

选择测试用例，使程序中的每个判定至少获得一次“真值”或“假值”，或说使得程序中的每个取“真”和取“假”分支至少经历一次。

3.         条件覆盖CC（condition coverage）：

选择测试用例，使得每个判定语句中的每个逻辑条件的可能值至少满足一次。

满足条件覆盖不一定满足判定覆盖。

4.         条件判定组合覆盖CDC：

设计足够的测试用例，使得判定中每个条件的所有可能取值（真/假）至少出现一次，并且每个判定本身的判定结果（真/假）至少出现一次。

5.         多条件覆盖MCC：

设计足够的测试用例，使得每个判定条件中的各种可能组合都至少出现一次。

满足多条件覆盖的测试用例一定满足判定覆盖，条件覆盖和条件组合覆盖。

6.         修正判定条件覆盖MCDC：