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

admin2012-06-06  16

问题 阅读下列说明,回答问题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
请给出满足100%DC(判定覆盖)所需的逻辑条件。

选项

答案[*]

解析  本题考查白盒测试法的应用。
   本问题考查白盒测试用例设计方法中的判定覆盖法。
   判定覆盖指设计足够的测试用例,使得被测程序中每个判定表达式至少获得一次“真”值和“假”值,从而使程序的每一个分支至少都通过一次。本题中程序有4个判定,所以满足判定覆盖一共需要8个逻辑条件,如下表所示。
转载请注明原文地址:https://jikaoti.com/ti/IFI7FFFM
0

最新回复(0)