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

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






更多推荐