逻辑覆盖法是设计白盒测试用例的主要方法之一,通过对程序逻辑结构的遍历实现程序的覆

最全题库2022-08-02  25

问题 逻辑覆盖法是设计白盒测试用例的主要方法之一,通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由C语言编写的程序,按要求回答问题。阅读下列说明,回答问题。    【说明】    逻辑覆盖法是设计白盒测试用例的主要方法之一,通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由C语言编写的程序,按要求回答问题。    int XOR(char * filename, unsignedlong key){    FILE * input = NULL , *output =NULL;   //i    char * outfilename = NULL;    int len = strlen(filename);    unsigned char buffer;    if( (filename[len-2] == '.')&& (filename[len-1] == 'c') ) { //2,3    outfilename = new char[len+1];  //4    strcpy(outfilename, filename);    outfilename[len-2] = '\0';    }    else{   //5    outfilename = new char[len+5];    strcpy(outfilename, filename);    strncat(outfilename,".c",2);    }    input =fopen(filename,"rb");    if( input == NULL) {   //6    cout << "Error opening file " << filename << endl;  //7    delete [] outfilename;    outfilename = NULL;    return 1;    }    output =fopen(outfilename,"wb");    if( output == NULL ) {   //8    cout << "Error creating output file " << outfilename << endl;  //9    delete [] outfilename;    outfilename = NULL;    return 1;    }    while( ! feof(input) ) {  //10    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(input);   //15    fclose(output);    delete [] outfilename;    return 0;    }请给出问题2中控制流图的线性无关路径。

选项

答案

解析 线性无关路径:
    1.1-2-5-6-7    2.1-2-3-5-6-7    3.1-2-3-4-6-7    4.1-2-5-6-8-9    5.1-2-5-6-8-10-15    6.1-2-5-6-8-10-11-14-10...    7.1-2-5-6-8-10-11-12-10...    8.1-2-5-6-8-10-11-12-13
【解析】
本问题考查白盒测试用例设计方法:基本路径法。涉及的知识点包括:根据控制流图和环路复杂度给出线性无关路径。线性无关路径是指包含一组以前没有处理的语句或条件的路径。从控制流图上来看,一条线性无关路径是至少包含一条在其他线性无关路径中从未有过的边的路径。程序的环路复杂度等于线性无关路径的条数,所以本题中应该有8条线性无关路径。
转载请注明原文地址:https://tihaiku.com/congyezige/2416159.html

最新回复(0)