69096軟件開發(fā)技術(shù)基礎(chǔ)-文庫吧
2025-08-27 09:45 本頁面
【正文】 一種技術(shù)在不同的應(yīng)用場(chǎng)合效果可能有很大差別，因此通常需要聯(lián)合使用多種設(shè)計(jì)測(cè)試數(shù)據(jù)的技術(shù)。通常的做法是用黑盒法設(shè)計(jì)基本的測(cè)試用例，再用白盒法設(shè)計(jì)一些補(bǔ)充用例。測(cè)試方法： ? 邏輯覆蓋 ? 語句覆蓋 ? 判定覆蓋 ? 條件覆蓋 ? 判定 /條件覆蓋 ? 條件組合覆蓋 ? 等價(jià)類劃分 ? 邊值分析 邏輯（路徑）覆蓋（白盒法） ?按程序的內(nèi)部邏輯結(jié)構(gòu)進(jìn)行測(cè)試，為了衡量測(cè)試的覆蓋程度，建立下列標(biāo)準(zhǔn)（從低到高）： ? 語句覆蓋 ? 判定覆蓋 ? 條件覆蓋 ? 判定 /條件覆蓋 ? 條件組合覆蓋 舉例 有一要測(cè)試的程序如下： void sub(float a, float b,floatｘ） { float y。 if（ a1 amp。amp。 b==0) y=x/a。 if(a==2||x＞ 1） y＝ (ｘ＋ 1)/a； ｝ 程序邏輯結(jié)構(gòu)圖 結(jié)束 開始 a1amp。amp。b==0？ a==2||x1? y=x/a y=(x+1)/a A B C D E 邏輯覆蓋分析 —— 語句覆蓋 ?執(zhí)行程序中的每個(gè)語句。為使程序中的每個(gè)語句都至少執(zhí)行一次，只需設(shè)計(jì)一個(gè)通過路徑ＡＣＥ的輸入數(shù)據(jù)即可。選擇輸入數(shù)據(jù)為： ａ＝２，ｂ＝０，ｘ＝３ 就可達(dá)到 “ 語句覆蓋 ” 的標(biāo)準(zhǔn)。 邏輯覆蓋分析 —— 判定覆蓋 ? 對(duì)判別語句的每個(gè)分支至少要經(jīng)過一次，為達(dá)到 ” 判定覆蓋 “ 的標(biāo)準(zhǔn)，則要經(jīng)過路徑：Ａ CＤ和Ａ BＥ，為此，選用輸入數(shù)據(jù)為： ａ＝３，ｂ＝０，ｘ＝０，走ＡＣＤ路徑 ａ＝２，ｂ＝１，ｘ＝３，走ＡＢＥ路徑 ? 判定覆蓋比語句覆蓋嚴(yán)格。但還比較弱，例如， ABD路徑就沒走到。若把 “ X1”錯(cuò)寫成“ X1”,還是檢查不出來，它只有 50%的機(jī)會(huì)去檢查 X的值。 邏輯覆蓋分析 —— 條件覆蓋 ? 使判別中每個(gè)條件可能的值至少出現(xiàn)一次，及條件表達(dá)式中各個(gè)條件取兩個(gè)不同的值。 ? 程序中有 4個(gè)條件 : A1 , B==0 , A==2 , X1 。為達(dá)到 “ 條件覆蓋 ” 標(biāo)準(zhǔn)，需選用數(shù)據(jù) ,使得 在 A點(diǎn)有 A1 ,A=1, B==0, B0 在 B點(diǎn)有 A==2, A2, X1, X=1 為此選擇下列兩組測(cè)試數(shù)據(jù)： ａ＝２，ｂ＝０，ｘ＝４ 走ＡＣＥ路徑 ａ＝１，
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1