白盒測試用例設計技術可分為邏輯覆蓋和路徑覆蓋，邏輯覆蓋又可分為以下幾種，從弱到強：語句覆蓋（sc）：設計足夠多的測試用例，確保每條語句都被執行過。
判定覆蓋（dc）：設計足夠多的測試用例，確保每個判定都分別取真值與假值。
條件覆蓋（cc）：設計足夠多的測試用例，確保每個條件都分別取真值與假值。（乙個判定裡可能包含多個條件）
判定/條件覆蓋（dcc）：設計足夠多的測試用例，確保每個判定和條件分別取真值和假值。
條件組合覆蓋（cmc）：設計足夠多的測試用例，確保覆蓋每個判定中的各個條件的所有組合情況。（只考慮同乙個判定內的各條件組合情況）
路徑覆蓋：設計足夠多的測試用例，確保每條路徑都被執行。如果程式複雜，比如包含迴圈的情況，路徑覆蓋的測試用例數將會是個天文數字，無法實現。
可以採用簡化了的路徑覆蓋，即將迴圈看成是乙個判定，只考慮迴圈被執行和未執行兩種情況。
白盒測試用例設計
檢查設計和 靜態測試是指測試非執行部分 檢查和審查。白盒測試是指訪問 能夠檢視和審查。靜態白盒測試實在不執行的條件下有條理地仔細審查軟體設計 體系結構和 從而找出軟體缺陷的過程。有時也稱為結構分析。進行靜態白盒子測試的首要原因就是盡早發現軟體缺陷，以找出動態黑盒子測試難以揭示或遇到的軟體缺陷 另乙個...
白盒測試用例設計
1.1.1.1 靜態白盒測試 評審 檢查 1.1.1.2 動態白盒測試 邏輯覆蓋 基本路徑覆蓋 迴圈覆蓋 1.1.2.1 檢查方式 桌面檢查 審查 走查1.1.2.2 檢查專案 變數的交叉引用表 標號的交叉引用表 子程式 巨集 函式 等價性檢查 常量檢查 標準檢查 風格檢查 對照程式的規格說明,詳細...
原創 白盒測試用例設計方法
原創 白盒測試用例設計方法 白盒測試用例設計方法主要分為邏輯覆蓋測試和基本路徑測試.其中邏輯覆蓋包括 語句覆蓋 判定覆蓋 條件覆蓋 判定條件覆蓋 條件組合覆蓋 路徑覆蓋,具體見下所示 語句覆蓋就是設計若干個測試用例，執行被測程式，使得每一可執行語句至少執行一次。判定覆蓋就是設計若干個測試用例，執行被...