邏輯覆蓋法
根據覆蓋目標的不同，邏輯覆蓋可以分為：
語句覆蓋：程序里的每條可執行的語句都要至少執行一次。（最弱邏輯覆蓋准則）
設計原則:測試用例盡量少，覆蓋率盡量高。
判定覆蓋：每個判斷的真假分支至少執行一次，就是真要至少取一次，假要至少取一次。
條件覆蓋：每個判定中的每個條件可能至少滿足一次，也就是每個條件至少要取一次真的，再取一次假的。
判定/條件覆蓋：要求判斷中的每個條件所有可能至少出現一次,並且每個判定本身的判定結果也要出現一次。
組合覆蓋：每個判定中條件的各種可能組合至少滿足一次。
路徑覆蓋：把所有可能路徑至少都走一遍。
