一、语句覆盖(Statement coverage)

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

图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的值应该保持不变，如果这一方面有错误，上述测试数据也不能发现它们。

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