问题
问答题
试题二(共15分)阅读下列说明，回答问题1至问题3，将解答填入答题纸的对应栏内。[说明]逻辑覆盖法是设计白盒测试用例的主要方法之一，它是通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由C语言编写的程序，按要求回答问题。
[问题1](5分)请给出满足100％DC(判定覆盖)所需的逻辑条件。
答案
参考答案：[*]
解析：本题考查白盒测试方法中的判定覆盖法。 判定覆盖指设计足够的测试用例，使得被测程序中每个判定表达式至少获得一次“真”值和“假”值，从而使程序的每一个分支至少都通过一次。 本题中程序一共有5个判定，所以满足判定覆盖一共就需要10个逻辑条件，这些条件详见参考答案：。