【正文】 A B X A? ?? ? ?2 01 0 1and orand and 判定覆蓋 ? 判定覆蓋就是設(shè)計(jì)若干個(gè)測(cè)試用例，運(yùn)行被測(cè)程序，使得 程序中每個(gè)判斷的取真分支和取假分支至少經(jīng)歷一次 。 ? 判定覆蓋又稱為 分支覆蓋 。 ? 對(duì)于圖例，如果選擇 路徑 L1和 L2，就可得滿足要求的測(cè)試用例 : ? 【 (2, 0, 4)， (2, 0, 3)】覆蓋 ace【 L1】 【 (1, 1, 1)， (1, 1, 1)】 覆蓋 abd【 L2】 ? ? ? ?? ? ? ? ? ?1X / A 2A 0B 1X / A 1A?????a n da n dora n d? ? ? ?? ? ? ? ? ?A B A B X A? ?? ? ?2 01 0 1and orand and? 如果選擇路徑 L3和 L4， 還可得另一組可用的測(cè)試用例 : 【 (2, 1, 1)， (2, 1, 2)】覆蓋 abe【 L3】 【 (3, 0, 3)， (3, 1, 1)】 覆蓋 acd【 L4】 ? ? ? ? ? ?? ? ? ? ? ?1X /A 0B 2A 0B 1X /A 1A??????andorandorand? ? ? ? ? ?? ?A B A X A? ? ??1 0 21and and and條件覆蓋 ?條件覆蓋就是設(shè)計(jì)若干個(gè)測(cè)試用例，運(yùn)行被測(cè)程序，使得程序中 每個(gè)判斷的每個(gè)條件的可能取值至少執(zhí)行一次 。 ?在圖例中，我們事先可對(duì)所有條件的取值加以標(biāo)記。例如， ?對(duì)于第一個(gè)判斷： – 條件 A＞ 1 取真為 ，取假為 條件 B＝ 0 取真為 ，取假為 T1 T1T2 T2?對(duì)于第二個(gè)判斷： – 條件 A＝ 2 取真為 ，取假為 條件 X＞ 1 取真為 ，取假為 測(cè)試用例 覆蓋分支 條件取值 【 (2, 0, 4)， (2, 0, 3)】 L1(c, e) 【 (1, 0, 1)， (1, 0, 1)】 L2(b, d) 【 (2, 1, 1)， (2, 1, 2)】 L3(b, e) 或 T3 T34T4T T T T1 2 3 4T T T T1 2 3 4T T T T1 2 3 4 測(cè) 試 用 例 覆蓋分支 條件取值 【 (1, 0, 3)， (1, 0, 4)】 L3(b, e) 【 (2, 1, 1)， (2, 1, 2)】 L3(b, e) 判定－條件覆蓋 ?判定－條件覆蓋就是設(shè)計(jì)足夠的測(cè)試用例，使得 判斷中每個(gè)條件的所有可能取值至少執(zhí)行一次 ，同時(shí) 每個(gè)判斷中的每個(gè)條件的可能取值至少執(zhí)行一次 。 T T T T1 2 3 4T T T T1 2 3 4 測(cè) 試 用例 覆蓋分支 條件取值 【 (2, 0, 4)， (2, 0, 3)】 L1(c, e) 【 (1, 1, 1)， (1, 1, 1)】 L2(b, d) T T T T1 2 3 4T T T T1 2 3 4? ? ? ?? ? ? ? ? ?A B A B X A? ?? ? ?2 01 0 1and orand and? ? ? ?? ? ? ? ? ?1X / A 2A 0B 1X / A 1A?????a n da n dora n d 由多個(gè)基本判斷組成的流程圖 條件組合覆蓋 ? 條件組合覆蓋就是設(shè)計(jì)足夠的測(cè)試用例，運(yùn)行被測(cè)程序，使得 每個(gè)判斷的所有可能的條件取值組合至少執(zhí)行一次 。 記 ① A＞ 1, B＝ 0 作 ② A＞ 1, B≠0 作 ③ A≯ 1, B＝ 0 作 ④ A≯ 1, B≠0 作 T T1 2T T1 2T T1 2T T1 2 ⑤ A＝ 2, X＞ 1 作 ⑥ A＝ 2, X≯ 1 作 ⑦ A≠2, X＞ 1 作 ⑧ A≠2, X≯ 1 作 測(cè) 試 用 例 覆蓋條件 覆蓋組合 【 (2, 0, 4), (2, 0, 3)】 (L1) ① , ⑤ 【 (2, 1, 1), (2, 1, 2)】 (L3) ② , ⑥ 【 (1, 0, 3), (1, 0, 4)】 (L3) ③ , ⑦ 【 (1, 1, 1), (1, 1, 1)】 (L2) ④ , ⑧ T T3 4T T3 4T T3 4T T3 4T T T T1 2 3 4T T T T1 2 3 4T T T T1 2 3 4T T T T1 2 3 4路徑測(cè)試 ? 路徑測(cè)試就是設(shè)計(jì)足夠的測(cè)試用例， 覆蓋程序中所有可能的路徑 。 測(cè) 試 用 例 通過(guò)路徑 覆蓋條件 【 (2, 0, 4), (2, 0, 3)】 ace (L1) 【 (1, 1, 1), (1, 1, 1)】 abd (L2) 【 (1, 1, 2), (1, 1, 3)】 abe (L3) 【 (3, 0, 3), (3, 0, 1)】 acd (L3) T T T T1 2 3 4T T T T1 2 3 4T T T T1 2 3 4T T T T3 41 2 條件測(cè)試路徑選擇 ? 當(dāng)程序中判定多于一個(gè)時(shí)，形成的分支結(jié)構(gòu)可以分為兩類(lèi)： 嵌套型分支結(jié)構(gòu) 和連鎖型分支結(jié)構(gòu) 。 ? 對(duì)于 嵌套型分支結(jié)構(gòu) ，若有 n個(gè)判定語(yǔ)句，需要 n+1個(gè)測(cè)試用例； ? 對(duì)于 連鎖型分支結(jié)構(gòu) ， 若有 n個(gè)判定語(yǔ)句，需要有 2n個(gè)測(cè)試用例，覆蓋它的 2n條路徑。當(dāng) n較大時(shí)將無(wú)法測(cè)試。 循環(huán)測(cè)試路徑選擇 ?循環(huán)分為 4種不同類(lèi)型： 簡(jiǎn)單循環(huán) 、連鎖循環(huán) 、 嵌套循環(huán) 和 非結(jié)構(gòu)循環(huán) 。 (1) 簡(jiǎn)單循環(huán) ① 零次循環(huán) ：從循環(huán)入口到出口 ② 一次循環(huán) ：檢查循環(huán)初始值 ③ 二次循環(huán) ：檢查多次循環(huán) ④ m次循環(huán)： 檢查在多次循環(huán) ⑤ 最大次數(shù)循環(huán)、比最大次數(shù)多一次、少一次的循環(huán) 例：求最小值 k = i。 ? for ( j = i+1。 j = n。 j++ ) ? ? ? if ( A[j] A[k] ) then k = j。 ? ? 循環(huán) i n A [ i ] A [ i +1 ] A [ i +2 ] k 路 徑 0 1 2 1 1 i a c 1 2 1 2 i ab e fc 2 1 i +1 ab d fc 1 3 1 2 3 i ab e f e fc 2 3 1 i +2 ab e f d fc 3 2 1 i +2 ab d f d fc 3 1 2 i +1 ab d f e fc d 改 k 的值， e 不改 k 的值測(cè)試用例選擇 (2) 嵌套循環(huán) ① 對(duì)最內(nèi)層循環(huán)做簡(jiǎn)單循環(huán)的全部測(cè)試。所有其它層的循環(huán)變量置為最小值 ② 逐步外推，對(duì)其外面一層循環(huán)進(jìn)行測(cè)試。測(cè)試時(shí)保持所有外層循環(huán)的循環(huán)變量取最小值，所有其它嵌套內(nèi)層循環(huán)的循環(huán)變量取 “ 典型 ” 值 ③ 反復(fù)進(jìn)行，直到所有各層循環(huán)測(cè)試完畢 ④ 對(duì)全部各層循環(huán)同時(shí)取最小循環(huán)次數(shù)，或者同時(shí)取最大循環(huán)次數(shù) (3) 連鎖循環(huán) 如果各個(gè)循環(huán) 互相獨(dú)立 ，則可以用與簡(jiǎn)單循環(huán)相同的方法進(jìn)行測(cè)試。但如果幾個(gè)循環(huán)不 是互相獨(dú)立 的，則需要使用測(cè)試嵌套循環(huán)的辦法來(lái)處理。 (4) 非結(jié)構(gòu)循環(huán) 這一類(lèi)循環(huán)應(yīng)該使用結(jié)構(gòu)化程序設(shè)計(jì)方法重新設(shè)計(jì)測(cè)試用例。 黑盒測(cè)試的測(cè)試用例設(shè)計(jì) – 等價(jià)類(lèi)劃分 – 邊界值分析 – 錯(cuò)誤推測(cè)法 – 因果圖 等價(jià)類(lèi)劃分 ? 等價(jià)類(lèi)劃分是一種典型的黑盒測(cè)試方法，使用這一方法時(shí)， 完全不考慮程序的內(nèi)部結(jié)構(gòu) ， 只依據(jù)程序的規(guī)格說(shuō)明來(lái)設(shè)計(jì)測(cè)試用例 。 ? 等價(jià)類(lèi)劃分方法 把所有可能的輸入數(shù)據(jù) ，即程序的輸入域 劃分成若干部分 ，然后 從每一部分中選取少數(shù)有代表性的數(shù)據(jù)做為測(cè)試用例 。 ? 使用這一方法設(shè)計(jì)測(cè)試用例要經(jīng)歷劃分等價(jià)類(lèi) （列出等價(jià)類(lèi)表）和 選取測(cè)試用例 兩步。 ? 劃分等價(jià)類(lèi) 等價(jià)類(lèi)是指某個(gè)輸入域的子集合。在該子集合中， 各個(gè)輸入數(shù)據(jù)對(duì)于揭露程序中的錯(cuò)誤都是等效的 。測(cè)試某等價(jià)類(lèi)的代表值就等價(jià)于對(duì)這一類(lèi)其它值的測(cè)試。 ? 等價(jià)類(lèi)的劃分有兩種不同的情況： ① 有效等價(jià)類(lèi) ：是指對(duì)于程序的規(guī)格說(shuō)明來(lái)說(shuō)，是合理的，有意義的輸入數(shù)據(jù)構(gòu)成的集合。 ② 無(wú)效等價(jià)類(lèi) ：是指對(duì)于程序的規(guī)格說(shuō)明來(lái)說(shuō)，是不合理的，無(wú)意義的輸入數(shù)據(jù)構(gòu)成的集合。 ? 在設(shè)計(jì)測(cè)試用例時(shí)，要同時(shí)考慮有效等價(jià)類(lèi)和無(wú)效等價(jià)類(lèi)的設(shè)計(jì)。 ? 劃分等價(jià)類(lèi)的原則 (1) 如果輸入條件規(guī)定了取值范圍，或值的個(gè)數(shù)，則可以確立一個(gè)有效等價(jià)類(lèi)和兩個(gè)無(wú)效等價(jià)類(lèi)。 ? 例如，在程序的規(guī)格說(shuō)明中，對(duì)輸入條件有一句話： “ …… 項(xiàng)數(shù)可以從 1到 999 …… ” 則有效等價(jià)類(lèi)是“ 1≤項(xiàng)數(shù) ≤999” 兩個(gè)無(wú)效等價(jià)類(lèi)是“項(xiàng)數(shù)＜ 1”或“項(xiàng) 數(shù)＞ 999”。在數(shù)軸上表示成 : (2) 如果輸入條件規(guī)定了輸入值的集合，或者是規(guī)