Selenium 学习（0.17）——软件测试之测试用例设计方法——白盒测试——逻辑覆盖法（条件覆盖和条件判定覆盖）

本文介绍: 条件覆盖条件覆盖设计测试用例，使每个判断中每个条件的可能取值至少满足一次。条件判定覆盖通过设计足够的测试用例，满足如下条件：所有条件的可能至少执行一次的取值所有判断的可能结果至少执行一次条件判定覆盖同时满足判定覆盖和条件覆盖。

        通过设计足够的测试用例，满足如下条件：
        所有条件的可能至少执行一次的取值
        所有判断的可能结果至少执行一次

条件判定覆盖同时满足判定覆盖和条件覆盖

        Jav a 代码段如下所示，请使用白盒测试的、辑覆盖方法为其设计测试用例。
        if 〈 a > 1 b = 0 ）{
                x = x/a
        }；
        if(a == 2 || x > 1) {
                x = x + 1
        }；

        两个判定中有四个条件，每个条件均可取真假两种值：
        若要实现条件覆盖，应使以下 8 种结果成立：
        a > 1    a <= 1   b == 0   b != 0         【在P1点出现】
        a ==2   a != 2    x > 1    x <= 1          【在P3点出现】
        为了覆盖以上 8 种可能，可设计如下两组测试用例：实现了条件覆盖，也实现了判定覆盖。