白盒測試有很多方法,
原則是:
1 保證被測程序中每一條獨立的路徑至少執行一次。
2 保證所有判斷的每一分支至少執行一次。
3 保證每一循環都在邊界條件和一般條件下至少各執行
一次。
4 驗證所有各內部數據結構的有效性。
一 邏輯覆蓋
主要用于測試選擇結構。
• 語句覆蓋:
每個語句至少執行一次。
(2)判定覆蓋:每個判定的每個分支至少執行一次
(3)條件覆蓋
使得每個判定的每個條件的
取值至少執行一次。
(4)判定/條件覆蓋:
即判定覆蓋條件覆蓋
(5)條件組合覆蓋:每個判定表達式中條件的各種可能組合都至少出現一次。
(6)路徑覆蓋
每條可能的路徑都至少執行一次。
路徑數目很大時,難以覆蓋所有的路徑。必須把覆蓋路徑數目壓縮到一定限度。
二 循環覆蓋
要覆蓋含有循環結構的所有路徑是不可能的,可通過限制循環次數來測試。給出以下設計原則:
單循環
設n為允許執行循環的最大次數,作以下測試: