邏輯覆蓋法
邏輯覆蓋法
邏輯覆蓋法是基路徑是一組獨立路徑，這組獨立路徑中的所有路徑相互不可替代，其餘路徑均可由這組路徑的某種組合方式來遍歷。基路徑測試就是設計測試用例來覆蓋每條基路徑。
目錄
①從被測程序代碼生成程序圖；
②根據程序圖計算環複雜度，確定基路徑集合的大小（二者相等）；
③利用“主路徑+轉向”的策略確定基路徑集合，即找到一條從程序入口結點開始，到出口結點結束的路徑，該路徑應經過儘可能多的判斷結點（包括循環結點），然後每次以主路徑為基礎，每當碰到一個未轉向的判斷結點，就在該結點處轉向一次。
④剔除不可行路徑，補充其他重要的路徑。如：補充執行概率較高的路徑；補充可能包含嚴重缺陷的路徑；補充經數據流測試確定具高風險的路徑；補充涉及複雜演演算法的路徑
⑤根據路徑集合確定測試用例，填入測試數據。