【文章內(nèi)容簡介】 p1 p2 p3 s1 s2 s3 s4 s5 s6 p1 p2 p3 ?對于連鎖型分支結(jié)構(gòu)，當(dāng) n 較大時將無法測試。 ?為減少測試用例的數(shù)目，可采用 試驗設(shè)計法 ， 抽取部分路徑進(jìn)行測試 。 ?這樣，測試路徑數(shù)目從 23＝ 8條減少到 3＋ 1＝ 4條。 L4 0 0 0 1 0 1 0 1 1 1 1 0 1 2 3 1 2 3 4 用例 s1 s3 s5 s2 s3 s6 s1 s4 s6 s2 s4 s5 p1 p2 p3 1 2 3 4 s1 – s3 – s5 s2 – s3 – s6 s1 – s4 – s6 s2 – s4 – s5 路 徑 s1 s3 s5 p1 p2 p3 s2 s3 s6 p1 p2 p3 s1 s4 s6 p1 p2 p3 s2 s4 s5 p1 p2 p3 循環(huán)結(jié)構(gòu)分析 ? 循環(huán)分為 4種不同類型： 簡單循環(huán) 、 連鎖循環(huán) 、嵌套循環(huán) 和 非結(jié)構(gòu)循環(huán) 。 (1) 簡單循環(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)。 基本路徑測試 ? 基本路徑測試方法把覆蓋的路徑數(shù)壓縮到一定限度內(nèi)，程序中的循環(huán)體最多只執(zhí)行一次。 ? 它是在程序控制流圖的基礎(chǔ)上，分析控制構(gòu)造的環(huán)路復(fù)雜性，導(dǎo)出基本可執(zhí)行路徑集合，設(shè)計測試用例的方法。設(shè)計出的測試用例要保證在測試中，程序的每一個可執(zhí)行語句至少要執(zhí)行一次。 程序的控制流圖 ? 符號○為控制流圖的一個結(jié)點，表示一個或多個無分支的 PDL語句或源程序語句。箭頭為邊，表示控制流的方向。 ? 在選擇或多分支結(jié)構(gòu)中，分支的匯聚處應(yīng)有一個匯聚結(jié)點。 ? 邊和結(jié)點圈定的區(qū)域叫做區(qū)域，當(dāng)對區(qū)域計數(shù)時，圖形外的區(qū)域也應(yīng)記為一個區(qū)域。 ? 如果判斷中的條件表達(dá)式是由一個或多個邏輯運算符 (OR, AND, ...) 連接的復(fù)合條件表達(dá)式，則需改為 一系列只有單個條件的嵌套的判斷。 等價類劃分 ? 等價類劃分是一種典型的黑盒測試方法，使用這一方法時，完全不考慮程序的內(nèi)部結(jié)構(gòu)，只依據(jù)程序的規(guī)格說明來設(shè)計測試用例。 ? 等價類劃分方法把所有可能的輸入數(shù)據(jù)，即程序的輸入域劃分成若干部分，然后從每一部分中選取少數(shù)有代表性的數(shù)據(jù)做為測試用例。 ? 使用這一方法設(shè)計測試用例要經(jīng)歷劃分等價類（列出等價類表）和選取測試用例兩步。 (1) 劃分等價類 等價類是指某個輸入域的子集合。在該子集合中，各個輸入數(shù)據(jù)對于揭露程序中的錯誤都是等效的。測試某等價類的代表值就等價于對這一類其他值的測試。 ? 等價類的劃分有兩種不同的情況： ① 有效等價類：是指對于程序的規(guī)格說明來說，是合理的，有意義的輸入數(shù)據(jù)構(gòu)成的集合。 ② 無效等價類：是指對于程序的規(guī)格說明來說，是不合理的，無意義的輸入數(shù)據(jù)構(gòu)成的集合。 ? 在設(shè)計測試用例時，要同時考慮有效等價類和無效等價類的設(shè)計。 ? 劃分等價類等價類的原則。 1) 如果輸入條件規(guī)定了取值范圍，或值的個數(shù)，則可以確立一個有效等價類和兩個無效等價類。 例如，在程序的規(guī)格說明中，對輸入條件有一句話： ? …… 項數(shù)可以從 1到 999 ……? 則有效等價類是? 1≤ 項數(shù) ≤ 999? 兩個無效等價類是?項數(shù)＜ 1? 或?項數(shù)＞999? 。 在數(shù)軸上表示成 : 2) 如果輸入條件規(guī)定了輸入值的集合，或者是規(guī)定了?必須如何?的條件，這時可確立一個有效等價類和一個無效等價類。 例如，在 Pascal語言中對變量標(biāo)識符規(guī)定為?以字母打頭的 …… 串?。那么所有以字母打頭的構(gòu)成有效等價類，而不在此集合內(nèi)（不以字母打頭）的歸于無效等價類。 3) 如果輸入條件是一個布爾量，則可以確定一個有效等價類和一個無效等價類。 4) 如果規(guī)定了輸入數(shù)據(jù)的一組值，而且程序要對每個輸入值分別進(jìn)行處理。這時可為 每一個輸入值確立一個有效等價類，此外針對這組值確立一個無效等價類，它是所有不允許的輸入值的集合。 例如，在教師上崗方案中規(guī)定對教授、副教授、講師和助教分別計算分?jǐn)?shù)，做相應(yīng)的處理。因此可以確定 4個有效等價類為教授、副教授、講師和助教，一個無效等價類，它是所有不符合以上身分的人員的輸入值的集合。 5) 如果規(guī)定了輸入數(shù)據(jù)必須遵守的規(guī)則，則可以確立一個有效等價類（符合規(guī)則）和若干個無效等價類（從不同角度違反規(guī)則）。 例如， Pascal語言規(guī)定 ?一個語句必須以分號‘ ?！Y(jié)束?。這時可以確定一個有效等價類 ?以‘ ?！?結(jié)束?，若干個無效等價類 ?以‘ :’ 結(jié)束?、?以‘ ,’結(jié)束?、?以‘ ’結(jié)束?、?以 LF結(jié)束?等。 (2) 確立測試用例 在確立了等價類之后，建立 等價類 表，列出所有劃分出的等價類。 ? 再從劃分出的等價類中按以下原則選擇測試用例： 1) 為每一個等價類規(guī)定一個唯一編號； 2) 設(shè)計一個新的測試用例，使其盡可能多地覆蓋尚未被覆蓋的有效等價類，重復(fù)這一步，直到所有的有效等價類都被覆蓋為止； 3) 設(shè)計一個新的測試用例，使其僅覆蓋一個尚未被覆蓋的無效等價類，重復(fù)這一步，直到所有的無效等價類都被覆蓋為止。 ? 用等價類劃分法設(shè)計測試用例的實例 在某一 PASCAL語言版本中規(guī)定： ?標(biāo)識符是由字母開頭，后跟字母或數(shù)字的任意組合構(gòu)成。有效字符數(shù)為 8個，最大字符數(shù)為 80個。? 并且規(guī)定：?標(biāo)識符必須先說明，再使用。? ?在同一說明語句中，標(biāo)識符至少必須有一個。? 用等價類劃分方法，建立輸入等價類表 : ? 下面選取了 9 個測試用例，它們覆蓋了所有的等價類。 ① VAR x， T1234567： REAL； BEGIN x := ； T1234567 := ； ...… (1), (2), (4), (8), (9), (12), (14) ② VAR ： REAL； (3) ③ VAR x，： REAL。 (5) ④ VAR T12345678： REAL； (6) ⑤ VAR T12345......： REAL； (7) 多于 80個字符 ⑥ VAR T$： CHAR； (10) ⑦ VAR GOTO： INTEGER； (11) ⑧ VAR 2T： REAL； (13) ⑨ VAR PAR： REAL； (15) BEGIN ...... PAP := SIN ( * ) / 6； 邊界值分析 ? 邊界值分析也是一種黑盒測試方法，是對等價類劃分方法的補(bǔ)充。 ? 人們從長期的測試工作經(jīng)驗得知，大量的錯誤是發(fā)生在輸入或輸出范圍的邊界上，而不是在輸入范圍的內(nèi)部。因此針對各種邊界情況設(shè)計測試用例，可以查出更多的錯誤。 ? 比如，在做三角形計算時，要輸入三角形的三個邊長： A、 B和 C。 我們應(yīng)注意到這三個數(shù)值應(yīng)當(dāng)滿足 A＞ 0、 B＞ 0、 C＞ 0、 A＋ B＞ C、 A＋ C＞ B、 B＋ C＞ A，才能構(gòu)成三角形。但如果把六個不等式中的任何一個大于號?＞?錯寫成大于等于號? ≥ ?，那就不能構(gòu)成三角形。問題恰出現(xiàn)在容易被疏忽的邊界附近。 ? 這里所說的邊界是指，相當(dāng)于輸入等價類和輸出等價類而言，稍高于其邊界值及稍低于其邊界值的一些特定情況。 ? 使用邊界值分析方法設(shè)計測試用例，首先應(yīng)確定邊界情況。應(yīng)當(dāng)選取正好等于，剛剛大于，或剛剛小于邊界的值做為測試數(shù)據(jù)，而不是選取等價類中的典型值或任意值做為測試數(shù)據(jù)。 錯誤推測法 ? 人們也可以靠經(jīng)驗和直覺推測程序中可能存在的各種錯誤，從而有針對性地編寫檢查這些錯誤的例子。這就是錯誤推測法。 ? 錯誤推測法的基本想法是：列舉出程序中所有可能有的錯誤和容易發(fā)生錯誤的特殊情況，根據(jù)它們選擇測試用例。 因果圖 ? 因果圖的適用范圍 如果在測試時必須考慮輸入條件的各種組合，可使用一種適合于描述對于多種條件的組合，相應(yīng)產(chǎn)生多個動作的形式來設(shè)計測試用例，這就需要利用因果圖。 因果圖方法最終生成的就是判定表。它適合于檢查程序輸入條件的各種組合情況。 ? 用因果圖生成測試用例的基本步驟 1) 分析軟件規(guī)格說明描述中，哪些是原因 (即輸入條件或輸入條件的等價類 )，哪些是結(jié)果 (即輸出條件 )，并給每個原因和結(jié)果賦予一個標(biāo)識符。 2) 分析軟件規(guī)格說明描述的語義，找出原因與結(jié)果之間，原因與原因之間對應(yīng)的關(guān)系 ? 根據(jù)這些關(guān)系，畫出因果圖。 3) 由于語法或環(huán)境限制 , 有些原因與原因之間，原因與結(jié)果之間的組合情況不可能出現(xiàn)。為表明這些特殊情況，在因果圖上用一些記號標(biāo)明約束或限制條件。 4) 把因果圖轉(zhuǎn)換成判定表。 5) 把判定表的每一列拿出來作為依據(jù)，設(shè)計測試用例。 ? 在因果圖中出現(xiàn)的基本符號 通常在因果圖中用 Ci表示原因，用 Ei表示結(jié)果，各結(jié)點表示狀態(tài)，可取值 ? 0? 或? 1? 。? 0?表示某狀態(tài)不出現(xiàn)，? 1? 表示某狀態(tài)出現(xiàn)。 ? 主要的原因和結(jié)果之間的關(guān)系有 : ? 表示約束條件的符號 為了表示原因與原因之間，結(jié)果與結(jié)果之間可能存在的約束條件，在因果圖中可以附加一些表示約束條件的符號。 例如，有一個處理單價為 5角錢的飲料的自動售貨機(jī)軟件測試用例的設(shè)計。其規(guī)格說明如下： 若投入 5角錢或 1元錢的硬幣，押下 〖 橙汁 〗 或〖 啤酒 〗 的按鈕，則相應(yīng)的飲料就送出來。若售貨機(jī)沒有零錢找，則一個顯示 〖 零錢找完 〗的紅燈亮，這時在投入 1元硬幣并押下按鈕后，飲料不送出來而且 1元硬幣也退出來；若有零錢找，則顯示 〖 零錢找完 〗 的紅燈滅，在送出飲料的同時退還 5角硬幣。? 1) 分析這一段說明，列出原因和結(jié)果 原因 : 1. 售貨機(jī)有零錢找 2. 投入 1元硬幣 3. 投入 5角硬幣 4. 押下橙汁按鈕 5. 押下啤酒按鈕 建立中間結(jié)點，表示處理中間狀態(tài) 11. 投入 1元硬幣且押下飲料按鈕 12. 押下 〖 橙汁 〗 或 〖 啤酒 〗 的按鈕 13. 應(yīng)當(dāng)找 5角零錢并且售貨機(jī)有零錢找 14. 錢已付清 結(jié)果： 21. 售貨機(jī) 〖 零錢找完 〗 燈亮 22. 退還 1元硬幣 23. 退還 5角硬幣 24. 送出橙汁飲料 25. 送出啤酒飲料 2) 畫出因果圖。 所有原因結(jié)點列在左 邊，所有結(jié)果結(jié)點列在右邊