12第12讲静态测试方题目及答案

【单选题】下面对数据流分析方法描述错误的是。数据流分析是在程序代码经过的路径上检查数据的用法。数据流分析不一定能够发现缺陷，但可以发现异常。数据流分析过程中，需要检查每个变量的使用情况。数据流异常通常不明显，并且每个异常都会导致不正确的行为。【单选题】判断下面代码段中有数据流异常的变量是—。voidexchange(int&Min,int&Max){inthelp;if(Min>Max){Max=Help;Max=Min;Help=Min;}}Min和MaxMin和HelpHelp和MaxMin、Max和Help【单选题】在控制流图中，不能仅用带标号的圆圈表示的是一条或多条语句一个处理框序列一个条件判定框一个循环结构4.【单选题】下面是由Case多分支结构转换的控制流图。4.A.C.d.【单选题】以下控制流图的环形复杂性V(G)等于。TOC\o"1-5"\h\z5678【判断题】通过控制流图可以发现程序结构的异常。【判断题】环形复杂度度量主要用于计算程序基本路径集的路径数量。【判断题】环形复杂度的值越大，理解程序模块的难度越高。【填空题】程序控制流图中所涉及的图形符号只有两种，分别和。【填空题】控制流图可用矩阵表示，矩阵维数等于控制流图的，矩阵的每个元素对应于。【简答题】简述环形复杂度的作用。【应用题】根据下图给出的程序流程图，完成以下要求:⑴画出相应的控制流图(要求对程序中的复合条件进行分解)。⑵写出控制流图的矩阵表示。(3)计算环形复杂度V(G)。⑷找出程序的独立路径集合。【应用题】1、为以下程序段设计一组测试用例，要求满足语句覆盖、判定覆盖、条件覆盖。Voidprocedure_A(intx,inty,intz){intk=0,j=0;if((x>6)&&(z<20)){k=x*y-1;j=sqrt(k);}//语句块1if((x==8)||(y>50)){j=x*y+10;}〃语句2j=j%3;//语句3}2、基本路径覆盖测试分析和设计。请为程序模块F1画出程序控制流图计算控制流图的环路复杂度导出独立路径设计测试用例满足基本路径覆盖程序模块F1代码如下：publicintF1(intnum,intcycle,booleanflag)TOC\o"1-5"\h\z{intret=0;while(cycle>0)then{if(flag==true){ret=num-10;8

break;}else{if(num%2=0){ret=ret*10;}else{ret=ret+1;}}cycle--;}910111213141516171819202122232425}returnret;ret=num-10;第12讲静态测试方法【单选题】D【单选题】C【单选题】D【单选题】B【单选题】A【判断题】V【判断题】X【判断题】V【填空题】节点控制流线【填空题】节点数节点连接的边【简答题】环形复杂度为程序复杂度提供定量度量，用来测量程序代码的结构复杂程度，用于程序的路径测试。环形复杂度可提供程序基本路径集的独立路径数量，依据每条独立路径设计一个测试用例，其值是确保所有语句至少被执行一次的测试用例数量的上界（最大值）。【应用题】（1）画出相应的控制流图（要求对程序中的复合条件进行分解）。控制流图说明:A<5B=5圈中1A<5B=5图中2表示:圈中3表示:圈中4表示:圈中5表不:圈中6表示:

圈中7表示：程序结束计算环形复杂度。V(G)=E-N+2=10-7+2=5写出控制流图的矩阵表示。节点12345671ab2cd3k4ef5gh6i7⑷找出程序的独立路径集合。(标红色的部分是在前面路径中没有出现过的新的边)独立路径1:1-2-4-7(adf)独立路径2:1-3-4-7(bkf)独立路径3:1-23-4-7(ackf)独立路径4:1-3-457(bkeh)独立路径5:1-2-4-56-7(adegi)综合题答：语句覆盖(有多种可能答案)：略判定覆盖(有多种可能答案)：略条件覆盖(有多种可能答案)：略只要考虑分支条件覆盖(有多种可能答案)：((x>6)&&(z<20))=T和F和((x==8)||(y>50))=T和F这两个判定，以及(x>6)=T和F、(z<20)=T和F、(x==18)=T和F、(y>50)=T和F这4个条件的T和F两种情况都覆盖，比如设计两组测试用例，分别覆盖判定TT和FF(或TF和FT),以及条件tttt和ffff(或ttff和fftt等)就可以了。如：x=18,y=60,z=19满足2个判定的TT,以及4个条件的tttt，再设计一组x=？，y=？，z=?满足2个判定的FF，以及4个条件的ffff就可以了。答：根据程序画出程序控制流图。计算控制流图的环路复杂度V(G)=略导出基本路径3-4-243-4-6-8-24略略

（4分）（4）设计基本路径覆盖测试用例（有多种可