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

admin2015-05-21  26

问题 阅读下列说明,回答问题1至问题3,将解答填入答题纸的对应栏内。
【说明】
    逻辑覆盖法是设计白盒测试用例的主要方法之一,通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由C语言编写的程序,按要求回答问题。
    int XOR(char*filename,unsigned long key){
    FILE*input=NULL,~output=NULL;    //1
    char*outfilename=NULL;
    int len=strlen(filename);
    unsigned char buffer;
    if((filename[1en一2]==’.’)&&(filename[1en一1]==’C’)){//2,3
    outfilename=new char[len+1];    //4
    strcpy(outfilename,filename);
    outfilename[len一2]=’\0’;
    }
    else{  //S
    outfilename=new char[len+5];
    strcpy(outfilename,filename);
    strncat(outfilename,“.C”,2);
    }
    input=fopen(filename,“rb”);
    if(input==NULL){    //6
    cout<<”Error opening file”<    delete[]outfilename;
    outfilename=NULL;
    return 1;
    }
    output=fopen(outfilename,”wb”);
    if(output==NULL){    //8
    cout<<”Error creating output file”<delete[]outfilename;
    outfllename=NULL;
    return 1;
    }
    while(!feof(input)){    //1 0
    if(fread(&buffer,Sizeof(unsigned char),1,input)!=1){//11
    if(!feof(input)){    //12
    delete[]outfilename;    //13
    outfilename=NULL;
    fclose(input);
        fclose(output);
    return 1;
    }
    }
    else{     //14
    buffer^=key;
    fwrite(&buffer,sizeof(unsigned char),1,output);
    }
    }
    fclose kinput;    //15
    fclose(output);
    defete[]outfilename;
    return 0;
    }
请给出满足100%DC(判定覆盖)所需的逻辑条件。

选项

答案 [*]

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

最新回复(0)