参考答案：D

解析：

[要点解析] 语句覆盖是一种设计测试案例的方法，它要求对于设计的测试案例，必须使得程序的每一条可执行语句至少执行一次。对于图7-5所示的程序流程图可设计如下测试案例。 案例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。 可见，只需设计两个测试案例即可使得程序的每条可执行语句至少执行一次。