白盒测试：6种方法之概念、格式、优缺点

1-语句覆盖

主要特点：语句覆盖是最起码的结构覆盖要求，语句覆盖要求设计足够多的测试用例，使得程序中每条语句至少被执行一次。

2-判定覆盖

主要特点：判定覆盖又称为分支覆盖，它要求设计足够多的测试用例，使得程序中每个判定至少有一次为真值，有一次为假值，即：程序中的每个分支至少执行一次。每个判断的取真、取假至少执行一次。

• 判定条件覆盖CDC（Condition/ Decision Coverage），设计足够多的测试用例，使得判定中的每个条件的所有可能（真/假）至少出现一次，并且每个判定本身的判定结果也至少出现一次。
• 判定条件覆盖率的公式：条件判定覆盖率=被评价到的条件取值和判定分支的数量/（条件取值总数+判定分支总数）
• 缺点：没有考虑单个判定对整体结果的影响，无法发现逻辑错误。

3-条件覆盖

主要特点：条件覆盖要求设计足够多的测试用例，使得判定中的每个条件获得各种可能的结果，即每个条件至少有一次为真值，有一次为假值。

• 条件覆盖CC（Condition Coverage），设计足够多的测试用例，运行被测程序，使得每一判定语句中每个逻辑条件的可能取值至少满足一次。
• 条件覆盖率的公式：条件覆盖率=被评价到的条件取值的数量/条件取值的总数X100%
• 缺点：只考虑到每个判定语句中的每个表达式，没有考虑到各个条件分支（或者涉及不到全部分支），即不能够满足判定覆盖.

4-判定/条件覆盖

主要特点：设计足够多的测试用例，使得判定中每个条件的所有可能结果至少出现一次，每个判定本身所有可能结果也至少出现一次。

5-条件组合覆盖

主要特点：要求设计足够多的测试用例，使得每个判定中条件结果的所有可能组合至少出现一次。

• 条件组合覆盖，也称多条件覆盖MCC （Multiple Condition Coverage），设计足够多的测试用例，使得每个判定中条件的各种可能组合都至少出现一次（以数轴形式划分区域，提取交集，建立最少的测试用例）。
• 这种方法包含了“分支覆盖”和“条件覆盖”的各种要求。满足条件组合覆盖一定满足判定覆盖、条件覆盖、判定条件覆盖。
• 条件组合覆盖率的公式：条件组合覆盖率=被评价到的条件取值组合的数量/条件取值组合的总数
• 缺点：判定语句较多时，条件组合值比较多。

6-路径覆盖

主要特点：设计足够的测试用例，覆盖程序中所有可能的路径。