静态检验方题目及答案解析.docx
《静态检验方题目及答案解析.docx》由会员分享，可在线阅读，更多相关《静态检验方题目及答案解析.docx（9页珍藏版）》请在冰豆网上搜索。
静态检验方题目及答案解析
第12讲静态测试方法
1.【单选题】下面对数据流分析方法描述错误的是______。
A.数据流分析是在程序代码经过的路径上检查数据的用法。
B.数据流分析不一定能够发现缺陷，但可以发现异常。
C.数据流分析过程中，需要检查每个变量的使用情况。
D.数据流异常通常不明显，并且每个异常都会导致不正确的行为。
2.【单选题】判断下面代码段中有数据流异常的变量是____。
voidexchange（int&Min,int&Max）{
inthelp;
if（Min>Max）{
Max=Help;Max=Min;Help=Min;
}
}
A.Min和Max
B.Min和Help
C.Help和Max
D.Min、Max和Help
3.【单选题】在控制流图中，不能仅用带标号的圆圈表示的是______。
A.一条或多条语句
B.一个处理框序列
C.一个条件判定框
D.一个循环结构
4.【单选题】下面是由Case多分支结构转换的控制流图。
A.
B.
C.
D.
5.【单选题】以下控制流图的环形复杂性V（G）等于。
A.5
B.6
C.7
D.8
6.【判断题】通过控制流图可以发现程序结构的异常。
______
7.【判断题】环形复杂度度量主要用于计算程序基本路径集的路径数量。
______
8.【判断题】环形复杂度的值越大，理解程序模块的难度越高。
______
9.【填空题】程序控制流图中所涉及的图形符号只有两种，分别是______和______。
10.【填空题】控制流图可用矩阵表示，矩阵维数等于控制流图的______，矩阵的每个元素对应于____。
11.【简答题】简述环形复杂度的作用。
12.【应用题】根据下图给出的程序流程图，完成以下要求:
（1）画出相应的控制流图（要求对程序中的复合条件进行分解）。
（2）写出控制流图的矩阵表示。
（3）计算环形复杂度V（G）。
（4）找出程序的独立路径集合。
13.【应用题】
1、为以下程序段设计一组测试用例，要求满足语句覆盖、判定覆盖、条件覆盖。
Voidprocedure_A（intx,inty,intz）
{
intk=0,j=0;
if（（x>6）&&（z<20））
{
k=x*y-1;
j=sqrt（k）;
}//语句块1
if（（x==8）||（y>50））
{
j=x*y+10;
}//语句2
j=j%3;//语句3
}
2、基本路径覆盖测试分析和设计。
请为程序模块F1
（1）画出程序控制流图
（2）计算控制流图的环路复杂度
（3）导出独立路径
（4）设计测试用例满足基本路径覆盖
程序模块F1代码如下：
1publicintF1（intnum,intcycle,booleanflag）
2{
3intret=0;
4while（cycle>0）then
5{
6if（flag==true）
7{
8ret=num-10;
9break;
10}
11else
12{
13if（num%2==0）
14{
15ret=ret*10;
16}
17else
18{
19ret=ret+1;
20}
21}
22cycle--;
23}
24returnret;
25}
第12讲静态测试方法
1.【单选题】D
2.【单选题】C
3.【单选题】D
4.【单选题】B
5.【单选题】A
6.【判断题】V
7.【判断题】X
8.【判断题】V
9.【填空题】节点控制流线
10.【填空题】节点数节点连接的边
11.【简答题】
环形复杂度为程序复杂度提供定量度量，用来测量程序代码的结构复杂程度，用于程序的路径测试。
环形复杂度可提供程序基本路径集的独立路径数量，依据每条独立路径设计一个测试用例，其值是确保所有语句至少被执行一次的测试用例数量的上界（最大值）。
12.【应用题】
（1）画出相应的控制流图（要求对程序中的复合条件进行分解）。
控制流图说明：
圈中1表示：
A<5
图中2表示：
B=5
圈中3表示：
X=X/A
圈中4表示：
A=2
圈中5表不：
X>2
圈中6表示：
X=X+1
圈中7表示：
程序结束
（2）计算环形复杂度。
V（G）=E-N+2=10-7+2=5
（3）写出控制流图的矩阵表示。
节点
1
2
3
4
5
6
7
1
a
b
2
c
d
3
k
4
e
f
5
g
h
6
i
7
（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>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就可以了。
2．答：
（1）根据程序画出程序控制流图。
（2）计算控制流图的环路复杂度
V（G）=略
（3）导出基本路径
A．3-4-24
B．3-4-6-8-24
C．略
D．略
（4）设计基本路径覆盖测试用例（有多种可能用例/答案）（4分）
路径编号
满足基本路径覆盖的测试用例
num取值
cycle取值
flag取值
A
任一整数，如1
任一小于等于0的整数，如0
false或true皆可
B
任一整数，如1
任一大于0的整数，如1
必须为true
略
略
升级会员 