逻辑覆盖测试是基本的白盒测试方法,顾名思义,主要为了覆盖程序的逻辑。常见的覆盖标准有:语句覆盖、判定覆盖、条件覆盖,判定/条件覆盖,条件组合覆盖,路径覆盖。
语句覆盖
选择足够多的测试用例,使每条语句都得到执行。测试嘛,总会选择各种数据,达到某个目的。能够找得出一组测试数据,使得每条语句都被执行一遍。
判定覆盖
选择足够多的测试用例,使得每个判定的所有可能结果都至少出现一次。这里的判定,指的是程序执行流程中的分支,每个分支都是一个判定。所以,判定覆盖的覆盖目标是走遍所有的分支。注意,这时是判定的可能结构出现一次就可以了,而不是各个判定结果的组合。
条件覆盖
前面的判定是指分支。一个判定由若干个条件组成。例如 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所有条件结果的组合才算检查完毕。