我
- 14
-
试题二（共15分）
阅读下列说明，回答问题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>='0’&&*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(finode)); //11
} //12
【问题1】 （4分）
请给出满足100%DC（判定覆盖）所需的逻辑条件。
