白盒测试技术——语句覆盖、判定覆盖、条件覆盖

结合一个例子说：

画出相应的程序流程图，更方便分析：

首先我们要明确一点：测试用例要尽可能少。

1、语句覆盖：被测程序中每个语句至少执行一次
路径：s->a->b->c->d->e
A=2，B=0，预计输出结果X=2

2、判定覆盖：不仅每个语句必须至少执行一次，而且每个判定的每种可能的结果都应该至少执行一次
至少两个测试用例，使得ac为TT、FF或TF、FT或FT、TF
这里选择TF、FT
路径：s->a->b->c->e和s->a->c->d->e
A=3，B=0，预计输出结果X=3
A=2，B=20，预计输出结果X=22

3、条件覆盖：不仅每个语句至少执行一次，而且使判定表达式中的每个条件都取到各种可能的结果
路径：s->a->b->c->d->e和s->a->c->e
一共四次判定我让每次分别为TTTF、FFFT
目的是让ac块中的四个判断语句TF都分别取到
A=2，B=0，预计输出结果X=2
A=0，B=21，预计输出结果X=21