阅读下列C程序，回答问题1至问题3，将解答填入答题纸的对应栏内。【C程序】intcount(intx,intz){inty=0;while(x>0){//lif(x==1)//2y=7;//3else{//4y=x+z+4;if(y=7||y=21)//5，6x=1;//7}x--;//8}returny;//9 问题：1.1(3分)请针对上述C程序给出满足100%DC(判定覆盖)所需的逻辑条件。问题：1.2(7分)请画出上述程序的控制流图，并计算其控制流图的环路复杂度V(G)。问题：1.3(5分)请给出问题2中控制流图的线性无关路径。
1.1x>0；x
【解析】
1.1
本题中的判定有x>0；x==1；y=7||y=21；三个判定点，所以要符合100%判定覆盖的要求，就需要使得每个判定结果的真假值都出现1次，即：x>0；x
控制流程图的环路复杂性 V(G)等于：（1）控制流程图中的区域个数。（2）边数-结点数+2。（3）判定数+1。所以，V(g)=5。
1.3
线性无关路径是指包括一组以前没有处理的语句或条件的一条路径。从控制流图来看，一条线性无关路径是至少包含有一条在其他线性无关路径中从未有过的边的路径。
