用例設計方法白盒測試

用例設計方法白盒測試第1頁，共15頁，2023年，2月20日，星期一白盒測試方法A、邏輯覆蓋法B、路徑測試法C、代碼檢查D、白盒測試綜合策略第2頁，共15頁，2023年，2月20日，星期一A邏輯覆蓋法

語句覆蓋

判定覆蓋

條件覆蓋

判定－條件覆蓋

條件組合覆蓋

路徑覆蓋第3頁，共15頁，2023年，2月20日，星期一語句覆蓋語句覆蓋就是設計若干個測試用例，運行被測程序，使得每一可執(zhí)行語句至少執(zhí)行一次。見教材P35例子語句覆蓋率：已執(zhí)行的可執(zhí)行語句/程序中可執(zhí)行語句總數(shù)缺陷：不是最重要的衡量指標，無法發(fā)現(xiàn)循環(huán)條件的錯誤以及循環(huán)次數(shù)存在的問題。第4頁，共15頁，2023年，2月20日，星期一判定覆蓋判定覆蓋就是設計若干個測試用例，運行被測程序，使得程序中每個判斷的取真分支和取假分支至少經(jīng)歷一次。又稱為分支覆蓋?！緝?yōu)點】判定覆蓋具有比語句覆蓋更強的測試能力，而且具有和語句覆蓋一樣的簡單性，無需細分每個判定就可以得到測試用例。【缺點】往往大部分的判定語句是由多個邏輯條件組合而成（如，判定語句中包含AND、OR、CASE），若僅僅判斷其整個最終結果，而忽略每個條件的取值情況，必然會遺漏部分測試路徑。例如:

inta,b;

if(a||b)執(zhí)行語句1

else執(zhí)行語句2要達到這段程序的判斷覆蓋,我們采用測試用例:1)a=true,b=true;2)a=flase,b=flase

第5頁，共15頁，2023年，2月20日，星期一條件覆蓋條件覆蓋就是設計若干個測試用例，運行被測程序，使得程序中每個判斷的每個條件的可能取值至少執(zhí)行一次。優(yōu)點：比判定覆蓋增加了對符合判定情況的測試，增加了測試路徑。缺點：測試用例足夠多，但不能保證判定覆蓋，條件覆蓋只能保證每個條件至少有一次為真，而不能考慮所有的判定結果。第6頁，共15頁，2023年，2月20日，星期一判定－條件覆蓋判定-條件覆蓋就是設計足夠的測試用例，使得判斷中每個條件的所有可能取值至少執(zhí)行一次，同時每個判斷的所有可能判斷結果至少執(zhí)行一次，即要求各個判斷的所有可能的條件取值組合至少執(zhí)行一次。優(yōu)點：滿足判定覆蓋準則和條件覆蓋準則，彌補了二者的不足。缺點：主要對整個表達式的最終取值進行度量，忽略了表達式的內(nèi)部取值。即只考慮了各種條件的結果，沒有考慮條件的組合情況。第7頁，共15頁，2023年，2月20日，星期一條件組合覆蓋條件組合覆蓋就是設計足夠的測試用例，運行被測程序，使得每個判斷的所有可能的條件取值組合至少執(zhí)行一次。優(yōu)點：是多重條件覆蓋，不僅滿足判定覆蓋、條件覆蓋也滿足判定/條件覆蓋。缺點：測試用例過多第8頁，共15頁，2023年，2月20日，星期一路徑覆蓋路徑測試就是設計足夠的測試用例，覆蓋程序中所有可能的路徑。徹底的測試，比前面五種測試方法都覆蓋面廣設計大量、復雜的測試用例，使得工作量呈幾何級數(shù)增長第9頁，共15頁，2023年，2月20日，星期一3.2基本路徑測試（自學）3.3循環(huán)測試（自學）第10頁，共15頁，2023年，2月20日，星期一C、代碼檢查靜態(tài)測試包括代碼檢查、靜態(tài)分析兩種途徑，由人工進行。代碼檢查包括：桌面檢查、代碼審查、代碼走查和技術評審等，主要檢查代碼設計的一致性、代碼是否遵循標準性和可讀性、代碼邏輯表達的正確性，以及代碼結構的合理性。第11頁，共15頁，2023年，2月20日，星期一C、代碼檢查代碼審查的主要內(nèi)容包括：(1)編碼規(guī)范問題(2)代碼結構問題：重復代碼、分層不當、耦合緊(3)實現(xiàn)問題：錯誤驗證、異常處理、線程安全性問題、安全問題等(4)測試問題：測試覆蓋度、可測試性代碼走查：與代碼檢查相似，測試人員帶來書面的測試用例，每個測試用例在會議中，在每個人的頭腦中進行邏輯推演，即把測試數(shù)據(jù)沿著程序的邏輯結構走一遍，發(fā)現(xiàn)錯誤。第12頁，共15頁，2023年，2月20日，星期一D、白盒測試綜合策略在白盒測試中，可以使用各種測試方法的綜合測試如下所示：在測試中，應盡量先用工具進行靜態(tài)結構分析。測試中可采取先靜態(tài)后動態(tài)的組合方式：先進行靜態(tài)結構分析、代碼檢查和靜態(tài)質(zhì)量度量，再進行覆蓋率測試。第13頁，共15頁，2023年，2月20日，星期一白盒測試綜合策略利用靜態(tài)分析的結果作為引導，通過代碼檢查和動態(tài)測試的方式對靜態(tài)分析結果進行進一步的確認，使測試工作更為有效。覆蓋率測試是白盒測試的重點，一般可使用基本路徑測試法達到語句覆蓋標準；對于軟件的重點模塊，應使用多種覆蓋率標準衡量代碼的覆蓋率；第14頁，共15頁，2023年，2月20日，星期一在不同的測試階段，測試的側(cè)