第2题
逻辑覆盖法是设计白盒测试用例的主要方法之一，它是通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由C语言编写的程序，按要求回答问题。
问题：2.1
请给出满足100%DC (判定覆盖)所需的逻辑条件。
请给出满足100%DC (判定覆盖)所需的逻辑条件。
问题：2.2
请画出上述程序的控制流图，并计算其控制流图的环路复杂度V(G)。
请画出上述程序的控制流图，并计算其控制流图的环路复杂度V(G)。
问题：2.3
请给出【问题2】中控制流图的线性无关路径。
请给出【问题2】中控制流图的线性无关路径。