1.1.1.1 靜態白盒測試
**評審
**檢查
1.1.1.2 動態白盒測試
邏輯覆蓋
基本路徑覆蓋
迴圈覆蓋
1.1.2.1 **檢查方式
桌面檢查
**審查
走查1.1.2.2 **檢查專案
變數的交叉引用表
標號的交叉引用表
子程式、巨集、函式
等價性檢查
常量檢查
標準檢查
風格檢查
對照程式的規格說明,詳細閱讀源**，逐字逐句進行分析和思考，比較實際的**和期望的**，從它們的差異中發現程式的問題和錯誤。
補充文件
1.1.2.3 編碼規範、**檢查規則、缺陷檢查表1.1.3.1 邏輯覆蓋是通過對程式邏輯結構的遍歷實現程式的覆蓋。它是一系列測試過程的總稱，這組測試過程逐漸進行越來越完整的通路測試。
1.1.3.2 邏輯覆蓋又可分為
語句覆蓋
判定覆蓋
條件覆蓋
判定-條件覆蓋
條件組合覆蓋
路徑補充覆蓋
1.2.1.1 設計足夠的測試用例 ，執行被測程式,使得程式中每乙個可執行語句至少執行 一次
執行路徑: abd
測試資料: [x=4,y=5,z=9]
1.2.2.1 設計足夠的測試用例,執行被測程式,使得每個判定的取真分支和取假分支至少執行一次
執行路徑: abe、acd
測試資料: [x=5,y=5,z=9]、 [x=4,y=5,z= 10]
1.2.3.1 設計足夠多的測試用例,執行被測程式,使得每一判定語句中每 個邏輯條件的可能取值至少執行一次
執行路徑: (t1,-t2,t3,-t4)acd、 (-t1,t2,-t3,t4)acd
測試資料: [x=4,y=5,z=10]、 [x=3,y=6,z=9]
1.2.4.1 設計足夠多的測試用例,使得判定中的每個條件的所有可能(真假分支)至少執行次,並且每個判定本身的判定結果也至少執行一次
執行路徑: (t1,t2,t3,t4)abd、 (-t1,-t2, t3, t4)ace
測試資料: [x=4,y=6,z=9]、[x=3,y=5,z= 10]
1.2.5.1 設計足夠多的測試用例，使得每個判定中條件的各種可能組合都至少執行一次
執行路徑: (t1,t2,t3,t4)abd、(-t1, t2,-t3,-t4)ace、(t1, t2,t3, t4)acd、(-t1,t2,-t3,t4)acd
測試資料: [x=4.y=6,z=9]、[x=3,y=5,z=10]、 [x=4.y=5,z=10]、 [x=3,y=6,z=9]
1.2.6.1 針對條件組合覆蓋，如果發現丟失路徑的情況存在，則補充丟失的路徑
執行路徑: abe
測試資料: [x=5,y=5,z=9]
1.3.1.1 程式的控制流圖
=1.3.2.1 mccabe複雜性度量
有以下兩種方法計算圈複雜度：
1.3.3.1 簡單迴圈
1.3.3.2 巢狀迴圈
1.3.3.3 串接迴圈
1.3.3.4 不規則迴圈
白盒測試用例設計
檢查設計和 靜態測試是指測試非執行部分 檢查和審查。白盒測試是指訪問 能夠檢視和審查。靜態白盒測試實在不執行的條件下有條理地仔細審查軟體設計 體系結構和 從而找出軟體缺陷的過程。有時也稱為結構分析。進行靜態白盒子測試的首要原因就是盡早發現軟體缺陷，以找出動態黑盒子測試難以揭示或遇到的軟體缺陷 另乙個...
原創 白盒測試用例設計方法
原創 白盒測試用例設計方法 白盒測試用例設計方法主要分為邏輯覆蓋測試和基本路徑測試.其中邏輯覆蓋包括 語句覆蓋 判定覆蓋 條件覆蓋 判定條件覆蓋 條件組合覆蓋 路徑覆蓋,具體見下所示 語句覆蓋就是設計若干個測試用例，執行被測程式，使得每一可執行語句至少執行一次。判定覆蓋就是設計若干個測試用例，執行被...
白盒測試的測試用例設計有哪些方法
白盒測試用例設計技術可分為邏輯覆蓋和路徑覆蓋，邏輯覆蓋又可分為以下幾種，從弱到強 語句覆蓋 sc 設計足夠多的測試用例，確保每條語句都被執行過。判定覆蓋 dc 設計足夠多的測試用例，確保每個判定都分別取真值與假值。條件覆蓋 cc 設計足夠多的測試用例，確保每個條件都分別取真值與假值。乙個判定裡可能包...