列表

详情


阅读下列C程序,回答问题1至问题3,将解答填入答题纸的对应栏内。
【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
             maxday = 28;                      //11
    }
    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
}
【问题1】(6分)
  请针对上述C程序给出满足100%DC(判定覆盖)所需的逻辑条件。
【问题2】(9分)
  请画出上述程序的控制流图,并计算其环路复杂度V(G)。
【问题3】(5分)
  请给出问题2中控制流图的线性无关路径。

参考答案: 【问题1】:

Month>=1&&month<=12
Month<1||month>12(或者与之等价的,使得判定为假)
Month==2
Month!=2(或者与之等价的,使得判定为假)
Year%4==0
Year%4!=0(或者与之等价的,使得判定为假)
Year%100==0 
Year%100!=0 (或者与之等价的,使得判定为假)
Year%400==0
Year%400!=0(或者与之等价的,使得判定为假)
Month==4    ||Month==6   ||Month==9  ||Month==11
Month!=4    ||Month!=6   ||Month!=9  ||Month!=11(或者与之等价的,使得判定为假)
【问题2】:

V(G)=11
【问题3】:
1、2、19
1、2、3、19
1、2、3、4、12、13、17、19
1、2、3、4、12、13、14、17、19
1、2、3、4、12、13、14、15、17、19
1、2、3、4、12、13、14、15、16、17、19
1、2、3、4、12、13、14、15、16、18、19
1、2、3、4、5、11、19
1、2、3、4、5、6、10、19
1、2、3、4、5、6、7、9、19
1、2、3、4、5、6、7、8、19

详细解析:

【问题1】
判断覆盖:设计足够的测试用例,使得程序中的每个判定至少都获得一次“真值”或“假值”,或者说使得程序中的每一个取“真”分支和取“假”分支至少经历一次,因此判定覆盖又称分支覆盖
对于本题中判定的条件有:(真/假都需要成立)
Month>=1&&month<=12
Month==2
Year%4==0
Year%100==0
Year%400==0
Month==4 ||Month==6||Month==9||Month==11
【问题2】
控制流图是描述程序控制流的一种图示方法。其基本符号有圆圈和箭线:圆圈为控制流图中的一个结点,表示一个或多个无分支的语句;带箭头的线段称为边或连接,表示控制流。基本结构如下所示:




控制流程图的环路复杂性 V(G)等于:
(1)控制流程图中的区域个数。
(2)边数-结点数+2。
(3)判定数+1。
V(G)=11
【问题3】
线性无关路径是指包括一组以前没有处理的语句或条件的一条路径。从控制流图来看,一条线性无关路径是至少包含有一条在其他线性无关路径中从未有过的边的路径:
1)1、2、19
2)1、2、3、19
3)1、2、3、4、12、13、17、19
4)1、2、3、4、12、13、14、17、19
5)1、2、3、4、12、13、14、15、17、19
6)1、2、3、4、12、13、14、15、16、17、19
7)1、2、3、4、12、13、14、15、16、18、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

上一题