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

【说明】

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

main( )

{

    int i,n;                                                 //1

    for(i=1;i<5;i++){                                //2

        n=0;                                         

    if(i!=1)                                             //3

        n=n+1;                                       //4

    if(i==3)                                           //5

        n=n+1;                                       //6                                     

    if(n==3)                                        //7

    printf("Hello!");                          //8

}

}                                                           //9

 

问题1：(4分)请给出满足100%DC(判定覆盖)所需的逻辑条件。

问题2：(6分)请画出上述程序的控制流图，并计算其控制流图的环路复杂度V(G)。

问题3：(5分)请给出【问题2】中控制流图的线性无关路径。