阅读下列C程序，回答下列问题。 [C程序] int GetMaxDay( int year, int month ) { int maxday = 0; //1 if ( month ＞= 1 && month ＜= 12 ) { //2, 3 if ( month == 2 ) { //4 if ( year % 4 == 0 ) { //5 if ( year % 100 == 0 ) { //6 if ( year % 400 == 0 ) //7 maxday=29; //8 else //9 maxday = 28;} else //10 maxday = 29; } else //11 maxday = 28; } else{ //12 if (month==4||month==6||month==9||month==11) //13, 14, 15, 16 maxday = 30; //17 else //18 maxday = 31; } } return maxday; //19 }3.1、请针对上述C程序给出满足100%DC(判定覆盖)所需逻辑条件。(6分)3.2、请画出上述程序控制流图，并计算其环路复杂度V（G）。(9分)3.3、请给出问题2中控制流图线性无关路径。(5分)
3.1
3.2、控制流图
环路复杂度V(G)=11 3.3、线性无关路径： 1．1-2-19 2．1-2-3-19 3．1-2-3-4-12-13-14-15-16-18-19 4．1-2-3-4-12-13-14-15-16-17-19 5．1-2-3-4-12-13-14-15-17-19 6．1-2-3-4-12-13-14-17-19 7．1-2-3-4-12-13-17-19 8．1-2-3-4-5-11-19 9．1-2-3-4-5-6-10-19 10．1-2-3-4-5-6-7-9-19 11．1-2-3-4-5-6-7-8-19
【解析】
本题考查白盒测试方法及应用。 第一小题考查白盒测试用例设计方法之判定覆盖法。 判定覆盖指设计足够测试用例，使得被测程序中每个判定表达式至少获得一次“真”值和“假”值，从而使程序每一个分支至少都通过一次。本题中程序有6个判定，所以满足判定覆盖一共需要12个逻辑条件。 第二小题考查白盒测试用例设计方法之基本路径法。 涉及到知识点包括根据代码绘制控制流图、计算环路复杂度。 控制流图是描述程序控制流一种图示方式，它由节点和定向边构成。控制流图节点代表一个基本块，定向边代表控制流方向。其中要特别注意是，如果判断中条件表达式是复合条件，即条件表达式是由一个或多个逻辑运算符连接逻辑表达式，则需要改变复合条件判断为一系列之单个条件嵌套判断。本题程序中，if(month＞=1 && month＜=12)这条判断语句中判定由两个条件组成，因此在画控制流图时候需要拆开成两条判断语句。同理，if(month==4||month=6||month==9||month=11)这条判断语句中判定由4个条件组成，因此在画控制流图时候需要拆开成4条判断语句。这里需要注意是，如果复合条件之间是“&&”关系，则拆开后反应在控制流图上是沿左子树往下，反之如果条件之间是“||”关系，则在控制流图上是沿右子树往下。 程序环路复杂度等于控制流图中判定节点个数加1，本题控制流图中判定节点个数为10，所以V(G)=11。 第三小题考查白盒测试用例设计方法中基本路径法。 涉及到知识点是根据控制流图和环路复杂度给出线性无关路径。 线性无关路径是指包含一组以前没有处理语句或条件路径。从控制流图上来看，一条线性无关路径是至少包含一条在其他线性无关路径中从未有过边路径。程序环路复杂度等于线性无关路径条数，所以本题中应该有11条线性无关路径。
