白盒测试之条件组合覆盖

白盒测试之条件组合覆盖（蓝桥课学习笔记）

实验介绍

使用分支-条件覆盖法设计白盒测试用例时可以使程序中所有判断语句中的条件取值为真、为假的情况和整个判断语句取真分支、假分支的情况都至少被执行过一次，但无法覆盖到所有路径，仍然会有一些逻辑运算等错误未被测试到。

条件组合覆盖又称为多条件覆盖，是指设计足够数据的测试用例，使每个判定语句中的所有判定条件的各种可能的组合都至少被执行一次。条件组合覆盖与分支-条件覆盖的不同之处在于：条件组合覆盖不是简单的要求每个条件为真、为假两种情况都至少被执行一次，而是要求让每个条件为真、为假情况所有可能的组合都至少被执行一次。例如，判断语句 if ( a == 0 or b > 2 ) 中有两个条件 a == 0 和 b > 2 ，使用条件组合覆盖法设计测试用例时，要求这两个条件的取真值和取假值的组合至少各执行一次，即 a == 0（真）与 b > 2 （真）、a == 0（真）与 b > 2 （假）、 a == 0（假）与 b > 2 （真）、 a == 0（假）与 b > 2 （假）这四种组合情况。

本实验主要通过实例介绍使用条件组合覆盖法设计白盒测试用例。

知识点

• 条件组合覆盖法设计白盒测试用例

实验内容

为了方便作比较，本实验仍然使用如下的代码作为测试对象：

    public static int test(int a,int