设计步骤：
-
根据模块逻辑构造控制流图（如上图）
-
计算控制流图的环复杂度
-
列出包含起始节点和终止节点的基本路径
-
检查一下列出的基本路径数目是否超过控制流图的环复杂度
-
设计覆盖这些基本路径的测试用例
环复杂度：用V(G)表示，用来衡量一个模块判定结构的复杂程度，在数量上表现为独立的路径条数，是需要测试的基本路径数目的上限
-
计算公式：
-
V(G) =闭合区域的数目
由节点和边围成的封闭区域
1.这些封闭区域一定是不可再分的
2.包括周边的区域
-
V(G) =边的数目-节点的数目 + 2
-
V(G) = 二值判定节点个数 + 1
-
基本路径不一定是测试用例，得可行才行