用例設(shè)計(jì)方法白盒測(cè)試

用例設(shè)計(jì)方法白盒測(cè)試第1頁(yè)，課件共15頁(yè)，創(chuàng)作于2023年2月白盒測(cè)試方法A、邏輯覆蓋法B、路徑測(cè)試法C、代碼檢查D、白盒測(cè)試綜合策略第2頁(yè)，課件共15頁(yè)，創(chuàng)作于2023年2月A邏輯覆蓋法

語(yǔ)句覆蓋

判定覆蓋

條件覆蓋

判定－條件覆蓋

條件組合覆蓋

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

inta,b;

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

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

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