【说明】

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

 main( )

{

int i,n;                                       //1

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

n=0;                                         

u3000if(i!=1)                                     //3

u3000n=n+1;                                     //4                                

u3000if(n==5){                                    //5

printf("Hello!");                          //6    

}

else{                                         

printf("No!");                             //7

}                          

u3000}

printf("GAME OVER!");                          //8

 

}                                              

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

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

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