阅读下列说明,回答问题1至问题3,将解答填入答题纸的对应栏内。 逻辑覆盖法是设计白盒测试用例的主要方法之一,它通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由C语言编写的程序,按要求回答问题。 gz_open (const char*mode

admin2012-06-06  20

问题 阅读下列说明,回答问题1至问题3,将解答填入答题纸的对应栏内。
   逻辑覆盖法是设计白盒测试用例的主要方法之一,它通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由C语言编写的程序,按要求回答问题。
   gz_open (const char*mode)
   {
   char*p=  (char*)mode;    //1
   char    fmode[4];
   char*m=fmode;
   char  smode= ’\0’;
   char level=’\0\’;
   int strategy=0;
   do {
   if  (*p==’r’)    //2
   smode - ’r’;    //3
   if  (*p>=’O’&&*p<=’9’)  {    //4,5
   level=*p-’0’;    //6
   }  else if  (*p==’f’)  {    //7
   strategy=1;    //8
   }else  {    //9
   *m++=*p;
   }
   *p++;    //10
   }while  (m!=fmode+sizeof (fmode));    //11
   }                                 //12
请画出上述程序的控制流图,并计算其控制流图的环路复杂度V(G)。

选项

答案控制流图 [*] 环路复杂度V(G)=6

解析 本问题考查白盒测试用例设计方法中的基本路径法。涉及到的知识点包括:根据代码绘制控制流图、计算环路复杂度。
   控制流图是描述程序控制流的一种图示方法。其基本符号有圆圈和箭线:圆圈为控制流图中的一个结点,表示一个或多个无分支的语句;带箭头的线段称为边或连接,表示控制流。基本结构如下所示:

根据题中程序绘制的控制流图如下所示。其中要特别注意的是,如果判断中的条件表达式是复合条件,即条件表达式是由一个或多个逻辑运算符连接的逻辑表达式,则需要改变复合条件的判断为一系列之单个条件的嵌套的判断。本题程序中,if(*p>=’0’&&*p<=’9’)这条判断语句中的判定由两个条件组成,因此在画控制流图的时候需要拆开成两条判断语句。

环路复杂度用来衡量一个程序模块所包含的判定结构的复杂程度,数量上表现为独立路径的条数,即合理地预防错误所需测试的最少路径条数。环路复杂度等于图中判定结点的个数加1,图中判定结点个数为5,所以V(G)=6。
转载请注明原文地址:https://kaotiyun.com/show/X7WZ777K
0

最新回复(0)