软件测试——程序控制流图、McCabe 环形复杂度与独立路径

题目

根据程序流程图，完成：
(1) 画出相应的程序控制流图；
(2) 给出控制流图的邻接矩阵；
(3) 计算 McCabe 环形复杂度；
(4) 找出程序的一个独立路径集合。

1. 画出相应的程序控制流图

2. 给出控制流图的邻接矩阵

	1	2	3	4	5	6	7
1	1	1	1	0	0	0	0
2	0	1	1	1	0	0	0
3	0	0	1	1	0	0	0
4	0	0	0	1	1	0	1
5	0	0	0	0	1	1	1
6	0	0	0	0	0	1	1
7	0	0	0	0	0	0	1

3. 计算 McCabe 环形复杂度

一个程序模块的环路复杂度用来衡量模块中判定结构的复杂程度，数量上可以表现为程序控制流图中从开始点到终结点的独立路径条数，相当于合理预防错误所
需测试的最少路径条数。

计算方法：

• 单入单出程序控制流图 G 的 McCabe 环路复杂度计算公式：
  V(G) = m - n + 2p
  ◌ m 是 G 的边数目
  ◌ n 是 G 的顶点数目
  ◌ p 是 G 的连通分支数
• 简单程序控制流图是连通图，p = 1，此时：
  V(G) = m - n + 2
• G 是平面图时，由欧拉公式，V(G) = R。其中 R 是平面被控制流图划分成的区域数目 (包括外部面)。
• 对于简单的单入单出结构化模块，V(G) 值等于程序控制流图中的单条件判断节点的个数 +1。多条件判断条件可以先转化为单条件复合结构再应用本结论。

计算：

• 解1：图中 m = 10，n = 7，故
  V(G) = m - n + 2
  = 10 – 7 + 2
  = 5
• 解2：图是平面的且有5个面，故
  V(G) = 5
• 解3：图中有4个单条件判定节点1, 2, 4, 5, 故
  V(G) = 4 + 1 = 5

4. 找出程序的一个独立路径集合

独立路径：至少沿一条新的边移动的路径。对所有独立路径的遍历使得程序
中的所有语句至少被执行一次。

5条独立的基本路径：

• 1-2-3-4-5-6-7
• 1-3-4-5-6-7
• 1-2-4-5-6-7
• 1-2-3-4-7
• 1-2-3-4-5-7