首页
登录
从业资格
逻辑覆盖法是设计白盒测试用例的主要方法之一,通过对程序逻辑结构的遍历实现程序的覆
逻辑覆盖法是设计白盒测试用例的主要方法之一,通过对程序逻辑结构的遍历实现程序的覆
题库
2022-08-02
39
问题
逻辑覆盖法是设计白盒测试用例的主要方法之一,通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由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 image.pngimage.png "Error opening file " image.pngimage.png filename image.pngimage.png endl; //7 delete [] outfilename; outfilename = NULL; return 1; } output = fopen(outfilename,"wb"); if( output == NULL ) { //8 cout image.pngimage.png "Error creating output file " image.pngimage.png outfilename image.pngimage.png 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(判定覆盖)所需的逻辑条件。4.2、请画出上述程序的控制流图,并计算其控制流图的环路复杂度V(G)。4.3、请给出问题2中控制流图的线性无关路径。
选项
答案
解析
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条线性无关路径。
转载请注明原文地址:https://tihaiku.com/congyezige/2416690.html
本试题收录于:
中级 软件评测师题库软件水平考试初中高级分类
中级 软件评测师
软件水平考试初中高级
相关试题推荐
关系规范化是在数据库设计的( )阶段进行。A.需求分析 B.逻辑设计 C.
以下关于线性表采用顺序存储结构的优点的叙述中,正确的是( )。A.不需要存储单
根据《计算机软件保护条例》的规定,著作权法保护的计算机软件是指( )。A.程序
MPEG压缩标准是针对( )设计的。A.静止图像 B.运动图像 C.图像格
在TCP/IP体系结构中,(1)协议可将IP地址转化为MAC地址;(2)协议属于
在设计白盒测试用例时,(1)是最弱的逻辑覆盖。在下图所示流程中,至少需要(2)个
在设计白盒测试用例时,(1)是最弱的逻辑覆盖。在下图所示流程中,至少需要(2)个
UML中的结构事物是模型中的静态部分,采用名词描述概念或物理元素。(1)属于结构
某计算机系统页面大小为4K,进程P的页面变换表如下图所示。若进程P要访问逻辑地址
与等价的逻辑表达式为( )。
随机试题
Hehadhardlyfinishedthearticle______thelightwentout.A、asB、untilC、than
[originaltext]Weuseallsortofserviceswithoutthinkingabouthowweget
在溴化锂吸收式制冷机中,下列描述正确的是()。A.为降低冷凝温度,冷却水温越
定量测定IgG的常用方法是A.血凝试验B.乳凝试验C.间接荧光免疫试验D.对流免
对更年期的叙述错误的是A.男性也有更年期在55~65岁B.女性更年期较男性早10
尿毒症最早出现的症状是A:心血管系统症状 B:胃肠道症状 C:血液系统症状
不符合手动火灾报警按钮设置要求的是()。A.列车上设置的手动火灾报警按钮,应设
2016年8月21日,中国女排以3-1战胜塞尔维亚女排,荣膺里约奥运会女排冠军。
脂酸合成所需的氢由下列哪种递氢体提供?( )A.NADPH+H+ B.NAD
关于机电工程招标投标管理要求下列说法错误的是()。A.投标文件应当对招标文件提
最新回复
(
0
)