white box白盒測試

• 邏輯覆蓋法：語句覆蓋，斷定覆蓋，條件覆蓋，斷定/條件覆蓋，組合覆蓋，路徑覆蓋
• 基本路徑測試法：Control Flow Graphs, CFG。帶箭頭的邊
• 條件覆蓋：使每一個斷定中每一個條件的可能值至少知足一次。
• 斷定/條件覆蓋：使得斷定中每一個條件的全部可能取值至少知足一次，同時每一個斷定的可能結果也至少出現一次。
• 知足路徑覆蓋的測試用例不必定知足組合覆蓋

•