《软件测试的艺术》第4章：测试用例的设计-白盒测试

写在前面：原书中包含白盒测试、黑盒测试、错误猜测、测试策略四个小节，涵盖内容较多，因此按章节拆分叙述。

《软件测试的艺术》：

• 白盒测试--语句覆盖

  语句覆盖的用例设计原则：将程序中的每条语句至少执行一次。

• 白盒测试--判定覆盖

  判定覆盖的用例设计原则：使得每一个判断都至少有一个为真和为假的输出结果。换句话说，也就是每条分支路径都必须至少遍历一次。

• 白盒测试--条件覆盖

  条件覆盖的用例设计原则：确保将一个判断中的每个条件的所有可能的结果至少执行一次。

• 白盒测试--判定/条件覆盖

  判定/条件覆盖的用例设计原则：将一个判断中的每个条件的所有可能的结果至少执行一次，将每个判断的所有可能的结果至少执行一次，将每个入口点都至少调用一次。

• 白盒测试--多重条件覆盖

  多重条件覆盖的用例设计原则：将每个判定中的所有可能的条件结果的组合，以及所有的入口点都至少执行一次。

• 覆盖准则的强度

  语句覆盖<判定覆盖<条件覆盖<判定/条件覆盖<多重条件覆盖

为了理解上述不同覆盖原则的区别，使用下面的例子加以说明。

对于上述的例子，不同覆盖原则的用例设计可以描述为：

语句覆盖：

节点1~5都需要至少执行一次；

判定覆盖：

节点3的if()语句Yes和No的结果都需要至少执行一次；

条件覆盖：

<