软件测试中的逻辑覆盖_某程序中有如下函数,请编写测试用例完成逻辑覆盖测试遇到的问题

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

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

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