阅读下列说明，回答问题。【说明】逻辑覆盖法是设计白盒测试用例主要方法之一，通过对程序逻辑结构遍历实现程序覆盖。针对以下由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[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; }4.1、请给出满足100%DC(判定覆盖)所需逻辑条件。(3分)4.2、请画出上述程序控制流图，并计算其控制流图环路复杂度V(G)。(7分)4.3、请给出问题2中控制流图线性无关路径。(5分)

答案：

本题解析：

4.1、中级软件评测师,章节练习,基础复习,中级软件测评师章节

4.2、环路复杂度V(G)=8。

中级软件评测师,章节练习,基础复习,中级软件测评师章节

4.3、线性无关路径： 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

【解析】

本题考查白盒测试技术应用。 1．本问题考查白盒测试用例设计方法：判定覆盖法。判定覆盖指设计足够测试用例，使得被测程序中每个判定表达式至少获得一次“真”值和“假”值，从而使程序每一个分支至少都通过一次。本题中程序有6个判定，所以满足判定覆盖一共需要12个逻辑条件。 2．本问题考查白盒测试用例设计方法：基本路径法。涉及知识点包括：根据代码绘制控制流图、计算环路复杂度。控制流图是描述程序控制流一种图示方式，它由节点和定向边构成。控制流图节点代表一个基本块，定向边代表控制流方向。其中要特别注意是，如果判断中条件表达式是复合条件，即条件表达式是由一个或多个逻辑运算符连接逻辑表达式，则需要改变复合条件判断为一系列之单个条件嵌套判断。本题程序中，if( (filename[len-2]=='.')&&(filename[len-1]=='c') )这条判断语句中判定由两个条件组成，因此在画控制流图时候需要拆开成两条判断语句。程序环路复杂度等于控制流图中判定节点个数加1，本题控制流图中判定节点个数为7，所以V(G)=8。 3．本问题考查白盒测试用例设计方法：基本路径法。涉及知识点包括：根据控制流图和环路复杂度给出线性无关路径。线性无关路径是指包含一组以前没有处理语句或条件路径。从控制流图上来看，一条线性无关路径是至少包含一条在其他线性无关路径中从未有过边路径。程序环路复杂度等于线性无关路径条数，所以本题中应该有8条线性无关路径。

纠错