69096軟件開發(fā)技術(shù)基礎(chǔ)(編輯修改稿)
2024-11-05 09:45 本頁面
【文章內(nèi)容簡(jiǎn)介】 ｂ＝１，ｘ＝１ 走ＡＢＤ路徑 ? “ 條件覆蓋 ” 比 “ 判定覆蓋 ” 強(qiáng) ,因?yàn)橐姑總€(gè)條件都取到兩個(gè)不同的結(jié)果 ,而判定覆蓋不能保證這一點(diǎn)。 ? 有時(shí)判定覆蓋和條件覆蓋不能互為包含。 邏輯覆蓋分析 — 判別／條件覆蓋 ? 使判定的 ” 真 “ 、 ” 假 “ 各執(zhí)行一次，還要使判定中每個(gè)條件取兩種不同的值。選擇下列輸入數(shù)據(jù)可滿足這一標(biāo)準(zhǔn)： ａ＝２，ｂ＝０，ｘ＝４ 走ＡＣＥ路徑 ａ＝１，ｂ＝１，ｘ＝１ 走ＡＢＤ路徑 ? 在含有 AND和 OR的邏輯表達(dá)式中 ,某些條件將抑制其它條件 。例如 ,表達(dá)式 A AND B ,如果 A為假 ,則就不再檢查 B了。因此在實(shí)際應(yīng)用中要設(shè)計(jì)更多的用例來測(cè)試未走過、而可能隱藏錯(cuò)誤的路徑。 邏輯覆蓋分析 — 判別組合覆蓋 ? 使每個(gè)判定中的條件的各種組合都出現(xiàn)一次。滿足條件組合覆蓋的測(cè)試數(shù)據(jù)一定滿足判定、條件、條件／判定覆蓋。 ? 各種可能的組合共有八種： ?ａ＞１，ｂ＝ =０ ? ａ＞１，ｂ＜＞０ ?ａ＜＝１，ｂ＝ =０ ? Ａ＜＝１，ｂ＜＞０ ? ａ＝ =２，ｘ＝ =１ ? ａ＝ =２，ｘ＜＝１ ?ａ＜＞２，ｘ＞１ ? ａ＜＞２，ｘ＜＝１ ? 下面４組測(cè)試數(shù)據(jù)可以覆蓋上面８種條件組合： ａ＝２，ｂ＝０，ｘ＝４ 覆蓋 ? ? ａ＝２，ｂ＝１，ｘ＝１ 覆蓋 ? ? ａ＝１，ｂ＝０，ｘ＝２ 覆蓋 ? ? ａ＝１，ｂ＝０，ｘ＝１ 覆蓋 ? ? 注：這４組數(shù)據(jù)并 不能覆蓋程序中的 每條路徑，ａｃｄ 就沒執(zhí)行。說明條 件組合覆蓋標(biāo)準(zhǔn)仍 不徹底。 等價(jià)類劃分（黑盒法） ? 鑒于列舉所有可能的測(cè)試數(shù)據(jù)進(jìn)行測(cè)試的工作量太大，實(shí)際上無法實(shí)現(xiàn)，只好選取一部分測(cè)試數(shù)據(jù)進(jìn)行測(cè)試。 ? 把所有可能的輸入數(shù)據(jù)（有效和無效）劃分為若干個(gè)等價(jià)類，每類中一個(gè)典型數(shù)據(jù)在測(cè)試中起的作用和這一類數(shù)據(jù)的作用是相同的。因此，可以從每個(gè)等價(jià)類中只選取一組數(shù)據(jù)作為測(cè)試數(shù)據(jù)。 ? 使用等價(jià)類劃分法首先要?jiǎng)澐州斎霐?shù)據(jù)的等價(jià)類，確定輸入數(shù)據(jù)的有效等價(jià)類和無效等價(jià)類。 ? 劃分等價(jià)類需要經(jīng)驗(yàn)，以下是一些啟發(fā)性原則： ? 若輸入條件規(guī)定了輸入值的范圍，則可能劃分一個(gè)有效的等價(jià)類和兩個(gè)無效的等價(jià)類（小于 MIN或大于 MAX）； ? 如果規(guī)定輸入數(shù)據(jù)必須遵循的規(guī)則，則可劃分出一個(gè)有效的等價(jià)類（符合規(guī)則）和若干個(gè)無效的等價(jià)類（不符合規(guī)則）。 ? 若規(guī)定了輸入數(shù)據(jù)為整型，則可劃分出整數(shù)、零和負(fù)整數(shù)三個(gè)有效等價(jià)類。 等價(jià)類劃分 （黑盒法） ?例
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1