静态检验方题目及答案解析.docx

1、静态检验方题目及答案解析第12讲静态测试方法1.【单选题】下面对数据流分析方法描述错误的是 。A.数据流分析是在程序代码经过的路径上检查数据的用法。B.数据流分析不一定能够发现缺陷，但可以发现异常。C.数据流分析过程中，需要检查每个变量的使用情况。D.数据流异常通常不明显，并且每个异常都会导致不正确的行为。2.【单选题】判断下面代码段中有数据流异常的变量是void excha nge (int& Min, int& Max) int help;if (Mi n Max) Max = Help; Max = Min; Help = Min;A.Min 和 MaxB.Min 和 HelpC.Hel

2、p 和 MaxD.Min、Max 和 Help3.【单选题】在控制流图中，不能仅用带标号的圆圈表示的是A.一条或多条语句B.一个处理框序列C.一个条件判定框D.一个循环结构4.【单选题】下面 是由Case多分支结构转换的控制流图。A.B.C.D.5.【单选题】以下控制流图的环形复杂性 V(G)等于A.5B.6C.7D.86.【判断题】通过控制流图可以发现程序结构的异常。 7.【判断题】环形复杂度度量主要用于计算程序基本路径集的路径数量。 8.【判断题】环形复杂度的值越大，理解程序模块的难度越高。 9.【填空题】程序控制流图中所涉及的图形符号只有两种，分别是 和 。10.填空题】控制流图可用矩阵

3、表示，矩阵维数等于控制流图的 ，矩阵的每个元素对应于11.【简答题】简述环形复杂度的作用。12.【应用题】根据下图给出的程序流程图，完成以下要求(1)画出相应的控制流图(要求对程序中的复合条件进行分解 )。(2)写出控制流图的矩阵表示。(3)计算环形复杂度V(G)。(4)找出程序的独立路径集合。13.【应用题】1、为以下程序段设计一组测试用例，要求满足语句覆盖、判定覆盖、条件 覆盖。Void procedure_A(i nt x,i nt y,i nt z)int k=O,j=O;if (x6) & (z50)j=x*y+10; /语句2j=j%3; / 语句 32、基本路径覆盖测试分析和设计

4、。请为程序模块F1(1)画出程序控制流图(2)计算控制流图的环路复杂度(3)导出独立路径(4)设计测试用例满足基本路径覆盖程序模块F1代码如下：1public int F1(i nt nu m,i nt cycle,boolea n flag)23int ret=0;4while (cycle0) the n56if (flag=true)78ret= num-10;9break;1011else12ret=ret*10;elseret=ret+1; cycle-;return ret;141516171819202122232425第12讲静态测试方法1.【单选题】D2.【单选题】C3.【单

5、选题】D4.【单选题】B5.【单选题】A6.【判断题】V7.【判断题】X8.【判断题】V9.【填空题】节点 控制流线10.【填空题】节点数 节点连接的边11.【简答题】环形复杂度为程序复杂度提供定量度量， 用来测量程序代码的结构复杂程度， 用于程序的路径测试。环形复杂度可提供程序基本路径集的独立路径数量， 依据每条独立路径设计一个测试用例，其值是确保所有语句至少被执行一次的测试用例数量的上界（最大值） 。12.【应用题】（1）画出相应的控制流图（要求对程序中的复合条件进行分解）2356控制流图说明：圈中1表示：A 2圈中6表示：X = X + 1圈中7表示：程序结束(2)计算环形复杂度。V(G

6、) = E - N + 2 = 10 - 7 + 2 = 5(3)写出控制流图的矩阵表示。节点12345671ab2cd3k4ef5gh6i7(4)找出程序的独立路径集合。 (标红色的部分是在前面路径中没有出现过的新的边)独立路径1:1-2-4-7 (adf)独立路径2:1-3-4 -7 (bkf)独立路径3:1-2-3 -4-7 (ackf)独立路径4:1-3- 4-5-7 ( bkeh)独立路径 5: 1-2-4- 5-6-7 ( adegi)综合题1 答：语句覆盖(有多种可能答案)：略判定覆盖(有多种可能答案)：略条件覆盖(有多种可能答案)：略只要考虑分支条件覆盖(有多种可能答案)：(x

7、6) & (z50)=T 和 F 这两个判定，以 及(x6)=T 和 F、(z50)=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就可以 了。2 答:(1)根据程序画出程序控制流图(2)计算控制流图的环路复杂度V (G)=略(3)导出基本路径A.3-4-24B.346-8-24C.略D .略(4)(有多种可能用例/答案) (4 分)设计基本路径覆盖测试用例路径编号满足基本路径覆盖的测试用例num取值cycle取值flag取值A任一整数，如1任一小于等于0的整数，如0false或true皆可B任一整数，如1任一大于0的整数，如1必须为true略略