阅读下列C程序，回答下列问题。[C程序]intGetMaxDay(intyear,intmonth){ intmaxday=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; } }returnmaxday;//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条线性无关路径。
