白盒測試用例設計技術可分為邏輯覆蓋和路徑覆蓋，邏輯覆蓋又可分為以下幾種，從弱到強：
語句覆蓋（SC）：設計足夠多的測試用例，確保每條語句都被執行過。
判定覆蓋（DC）：設計足夠多的測試用例，確保每個判定都分別取真值與假值。
條件覆蓋（CC）：設計足夠多的測試用例，確保每個條件都分別取真值與假值。（一個判定里可能包含多個條件）
判定/條件覆蓋（DCC）：設計足夠多的測試用例，確保每個判定和條件分別取真值和假值。
條件組合覆蓋（CMC）：設計足夠多的測試用例，確保覆蓋每個判定中的各個條件的所有組合情況。（只考慮同一個判定內的各條件組合情況）
路徑覆蓋：設計足夠多的測試用例，確保每條路徑都被執行。如果程序復雜，比如包含循環的情況，路徑覆蓋的測試用例數將會是個天文數字，無法實現�？梢圆捎煤喕说穆窂礁采w，即將循環看成是一個判定，只考慮循環被執行和未執行兩種情況。
二、最少測試用例計算方法
要訣：同層相加，分層相乘。
N-S圖
三、圈復雜度計算
圈復雜度 = 節點邊數-節點數+2 = 判定節點數+1 = 執行域+1
圈復雜度與bug的數量有密切關心，一般來說，圈復雜度越高，bug也會越多。
延伸閱讀
文章來源于領測軟件測試網 http://www.kjueaiud.com/
