[原創]白盒測試用例設計方法
白盒測試用例設計方法主要分為邏輯覆蓋測試和基本路徑測試.
其中邏輯覆蓋包括：語句覆蓋、判定覆蓋、條件覆蓋、判定條件覆蓋、條件組合覆蓋、路徑覆蓋,具體見下所示：
語句覆蓋就是設計若干個測試用例，執行被測程式，使得每一可執行語句至少執行一次。
判定覆蓋就是設計若干個測試用例，執行被測程式，使得程式中每個判斷的取真分支和取假分支至少經歷一次。
條件覆蓋就是設計若干個測試用例，執行被測程式，使得程式中每個判斷的每個條件的可能取值至少執行一次。
判定條件覆蓋就是設計足夠的測試用例，使得判斷中每個條件的所有可能取值至少執行一次，每個判斷中的每個分支至少執行一次。
條件組合覆蓋就是設計足夠的測試用例，執行被測程式，使得每個判斷的所有可能的條件取值組合至少執行一次。
路徑測試就是設計足夠的測試用例，覆蓋程式中所有可能的路徑。
其中基本路徑測試方法把覆蓋的路徑數壓縮到一定限度內，程式中的迴圈體最多隻執行一次。
它是在程式控制流圖的基礎上，分析控制構造的環路複雜性，匯出基本可執行路徑集合，設計測試用例的方法。設計出的測試用例要保證在測試中，程式的每乙個可執行語句至少要執行一次。
白盒測試用例設計
檢查設計和 靜態測試是指測試非執行部分 檢查和審查。白盒測試是指訪問 能夠檢視和審查。靜態白盒測試實在不執行的條件下有條理地仔細審查軟體設計 體系結構和 從而找出軟體缺陷的過程。有時也稱為結構分析。進行靜態白盒子測試的首要原因就是盡早發現軟體缺陷，以找出動態黑盒子測試難以揭示或遇到的軟體缺陷 另乙個...
白盒測試用例設計
1.1.1.1 靜態白盒測試 評審 檢查 1.1.1.2 動態白盒測試 邏輯覆蓋 基本路徑覆蓋 迴圈覆蓋 1.1.2.1 檢查方式 桌面檢查 審查 走查1.1.2.2 檢查專案 變數的交叉引用表 標號的交叉引用表 子程式 巨集 函式 等價性檢查 常量檢查 標準檢查 風格檢查 對照程式的規格說明,詳細...
白盒測試的測試用例設計有哪些方法
白盒測試用例設計技術可分為邏輯覆蓋和路徑覆蓋，邏輯覆蓋又可分為以下幾種，從弱到強 語句覆蓋 sc 設計足夠多的測試用例，確保每條語句都被執行過。判定覆蓋 dc 設計足夠多的測試用例，確保每個判定都分別取真值與假值。條件覆蓋 cc 設計足夠多的測試用例，確保每個條件都分別取真值與假值。乙個判定裡可能包...