邏輯覆蓋法

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

一般步驟:
①從被測程式代碼生成程式圖;
②根據程式圖計算環複雜度,確定基路徑集合的大小(二者相等);
③利用“主路徑+轉向”的策略確定基路徑集合,即找到一條從程式入口結點開始,到出口結點結束的路徑,該路徑應經過儘可能多的判斷結點(包括循環結點),然後每次以主路徑為基礎,每當碰到一個未轉向的判斷結點,就在該結點處轉向一次。
④剔除不可行路徑,補充其他重要的路徑。如:補充執行機率較高的路徑;補充可能包含嚴重缺陷的路徑;補充經數據流測試確定具高風險的路徑;補充涉及複雜算法的路徑
⑤根據路徑集合確定測試用例,填入測試數據。

相關詞條

熱門詞條

聯絡我們