邏輯覆蓋法

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

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

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

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

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