四、判定-条件覆盖(分支-条件覆盖)
1、概念:
设计足够多的测试用例,使得被测试程序中的每个判断本身的判定结果(真假)至少满足一次,同时,每个逻辑条件的可能值也至少被满足一次。即同时满足100%判定覆盖和100%条件覆盖的标准。
2、测试用例:
数据C1C2C3P1P2路径
{x=3, y=3}TTTTFa-b-e-f
{x=-3, y=0}FFFFTa-c-d-f
所有条件的可能取值都满足了一次,而且所有的判断本身的判定结果也都满足了一次。
3、测试的充分性:
达到100%判定-条件覆盖标准一定能够达到100%条件覆盖、100%判定覆盖和100%语句覆盖。
五、条件组合覆盖
1、概念:
设计足够多的测试用例,使得被测试程序中的每个判断的所有可能条件取值的组合至少被满足一次。
注意:
a、条件组合只针对同一个判断语句内存在多个条件的情况,让这些条件的取值进行笛卡尔乘积组合。
b、不同的判断语句内的条件取值之间无需组合。
c、对于单条件的判断语句,只需要满足自己的所有取值即可。
2、测试用例:
数据C1C2C3P1P2路径
{x=-3, y=0}FFFFFa-c-e-f
{x=-3, y=2}FTFFFa-c-e-f
{x=-3, y=0}TFFFFa-c-e-f
{x=3, y=3}TTTTTa-b-d-f
C1和C2处于同一判断语句中,它们的所有取值的组合都被满足了一次。
3、测试的