邏輯覆蓋法

邏輯覆蓋法是基路徑是一組獨立路徑，這組獨立路徑中的所有路徑相互不可替代，其餘路徑均可由這組路徑的某種組合方式來遍歷。基路徑測試就是設計測試用例來覆蓋每條基路徑。

一般步驟：

①從被測程式代碼生成程式圖；

②根據程式圖計算環複雜度，確定基路徑集合的大小（二者相等）；

③利用“主路徑+轉向”的策略確定基路徑集合，即找到一條從程式入口結點開始，到出口結點結束的路徑，該路徑應經過儘可能多的判斷結點（包括循環結點），然後每次以主路徑為基礎，每當碰到一個未轉向的判斷結點，就在該結點處轉向一次。

④剔除不可行路徑，補充其他重要的路徑。如：補充執行機率較高的路徑；補充可能包含嚴重缺陷的路徑；補充經數據流測試確定具高風險的路徑；補充涉及複雜算法的路徑

⑤根據路徑集合確定測試用例，填入測試數據。