有如下C语言程序段：

针对该程序段实施判定覆盖测试，则对于（x，y）的取值正确的是（）。

A.a=2，b=0，x=4a=1，b=1，x=1
B.a=2，b=1，x=1a=1，b=1，x=1
C.a=2，b=0，x=4a=2，b=1，x=1
D.a=1，b=0，x=2a=0，b=0，x=0

A.条件组合覆盖的覆盖能力弱于路径覆盖
B.满足条件组合覆盖的测试用例不一定满足判定覆盖
C.满足条件组合覆盖的测试用例一定满足条件覆盖
D.条件组合覆盖必须满足使程序中每个判断的所有可能的条件取值组合至少执行一次

A.增强代码的可读性
B.可以有效的保证程序的可移植性
C.确保代码中的错误都能被发现
D.有助于代码的管理和维护