问答题

试题二
阅读下列说明,回答问题1至问题3,将解答填入答题纸的对应栏内。
[说明] 逻辑覆盖法是设计白盒测试用例的主要方法之一,它是通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由C语言编写的程序,按要求回答问题。

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

【参考答案】