阅读下列C程序,回答问题,将解答填入答题纸的对应栏内。 【C程序】 int is binary(const void*buf,const size t buf—fen){ size t suspicious bytes=0; size t total—by

admin2021-03-19  26

问题 阅读下列C程序,回答问题,将解答填入答题纸的对应栏内。
【C程序】
int is binary(const void*buf,const size t buf—fen){
size t suspicious bytes=0;
size t total—bytes=bur len>512 7 512:buf—len;//1,2,3
const unsigned char*buf c=buf;
Size ti;
Size treturn code=0;
if(buf_len==0){//4
return code=0;//5
}else{
for(i=0;i<total—bytes;i++){//6
if(buf C==’\0’){//7
return code=1;//8
break;
)else if(buf C<7 I I buf C>14){//9,10
i++;
suspicious_bytes++;
if(i>=32){//11
return code=1;//12
break;
}
}
}
}
return return code;//1 3
}
请针对上述C程序给出满足100%DC(判定覆盖)所需的逻辑条件。

选项

答案[*]

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

最新回复(0)