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