【正文】 測試便是失敗的。 自動化測試前提條件 實施自動化測試之前需要對軟件開發(fā)過程進行 分析，以觀察其是否適合使用自動化測試。通常，在設(shè)計了測試用例并通過評審之后，由測試人員根據(jù)測試用例中描述的規(guī)程一步步執(zhí)行測試，得到實際結(jié)果與期望結(jié)果的比較。這種方法比數(shù)值計算復(fù)雜得多，易出錯，又不適于非數(shù)值計算，故使用較少 。此方法便于分析編碼實現(xiàn)與測試結(jié)果分析。此方法能找出典型程序 30%~70%有關(guān)邏輯設(shè)計與編碼的錯誤。靜態(tài)測試結(jié)果可用于進一步的查錯， 并為測試用例選取提供指導(dǎo)。對需求規(guī)格說明書、軟件設(shè)計說明書、源程序做結(jié)構(gòu)分析、流程圖分析、符號執(zhí)行來找錯。一般的在測試工作中測試人員通常不會單獨操作某個黑盒測試方法，而是在每個測試項目中都會用 到很多方法的所以我們在以后的測試工作中一定要發(fā)揮各種測試方法的特點綜合運用已達到測試要求。⑦ 分析規(guī)格說明，找出其他可能的邊界條件。⑤ 如果程序的規(guī)格說明給出的輸入域或輸出域是有序集合，則應(yīng)選取集合的第一個元素和最后一個元素作為測試用例。 ○ 3 根據(jù)規(guī)格說明的每個輸出 第二章 軟件測試基本技術(shù) 29 條件，使用前面的原則①。 對邊界值設(shè)計測試用例，應(yīng)遵循以下幾條原則： ○ 1 如果輸入條件規(guī)定了值的范圍，則應(yīng)取剛達到這個范圍的邊界的值，以及剛剛超越這個范圍邊界的值作為測試輸入數(shù)據(jù)。實踐證明，為檢驗邊界附近的處理專門設(shè)計測試用例，常常取得良好的測試效果。 因為這些值通常在軟件中進行特殊處理，所以不要把它們與合法情況和非法情況混在一起，而要建立單獨的等價區(qū)間。 如果測試進行文本輸入或文本轉(zhuǎn)換的軟件，在定義數(shù)據(jù)區(qū)間包含哪些值時，參考一下 ASCII 表是明智的。小寫字母對應(yīng) 97～ 122。斜杠字符（ /）在數(shù)字 0 的前面，而冒號字符“：”在數(shù)字 9 的后面。 96 A 65 { 123 注意，表 不是結(jié)構(gòu)良好的連續(xù)表。如表 ASCII值表的清單。 軟件測試方法與 測試過程的分析與研究 28 ASCII表。 尋找這樣的邊界不要求軟件測試員具有程序員那樣閱讀源代碼的能力，但是要求大體了解軟件的工作方式。而有些邊界在軟件內(nèi)部，最終用戶幾乎看不到，但是軟件測試仍有必要檢查。上面討論的普通邊界條件是最容易找到的。諸如此類的問題很常見，在復(fù)雜的大型軟件中，可能導(dǎo)致極其嚴重的軟件缺陷。程序執(zhí)行完畢，數(shù)組值如下： data(0)= 0 data(6)= – 1 data(1)= – 1 data(7)= – 1 data(2)= – 1 data(8)= – 1 data(3)= – 1 data(9)= – 1 data(4)= – 1 data(10)= – 1 data(5)= – 1 注意 data（ 0）的值是 0，而不是 – 1。該程序?qū)嶋H上創(chuàng)建了一個從 data（ 0）～ data（ 10）共 11 個元素的數(shù)組。 For 循環(huán)是從 1～ 10， 數(shù)組中從第 1 個元素到第 10 個元素被賦予數(shù)值 – 1。看起來相當(dāng)簡單。下面的一段源代碼說明了在一個極簡單的程序中是如何產(chǎn)生邊界條件問題的。 邊界條件是特殊情況，因為編程從根本上說不懷疑邊界有問題。我們可以想象一下，如果在懸崖峭壁邊可以自信地安全行走，平地就不在話下了。這里所說的邊界是指相當(dāng)于輸入等價類和輸出等價類而言，稍高于其邊界值及稍低于其邊界值的一些特定情況。但如果把 6 個不等式中的任何一個大于號“ ”錯寫成大于等于號“≥”，那就不能構(gòu)成三角形。例如 ，在做三角形計算時，要輸入三角形的 3 個邊長 A、 B 和軟件測試方法與 測試過程的分析與研究 26 C。 2. 黑盒測試之邊界值分析法 人們從長期的測試工作經(jīng)驗得知，大量的錯誤是發(fā)生在輸入或輸出范圍的邊界上的，而不是在輸入范圍的內(nèi)部。測試同一個復(fù)雜程序的兩個軟件測試員，可能會制定出兩組不同的等價區(qū)間。 關(guān)于等價分配最后要講的一點是，這樣做有可能不客觀。 表 等價類表 輸 入 條 件 有效等價類 無效等價類 是否三角形的 3條邊 （ A0）， （ 1） （ B0）， （ 2） （ C0）， （ 3） （ A+BC）， （ 4） （ B+CA）， （ 5） （ A+CB） （ 6） （ A≤ 0）， （ 7） （ B≤ 0）， （ 8） （ C≤ 0）， （ 9） （ A+B≤ C）， （ 10） （ B+C≤ A）， （ 11） （ A+C≤ B） （ 12） 是否等腰三角形 （ A=B）， （ 13） （ B=C）， （ 14） （ C=A）， （ 15） （ A≠ B） and（ B≠ C） and（ C≠ A）， （ 16） 是否等邊三角形 （ A=B） and（ B=C） and（ C=A）， （ 17） （ A≠ B）， （ 18） （ B≠ C）， （ 19） （ C≠ A）， （ 20） 第二章 軟件測試基本技術(shù) 25 表 測試用例列表 序號 【 A， B， C】 覆蓋等價類 輸 出 1 【 3， 4， 5】 （ 1），（ 2）， （ 3），（ 4），（ 5），（ 6） 一般三角形 2 【 0， 1， 2】 （ 7） 不能構(gòu)成三角形 3 【 1， 0， 2】 （ 8） 4 【 1， 2， 0】 （ 9） 5 【 1， 2， 3】 （ 10） 6 【 1， 3， 2】 （ 11） 7 【 3， 1， 2】 （ 12） 8 【 3， 3， 4】 （ 1），（ 2），（ 3），（ 4），（ 5），（ 6），（ 13） 等腰三角形 9 【 3， 4， 4】 （ 1），（ 2），（ 3），（ 4），（ 5），（ 6），（ 14） 10 【 3， 4， 3】 （ 1），（ 2），（ 3），（ 4），（ 5），（ 6），（ 15） 11 【 3， 4， 5】 （ 1），（ 2），（ 3），（ 4），（ 5），（ 6），（ 16） 非等腰三角形 12 【 3， 3， 3】 （ 1），（ 2），（ 3），（ 4），（ 5），（ 6），（ 17） 是等邊三角形 13 【 3， 4， 4】 （ 1），（ 2），（ 3），（ 4），（ 5），（ 6），（ 14），（ 18） 非等邊三角形 14 【 3， 4， 3】 （ 1），（ 2），（ 3），（ 4），（ 5），（ 6），（ 15），（ 19） 15 【 3， 3， 4】 （ 1），（ 2），（ 3），（ 4），（ 5），（ 6），（ 13），（ 20） 請記住，等價分配的 目標是把可能的測試用例組合縮減到仍然足以滿足軟件測試需求為止。 列出等價類表， 如表 所示。 如果是等腰的，還要判斷 A=B，或 B=C，或 A=C。 我們可以設(shè)三角形的 3 條邊分別為 A， B， C?！耙粋€程序讀入 3 個整數(shù)，把這 3 個數(shù)值看作一個三角形的 3 條邊的長度值。因為軟件操作可能不同，所以 這兩個用例屬于不同的等價區(qū)間。程序?qū)?1 和最大數(shù)值相加的處理和對兩個小一些的數(shù)值相加的處理軟件測試方法與 測試過程的分析與研究 24 有所不同。請看一些例子，在兩數(shù)相加用例中，測試 1+13 和 1+99999999似乎有點不同。 在尋找等價區(qū)間時，想辦法把軟件的相似輸入、輸出、操作分成組。 ○ 3 設(shè)計一個新的測試用例，使其只覆蓋一個無效等價類。 ○ 2 設(shè)計一個新的測試用例，使其盡可能多地覆蓋尚未覆蓋的有效等價類。 在確立了等價類之后，建立等價類表，列出所有劃分出的等價類 表 所示。 ○ 5 在規(guī)定了輸入數(shù)據(jù)必須遵守的規(guī)則的情況下，可確立一個有效等價類（符合規(guī)則）和若干個無效等價類（從不同角度違反規(guī)則）。 ○ 3 在輸入條件是一個布爾量的情況下，可確定一個有效等價類和一個無效等價類。 下面給出 6 條確定等價類的原則： ○ 1 在輸入條件規(guī)定了取值范圍或值的個數(shù)的情況下，可以確立一個有效等價類和兩個無效等價類。因為軟件不僅要能接收合理的數(shù)據(jù)，也要能經(jīng)受意外的考驗。 無效等價類：與有效等價類的定義恰巧相反。 有效等價類：指對于程序的規(guī)格說明來說是合理 的、有意義的輸入數(shù)據(jù)構(gòu)成的集合。 因此，可以把全部輸入數(shù)據(jù)合理地劃分為若干等價類，在每一個等價類中取一個數(shù)據(jù)作為測試的輸入條件，就可以用少量代表性的測試數(shù)據(jù)取得較好的測試結(jié)果。在該子集合中，各個輸入數(shù)據(jù)對于揭露程序中的錯誤都是等效的。使用這一方法設(shè)計測試用例，首先必須在分析需求規(guī)格說明的基礎(chǔ)上劃分等價類，列出等價類表。 等價類劃分的辦法是把程序的輸入域劃分成若干部分，然后從每個部分中選取少數(shù)代表性數(shù)據(jù)作為測試用例。我們必須仔細分析和推敲說明書的各項需求，特別是功能需求。具體的黑盒測試用例設(shè)計方法包括等價類劃分法、邊界值分析法、錯誤推測法、因果圖法、判定表驅(qū)動法、正交試驗設(shè)計法、功能圖法等。這樣看來 ，完全測試是不可能的，所以我們要進行有針對性的測試，通過制定測試案例指導(dǎo)測試的實施，保證軟件測試有組織、按步驟，以及有計劃地進行。 從理論上講，黑盒測試只有采用窮舉輸入測試，把所有可能的輸入都作為測試情況考慮，才能查出程序中所有的錯誤。黑盒測試著眼于程序外部結(jié)構(gòu)，不考慮內(nèi)部邏輯結(jié)構(gòu)，主要針對軟件界面和軟件功能進行測試。 黑盒測試技術(shù) 黑盒測試技術(shù)概述 黑盒測試也稱功能測試，它是通過測試來檢測每個功能是否都能正常使用。 白盒測試作為軟件質(zhì)量保證中的重要一環(huán)，對產(chǎn)品穩(wěn)定性起到至關(guān)重要的影響，不幸的是，由于實施白盒測試有較高技術(shù)難度，該軟件過程常被廠商忽略，因為難于實施，所以容易失敗，失敗后產(chǎn)生畏懼心理，就更不愿意進一步去嘗試，如此形成惡性循環(huán)。 如果兩個循環(huán)串接，而且第一個循環(huán)的循環(huán)計數(shù)器值是第二個循環(huán)的初始值，則這兩個循環(huán)并不是獨立的。 提出了一種能減少測試數(shù)的方法。 while(i≤ n){ …… i=i+1。 【例】 n=k。 簡單循環(huán) 嵌套循環(huán) 串接循環(huán) 第二章 軟件測試基本技術(shù) 19 〃 通過循環(huán) m 次，其中 m＜ n1。 〃 只通過循環(huán)一次。 （ 1）簡單循環(huán) 應(yīng)該使用下列測試集來測試簡單循環(huán)，其中 n 是允許通過循環(huán)的最大次數(shù)。在結(jié)構(gòu)化的程序中通常只有三種循環(huán)，分別是簡單循環(huán)、串 接循環(huán)和嵌套循環(huán)，如圖 所示。 軟件測試方法與 測試過程的分析與研究 18 在實際的邏輯測試中，一般以條件組合覆蓋為主設(shè)計測試用例，然后補充測試用例，達到路徑覆蓋。 a≠ 2,x≤ 1 以下 4 組測試用例可以滿足條件組合覆蓋： ① a=2， b=0， x=2 ② a=2， b=1， x=1 ③ a=1， b=0， x=2 ④ a=1， b=1， x=1 （ 6）路徑覆蓋 覆蓋所有可能 的路徑，以下 4 組測試用例可以路徑覆蓋： ① a=2， b=0， x=2 ② a=2， b=1， x=1 ③ a=1， b=1， x=1 ④ a=1， b=0， x=2 但不能覆蓋 a≤ 1， b=0 和 a≠ 2， x1。 a=2, x≤ 1。 a≤ 1, b=0。 兩個判定表達式共有四個條件，因此有 8 種組合： a1, b=0。 選擇兩組測試用例： a=2， b=0， x=3(使 a1,b=0,a=2,x1 和 (a1)AND(b=0)， (a=2)OR(x1)為真 第二章 軟件測試基本技術(shù) 17 a=1， b=1， x=1(使 a1,b=0,a=2,x1 和 (a1)AND(b=0)， (a=2)OR(x1)為假 注意：若將 b=0 寫為 b≠ 0，而 a1 為假， x1 寫為 x≤ 1，而 a=2 為真，就 測試不出來。 （ 4）判定 /條件覆蓋 既然判定覆蓋不一定包含條件覆蓋，條件覆蓋也不一定包含判定覆蓋，自然會提出一種能同時滿足這兩種覆蓋標準的邏輯覆蓋，這就是判定 /條件覆蓋。上述兩個判定表達式中有 4 個條件： a1, b=0, a=2, x1 選擇兩組測試數(shù)據(jù)： a=2， b=0， x=3 (使 a1， b=0， a=2， x1 為真，通過路徑 14567) a=1， b=1， x=1 (使 a1， b=0， a=2， x1 為假，通過路徑 123) 選擇另外兩組測試數(shù)據(jù)： a=1， b=0， x=3 (使 b=0， x1 為真， a1， a=2 為假，通過路徑 1267) a=2， b=1， x=1 (使 b=0， x1 為假， a1， a=2 為真，通過路徑 1267) 這兩組測