【正文】 ?路徑測試 － 語句覆蓋 ?語句覆蓋 ：語句覆蓋就是設(shè)計(jì)若干個測試用例，運(yùn)行被測試程序，使得每一條可執(zhí)行語句至少執(zhí)行一次； － 語句覆蓋 為了說明簡略，分別對各個判斷的取真、取假分支編號為a、 b、 c、 d、 e。 測試用例輸入為： { x= y= z=5} 程序執(zhí)行的路徑是： abd 該測試用例雖然覆蓋了可執(zhí)行語句，但并不能檢查判斷邏輯 是否有問題，例如在第一個判斷中把 amp。錯誤的寫成了 ||， 則上面的測試用例仍可以覆蓋所有的執(zhí)行語句。 － 判定覆蓋 ? 執(zhí)行足夠的測試用例，使得程序中每個判定至少都獲得一次 “ 真 ” 值和 “ 假 ” 值，或者說使得程序中的每一個分支至少都通過一次。 測試用例的輸入為： { x= y= z=5} { x= y= z=5} 上面的兩個測試用例雖然能夠滿足條件覆蓋的要求， 但是也不能對判斷條件進(jìn)行檢查，例如把第二個條件 y5錯誤的寫成 y5,、 上面的測試用例同樣滿足了 分支覆蓋。 － 條件覆蓋 對例子中的所有條件取值加以標(biāo)記。 － 條件覆蓋 ?但是如果設(shè)計(jì)了下面的測試用例，則雖然滿足了條件覆蓋，但只覆蓋了第一個條件的取假分支和第二個條件的取真分支，不滿足分支覆蓋的要求。 － 條件判定覆蓋 ? 根據(jù)定義只需設(shè)計(jì)以下兩個測試用例便可以覆蓋 8個條件值以及 4個判斷分支。例如對于條件表達(dá)式 (x3)amp。(z10)來說，必須兩個條件都滿足才能確定表達(dá)式為真。對于第二個表達(dá)式（ x= =4） ||（ y5） 來說，若 x==4測試結(jié)果為真，就認(rèn)為表達(dá)式的結(jié)果為真，這時不再檢查（ y5） 條件了。 － 條件組合覆蓋 ?執(zhí)行足夠的例子，使得每個判定中條件的各種可能組合都至少出現(xiàn)一次 － 條件組合覆蓋 1. x3,z10 記做 T1 T2， 第一個判斷的取真分支 2. x3,z=10 記做 T1 T2， 第一個判斷的取假分支 3. x=3,z0 記做 T1 T2， 第一個判斷的取假分支 4. x=3,z=10 記做 T1 T2， 第一個判斷的取假分支 5. x=4,y5 記做 T3 T4， 第二個判斷的取真分支 6. x=4,y=5 記做 T3 T4， 第二個判斷的取真分支 7. x!=4,y5 記做 T3 T4， 第二個判斷的取真分支 8. x!=4,y=5 記做 T3 T4， 第二個判斷的取假分支 － 條件組合覆蓋 根據(jù)定義取 4個測試用例，就可以覆蓋上面 8種條件取值的組合。 － 路徑測試 路徑測試就是設(shè)計(jì)足夠多的測試用例，覆蓋被測試對象中的所有可能路徑。但在實(shí)踐中，一個不太復(fù)雜的程序，其路徑都是一個龐大的數(shù)字，要在測試中覆蓋所有的路徑是不現(xiàn)實(shí)的。下面介紹的基本路徑測試就是這樣一種測試方法，它在程序控制圖的基礎(chǔ)上，通過分析控制構(gòu)造的環(huán)行復(fù)雜性，導(dǎo)出基本可執(zhí)行路徑集合，從而設(shè)計(jì)測試用例的方法。 ? 在程序控制流圖的基礎(chǔ)上，通過分析控制構(gòu)造的環(huán)路復(fù)雜性，導(dǎo)出基本可執(zhí)行路徑集合，從而設(shè)計(jì)測試用例。 2. 程序圈復(fù)雜度： McCabe復(fù)雜性度量。 3. 導(dǎo)出測試用例：根據(jù)圈復(fù)雜度和程序結(jié)構(gòu)設(shè)計(jì)用例數(shù)據(jù)輸入和預(yù)期結(jié)果。 控制流圖的符號 ? 在介紹基本路徑方法之前，必須先介紹一種簡單的控制流表示方法，即流圖。 順序結(jié)構(gòu) IF 選擇結(jié)構(gòu) W H I L E 重復(fù)結(jié)構(gòu) U N T I L 重復(fù)結(jié)構(gòu) C A S E 多分支結(jié)構(gòu) void Sort(int iRecordNum,int iType) 1 { 2 int x=0。 4 while (iRecordNum 0) 5 { 6 if(0= =iType) 7 x=y+2。 11 else 12 x=y+20。流圖中的箭頭稱為邊或連接，代表控制流。當(dāng)條件語句中用到一個或多個布爾運(yùn)算符 (邏輯 OR，AND， NAND， NOR)時，就出現(xiàn)了復(fù)合條件。例如： 1 if a or b 2 x 3 else 4 y 對應(yīng)的邏輯為： 21b1a2 3：計(jì)算圈復(fù)雜度 圈復(fù)雜度是一種為程序邏輯復(fù)雜性提供定量測度的軟件度量，將該度量用于計(jì)算程序的基本的獨(dú)立路徑數(shù)目，為確保所有語句至少執(zhí)行一次的測試數(shù)量的上界。 ：計(jì)算圈復(fù)雜度 有以下兩種方法計(jì)算圈復(fù)雜度： 1. 給定流圖 G的圈復(fù)雜度： V(G)， 定義為V(G)=EN+2， E是流圖中邊的數(shù)量， N是流圖中結(jié)點(diǎn)的數(shù)量； 2. 給定流圖 G的圈復(fù)雜度： V(G)， 定義為V(G)=P+1， P是流圖 G中判定結(jié)點(diǎn)的數(shù)量。 ? V(G)=3個判定結(jié)點(diǎn) +1=4。 ：準(zhǔn)備測試用例 為了確?；韭窂郊械拿恳粭l路徑的執(zhí)行，根據(jù)判斷結(jié)點(diǎn)給出的條件，選擇適當(dāng)?shù)臄?shù)據(jù)以保證某一條路徑可以被測試到，滿足上面例子基本路徑集的測試用例是： 路徑 1： 414 輸入數(shù)據(jù)： iRecordNum＝ 0， 或者取iRecordNum0的某一個值 預(yù)期結(jié)果： x＝ 0 路徑 2： 46714 輸入數(shù)據(jù)： iRecordNum＝ 1,iType＝ 0 預(yù)期結(jié)果： x＝ 2 ：準(zhǔn)備測試用例 路徑 3： 4681013414 輸入數(shù)據(jù)： iRecordNum＝ 1,iType＝ 1 預(yù)期結(jié)果： x＝ 10 路徑 4： 4681113414 輸入數(shù)據(jù)： iRecordNum＝ 1,iType＝ 2 預(yù)期結(jié)果： x＝ 20 － 循環(huán)測試 循環(huán)測試是一種白盒測試技術(shù)，注重于循環(huán)構(gòu)造的有效性。 簡單循環(huán) 嵌套循環(huán) 串接循環(huán) 不規(guī)則循環(huán) － 循環(huán)測試 簡單循環(huán)： 下列測試集用于簡單循環(huán)，其中 n是允許通過循環(huán)的最大次數(shù)。 － 循環(huán)測試 嵌套循環(huán)： 如果將簡單循環(huán)的測試方法用于嵌套循環(huán)，可能的測試數(shù)就會隨嵌套層數(shù)成幾何級增加，這會導(dǎo)致不實(shí)際的測試數(shù)目，下面是一種減少測試數(shù)的方法： ? 從最內(nèi)層循環(huán)開始，將其它循環(huán)設(shè)置為最小值； ? 對最內(nèi)層循環(huán)使用簡單循環(huán)，而使外層循環(huán)的迭代參數(shù)（即循環(huán)計(jì)數(shù)）最小，并為范圍外或排除的值增加其它測試； ? 由內(nèi)向外構(gòu)造下以個循環(huán)的測試，但其它的外層循環(huán)為最小值，并使其它的嵌套循環(huán)為“典型”值； ? 繼續(xù)直到測試所有的循環(huán)。但是如果兩個循環(huán)串接起來，而第一個循環(huán)是第二個循環(huán)的初始值，則這兩個循環(huán)并不是獨(dú)立的。 不規(guī)則循環(huán)： 不能測試，盡量重新設(shè)計(jì)給結(jié)構(gòu)化的程序結(jié)構(gòu)后再進(jìn)行測試。 ?現(xiàn)在的軟件都是由事件觸發(fā)來控制流程的，事件觸發(fā)時的情景便形成了場景。 I:invalid無效 。 弱一般等價類 強(qiáng)一般等價類 ? 強(qiáng)一般等價類測試基于多缺陷假設(shè)，因此需要等價笛卡兒積的每個元素對應(yīng)的測試用例 ? 笛卡兒積可以保證兩種意義上的完備性： ? 覆蓋所有的等價類 ? 可能的輸入組合 強(qiáng)一般等價類 弱健壯等價類 ?健壯：考慮了無效值 ?弱：基于單缺陷假設(shè) 弱健壯等價類 強(qiáng)健壯等價類 ?健壯：考慮了無效值 ?強(qiáng)：基于多缺陷假設(shè) 強(qiáng)健壯等價類 ?程序 TRANLE輸入三個整數(shù)，它們表示一個三角形的三條邊長，該程序產(chǎn)生一個結(jié)果指出三角形是等腰三角形、等邊三角形還是不等邊三角形 請利用 15分鐘進(jìn)行測試用例設(shè)計(jì) （續(xù)） ? 合理的不等邊三角形（輸入數(shù)據(jù)為 3或 10等不能算這一類） ? 合理的等邊三角形（輸入數(shù)據(jù)為 0、 0、 0不算） ? 合理的等腰三角形（輸入數(shù)據(jù)為 4等不能算這一類） ? 等腰三角形的三種排列次序 (3， 3， 4。4， 3， 3) （續(xù)） ?三個正數(shù)，其中兩個之和等于第三個 ?上一種情況的三種排列次序 ?三個正數(shù)，其中兩個之和小于第三個 ?上一種情況的三種排列次序 ?輸入數(shù)據(jù)含有零值 ?輸入數(shù)據(jù)含有負(fù)數(shù) （續(xù)） ? 輸入數(shù)據(jù)含有非整數(shù)值 ? 三個數(shù)均為零 ? 輸入數(shù)據(jù)不是三個數(shù) ? 輸入數(shù)據(jù)中有字符 －等價類劃分 ? 劃分等價類在很大程度上是試探性的 ， 下面幾點(diǎn)可供參考 : ? 1） 如果某個輸入條件說明了輸入值的范圍 ， 如 “ 數(shù)據(jù)值 ” 是從 1到 999， 則可劃分一個合理等價類：大于等于 1而小于等于999的數(shù)和兩個不合理等價類：小于 1的數(shù) ，以及大于 999的數(shù) 。 －等價類劃分 ? 3） 如果一個輸入條件說明了一個 “ 必須成立 ” 的情況 ， 如標(biāo)識符的第一個字符必須是字母 ， 則可劃分一個合理等價類：第一字符是字母和一個不合理等價類第一字符不是字母 。 －等價類劃分 ? 5）如果認(rèn)為程序?qū)床煌姆绞絹硖幚砟硞€等價類中的各種測試用例，則應(yīng)將這個等價類再分成幾個更小的等價類。 －三角形問題 ? R1={a,b,c:等邊三角形 } ? R2={a,b,c:等腰三角形 } ? R3={a,b,c:不等邊三角形 } ? R4={a,b,c:不構(gòu)成三角形 } 測試用例號 旅館收費(fèi) 被測分區(qū) 預(yù)期輸出 1 50 0旅館收費(fèi) =70 正確 2 25 旅館收費(fèi) =0 錯誤信息 3 89 旅館收費(fèi) 70 錯誤信息 －等價類劃分 ? 1） 為每個等價類編號 。重復(fù)做這一步 ，直至這些測試用例已包含所有的合理等價類 。 －等價類劃分 考察一個把數(shù)字串轉(zhuǎn)變成整數(shù)的函數(shù)。函數(shù)及參數(shù)的說明如下： function StrToInt (dstr : shortstr) : integer。 要求被處理的數(shù)字串是右對齊的，即在少于 6個字符的串左補(bǔ)空格。 試用等價劃分法設(shè)計(jì)測試方案?？紤]到 PASCAL編譯器的固有檢錯功能，測試時不需要使用長度不等于 6的數(shù)組，也不需要用非字符數(shù)組類型的參數(shù)。 12 13 －等價類劃分 下面根據(jù)等價劃分，設(shè)計(jì)出一套測試方案： ① 1~6個數(shù)字字符組成的數(shù)字串，最高位非 0；輸出為合法正整數(shù)。 輸入： ’ 01’ 預(yù)期輸出： 1 －等價類劃分 ③負(fù)號與最高位數(shù)字相臨；輸出合法負(fù)整數(shù)。 輸入： ’ 0’ 預(yù)期輸出： 0 ⑤太小的負(fù)整數(shù)。 輸入： ’123456789’ 預(yù)期輸出： “ 錯誤，無效輸入 ” －等價類劃分 ⑦空字符串。 輸入： ‘q 1478’ 預(yù)期輸出： “ 錯誤：非法填充 ” ⑨最高位右邊也含空格。 輸入： ’ 1a123’ 預(yù)期輸出： “ 錯誤：無效輸入 ” 負(fù)號與最高位間有空格。 －實(shí)例 1 測試用例號 旅館收費(fèi) 被測邊界 預(yù)期輸出 1 2 3 1 0 1 0 錯誤信息 錯誤信息 正確 4 5 6 69 70 71 70 正確 正確 錯誤信息 －實(shí)例 2 ? 假 設(shè) 商 店 貨 品 價 格 (R) 皆 不 大 於 100 元 （ 且 為 整 數(shù) ） ， 若 顧 客 付 款 在 100 元 內(nèi) (P) ， 求 找 給 顧 客 之 最 少 貨幣 個（張） 數(shù) ？ （ 貨 幣 面 值 50 元 (N50) ， 10 元 (N10) ， 5 元 (N5) ， 1 元 (N1) 四 種 ） －實(shí)例 2 ? 分 析 輸 入 的 情 形 – R 100 0 R = 100 R = 0 P 100 R= P = 100 P R －實(shí)例 2 ? 分 析 輸 出 情 形 ? N50 = 1 ? N50 = 0 4 N10 = 1 N10 = 0 N5 = 1 N5 = 0 4 N1 = 1 N1 = 0 －實(shí)例 2 ? RR1,RR2,RR3表