软件测试作业6：程序流程图

作业6

1、根据程序流程图，完成：

(1) 转换单条件判定结构；
(2) 画出相应的程序控制流图；
(3) 给出控制流图的邻接矩阵；
(4) 计算 McCabe 环形复杂度；
(5) 找出程序的一个独立路径集合。

答：

(1)、转换单条件判定结构：

(2)、画出相应的程序控制流图：

或

(3)、给出控制流图的邻接矩阵：

$$\left[\begin{array}{ccccccc}0& 1& 1& 0& 0& 0& 0\\ 0& 0& 1& 1& 0& 0& 0\\ 0& 0& 0& 1& 0& 0& 0\\ 0& 0& 0& 0& 1& 0& 1\\ 0& 0& 0& 0& 0& 1& 1\\ 0& 0& 0& 0& 0& 0& 1\\ 0& 0& 0& 0& 0& 0& 0\end{array}\right]$$

(4)、计算 McCabe 环形复杂度：

• 因为程序控制流图的边数为m = 10，点数n = 7，所以V(G) = 10 - 7 + 2 = 5；
• 因为平面流图中有5个区域，所以V(G) = 5；
• 因为流图的单判定结点数d = 4(点1、2、4、5)，所以V(G) = 4 + 1 = 5。

(5)、找出程序的一个独立路径集合：

因为V(G) = 5，所以找出5条独立路径：

• 路径1：1-2-4-7
• 路径2：1-2-4-5-7
• 路径3：1-2-4-5-6-7
• 路径4：1-2-3-4-7
• 路径5：1-2-3-4-5-7