阅读下列说明，回答问题1至问题3，将解答填入答题纸的对应栏内。

问题问答题

[说明] 逻辑覆盖法是设计白盒测试用例的主要方法之一，它是通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由C语言编写的程序，按要求回答问题。

请给出满足100%DC（判定覆盖）所需的逻辑条件。

答案

参考答案：

本题考查白盒测试法的应用。

本问题考查白盒测试用例设计方法中的判定覆盖法。

判定覆盖指设计足够的测试用例，使得被测程序中每个判定表达式至少获得一次“真”值和“假”值，从而使程序的每一个分支至少都通过一次。本题中程序有5个判定，所以满足判定覆盖一共需要10个逻辑条件，如下表所示。