白盒测试的逻辑覆盖 — 软件工程选择题
题目
考虑如下伪代码片段（x、y、z 为整型输入）：
1 if (x > 0 && y > 0)
2 s = 1;
3 else
4 s = 0;
5 if (x > 0 || z > 0)
6 t = 1;
7 else
8 t = 0;
若采用条件组合覆盖准则（要求每个判定中所有可能的条件取值组合至少出现一次），为覆盖这两个判定，最少需要设计多少个测试用例？
A. 3 B. 4 C. 6 D. 8