首页
登录
从业资格
逻辑覆盖法是设计白盒测试用例的主要方法之一,通过对程序逻辑结构的遍历实现程序的覆
逻辑覆盖法是设计白盒测试用例的主要方法之一,通过对程序逻辑结构的遍历实现程序的覆
题库
2022-08-02
42
问题
逻辑覆盖法是设计白盒测试用例的主要方法之一,通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由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要访问逻辑地址
与等价的逻辑表达式为( )。
随机试题
已知某社区65岁以上的老人共2500名,该社区卫生服务中心拟从该人群中随机抽取5
下列选项中,对高更绘画的典型风格描述不恰当的是()。A.追求表现生命本源
根据《标准施工招标文件》中“通用合同条款”的规定,在质量控制方面下述说法正确的有
根据《关于对医疗机构应用传统工艺配制中药制剂实施备案管理的公告》,不得实行备案管
将企业承担的重组义务确认为预计负债的条件有()。A.该重组义务是现时义务 B
A公司收到B公司作为资本投入的不需安装的机器设备一台,该设备的原价为100万元,
(2019年真题)企业自行建造固定资产过程中,所使用自有设备计提的折旧应计入在建
目前,我国煤矿安全监察实行()分级监察的管理体制。A.中央垂直管理 B.省级政
变电所的油浸变压器室火灾危险类别及最低耐火等级为()。A.甲类、一级;.B.乙
细菌性痢疾肠道病变最显著的部位是在 A.升结肠 B.横结肠 C.降结肠
最新回复
(
0
)