逻辑覆盖测试笔记

逻辑覆盖测试是基本的白盒测试方法，顾名思义，主要为了覆盖程序的逻辑。常见的覆盖标准有：语句覆盖、判定覆盖、条件覆盖，判定/条件覆盖，条件组合覆盖，路径覆盖。

语句覆盖

选择足够多的测试用例，使每条语句都得到执行。测试嘛，总会选择各种数据，达到某个目的。能够找得出一组测试数据，使得每条语句都被执行一遍。

判定覆盖

选择足够多的测试用例，使得每个判定的所有可能结果都至少出现一次。这里的判定，指的是程序执行流程中的分支，每个分支都是一个判定。所以，判定覆盖的覆盖目标是走遍所有的分支。注意，这时是判定的可能结构出现一次就可以了，而不是各个判定结果的组合。

条件覆盖

前面的判定是指分支。一个判定由若干个条件组成。例如  if (a>0&&b<0) 整个if语句是判定，而a>0 是条件1， b<0 是条件2。

条件组合覆盖

这和前面所有的覆盖都不一样，因为这里是条件的组合。条件组合覆盖要选择测试用例，使得被测程序中的每一个条件结果的所有可能组合都出现一遍。所以如果一个判定有两个条件，就必须要有四个测试用例才能覆盖。例如 if (a>0 && b<0) 就有 a>0,b>0; a<=0.b>0; a>0,b<=0; a<=0,b<=0 四个组合。

条件判定覆盖

选择足够多的测试用例，使得运行这些测试用例时，被测程序的每个判定的所有结果至少执行一次，并且每个判定中的每个条件的所有可能结果出现一次。条件/判定覆盖就是条件覆盖+判定覆盖。

个人小结

纵观这几个逻辑覆盖测试，可以这样理解。把语句、判定、条件这三个看作被测试的对象，就像医院体检有一项一项的检查对象。而“所有可能结果”和“所有可能结果的组合”可以类比每一个体检项目的指标。有些体检需要综合查看多个项目的结果才能确定。而软件测试是故意要程序出错，所以要更严谨，需要检查A,B所有条件结果的组合才算检查完毕。

转载于:https://www.cnblogs.com/imrr/archive/2011/10/08/2203037.html