白盒测试的几种

“语句覆盖”是一个比较弱的测试标准，它的含义是：选择足够的测试用例，使得程序中每个语句至少都能被执行一次。                                          

图6.4是一个被测试的程序，它的源程序是：

PROCEDURE M(VAR A，B，X：REAL)；  

BEGIN

IF(A>1) AND (B=0)  THENX:=X/A；

IF(A=2)OR (X>1)  THENX:=X+1；

END. 

为使程序中每个语句至少执行一次，只需设计一个能通过路径ace的例子就可以了，例如选择输入数据为：

 A=2，B=0，X=3

 就可达到“语句覆盖”标准。 

从本例可看出，语句覆盖实际上是很弱的，如果第一个条件语句中的AND错误地编写成OR，上面的测试用例是不能发现这个错误的；又如第三个条件语句中X＞1误写成X＞0，这个测试用例也不能暴露它，此外，沿着路径abd执行时，X的值应该保持不变，如果这一方面有错误，上述测试数据也不能发现它们。

总之，一般认为“语句覆盖”是很不充分的一种标准。