参考答案：B

解析：

[分析]： 语句覆盖是一种设计测试案例的方法，它要求对于设计的测试案例，必须使得程序的每一条可执行语句至少执行一次。故可设计如卜测试案例。

案例1：X=1，Y=2

此时执行语句序列为：X>0→y=y-x→Y>0→X=1

案例2：X=-3，Y=2

此时执行语句序列为：X>0→Y=Y+X→Y>0→X=-1

可见，只需设计两个测试案例，即可使得程序的每条可执行语句至少执行一次。