【文章內容簡介】 列出等價類表）和 選取測試用例 兩步。 ? 劃分等價類 等價類是指某個輸入域的子集合。在該子集合中， 各個輸入數據對于揭露程序中的錯誤都是等效的 。測試某等價類的代表值就等價于對這一類其它值的測試。 ? 等價類的劃分有兩種不同的情況： ① 有效等價類 ：是指對于程序的規(guī)格說明來說，是合理的，有意義的輸入數據構成的集合。 ② 無效等價類 ：是指對于程序的規(guī)格說明來說，是不合理的，無意義的輸入數據構成的集合。 ? 在設計測試用例時，要同時考慮有效等價類和無效等價類的設計。 ? 劃分等價類等價類的原則。 (1) 如果輸入條件規(guī)定了取值范圍，或值的個數，則可以確立一個有效等價類和兩個無效等價類。 ? 例如，在程序的規(guī)格說明中，對輸入條件有一句話： ? …… 項數可以從 1到 999 ……” 則有效等價類是? 1≤項數 ≤999” 兩個無效等價類是?項數＜ 1”或?項 數＞ 999”。在數軸上表示成 : (2) 如果輸入條件規(guī)定了輸入值的集合，或者是規(guī)定了? 必須如何 ?的條件，這時可確立一個有效等價類和一個無效等價類 。 ? 例如，在 Pascal語言中對變量標識符規(guī)定為?以字母打頭的 …… 串?。那么所有以字母打頭的構成有效等價類，而不在此集合內（不以字母打頭）的歸于無效等價類。 (3) 如果輸入條件是一個布爾量，則可以確定一個有效等價類和一個無效等價類。 (4) 如果規(guī)定了輸入數據的一組值，而且程序要對每個輸入值分別進行處理。這時可為 每一個輸入值確立一個有效等價類，此外針對這組值確立一個無效等價類，它是所有不允許的輸入值的集合。 ? 例如，在教師上崗方案中規(guī)定對教授、副教授、講師和助教分別計算分數，做相應的處理。因此可以確定 4個有效等價類為教授、副教授、講師和助教，一個無效等價類，它是所有不符合以上身分的人員的輸入值的集合。 (5) 如果規(guī)定了輸入數據必須遵守的規(guī)則，則可以確立一個有效等價類（符合規(guī)則）和若干個無效等價類（從不同角度違反規(guī)則）。 ? 例如， Pascal語言規(guī)定 ?一個語句必須以分號‘ 。’結束?。這時，可以確定一個有效等價類 ?以‘ ?！Y束?，若干個無效等價類 ?以‘ :’結束?、?以‘ ,’結束?、?以‘ ’結束?、?以 LF結束?等。 ? 確立測試用例 在確立了等價類之后，建立等價類表，列出所有劃分出的等價類。 ? 再從劃分出的等價類中按以下原則選擇測試用例： (1) 為每一個等價類規(guī)定一個唯一編號； (2) 設計一個新的測試用例，使其 盡可能多地覆蓋尚未被覆蓋的有效等價類 ，重復這一步，直到所有的有效等價類都被覆蓋為止； （ 3）設計一個新的測試用例，使其 僅覆蓋一個尚未被覆蓋的無效等價類 ，重復這一步，直到所有的無效等價類都被覆蓋為止 。 ? 用等價類劃分法設計測試用例的實例 在某一 PASCAL語言版本中規(guī)定：? 標識符是由字母開頭 ， 后跟字母或數字的任意組合構成 。 有效字符數為 8個 ， 最大字符數為 80個 。? 并且規(guī)定：? 標識符必須先說明 ，再使用 。? ? 在同一說明語句中 ，標識符至少必須有一個 。? 用等價類劃分的方法，建立輸入等價類表 : ? 下面選取了 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； 邊界值分析 ? 邊界值分析也是一種黑盒測試方法，是對等價類劃分方法的補充。 ? 人們從長期的測試工作經驗得知，大量的錯誤是發(fā)生在輸入或輸出范圍的邊界上，而不是在輸入范圍的內部 。因此針對各種邊界情況設計測試用例， 可以查出更多的錯誤 。 ? 比如，在做三角形計算時，要輸入三角形的三個邊長： A、 B和 C。 我們應注意到這三個數值應當滿足 A＞ 0、 B＞ 0、 C＞ 0、 A＋ B＞ C、 A＋ C＞ B、 B＋ C＞ A，才能構成三角形。但如果把六個不等式中的任何一個大于號?＞?錯寫成大于等于號? ≥?，那就不能構成三角形。問題恰出現在容易被疏忽的邊界附近。 ? 這里所說的邊界是指，相當于輸入等價類和輸出等價類而言，稍高于其邊界值及稍低于其邊界值的一些特定情況。 ? 使用邊界值分析方法設計測試用例，首先應確定邊界情況。 應當選取正好等于，剛剛大于，或剛剛小于邊界的值做為測試數據 ，而不是選取等價類中的典型值或任意值做為測試數據。 錯誤推測法 ? 人們也可以靠經驗和直覺推測程序中可能存在的各種錯誤，從而有針對性地編寫檢查這些錯誤的例子。這就是錯誤推測法。 ? 錯誤推測法的基本想法是： 列舉出程序中所有可能有的錯誤和容易發(fā)生錯誤的特殊情況，根據它們選擇測試用例 。 因果圖 ? 因果圖的適用范圍 如果在測試時必須考慮 輸入條件的各種組合 ，可使用一種適合于描述對于多種條件的組合，相應產生多個動作的形式來設計測試用例，這就需要利用因果圖。 因果圖方法最終生成的就是判定表。它適合于檢查程序輸入條件的各種組合情況。 ? 用因果圖生成測試用例的基本步驟 (1) 分析軟件規(guī)格說明描述中，哪些是原因 (即輸入條件或輸入條件的等價類 )，哪些是結果 (即輸出條件 )，并給每個原因和結果賦予一個標識符。 (2) 分析軟件規(guī)格說明描述中的語義，找出原因與結果之間，原因與原因之間對應的是什么關系 ? 根據這些關系，畫出因果圖。 (3) 由于語法或環(huán)境限制，有些原因與原因之間，原因與結果之間的組合情況不可能出現。為表明這些特殊情況，在因果圖上用一些記號標明約束或限制條件。 (4) 把因果圖轉換成判定表。 (5) 把判定表的每一列拿出來作為依據，設計測試用例。 ? 在因果圖中出現的基本符號 通常在因果圖中用 Ci表示原因，用Ei表示結果，各結點表示狀態(tài)，可取值? 0”或? 1”。? 0”表示某狀態(tài)不出現，? 1”表示某狀態(tài)出現。 ? 主要的原因和結果之間的關系有 : ? 表示約束條件的符號 為了表示原因與原因之間，結果與結果之間可能存在的約束條件，在因果圖中可以附加一些表示約束條件的符號。 ? 例如，有一個處理單價為 5角錢的飲料的自動售貨機軟件測試用例的設計。其規(guī)格說明如下： 若 投入 5角錢或 1元錢的硬幣 ， 押下〖 橙汁 〗 或 〖 啤酒 〗 的按鈕，則相應的飲料就送出來。若售貨機 沒有零錢找 ，則一個顯示 〖 零錢找完 〗的紅燈亮，這時在投入 1元硬幣并押下按鈕后，飲料不送出來而且 1元硬幣也退出來；若 有零錢找 ，則顯示〖 零錢找完 〗 的紅燈滅，在送出飲料的同時退還 5角硬幣。? (1) 分析這一段說明，列出原因和結果 原因 : 1. 售貨機有零錢找 2. 投入 1元硬幣 3. 投入 5角硬幣 4. 押下橙汁按鈕 5. 押下啤酒按鈕 建立中間結點，表示處理中間狀態(tài) 11. 投入 1元硬幣且押下飲料按鈕 12. 押下 〖 橙汁 〗 或 〖 啤酒 〗 的按鈕 13. 應當找 5角零錢并且售貨機有零錢找 14. 錢已付清 結果： 21. 售貨機 〖 零錢找完 〗 燈亮 22. 退還 1元硬幣 23. 退還 5角硬幣 24. 送出橙汁飲料 25. 送出啤酒飲料 (2) 畫出因果圖。所有原因結點列在左 邊，所有結果結點列在右邊。 (3) 由于 2 與 3 ， 4 與 5 不能同時發(fā)生， 分別加上約束條件 E。 (4) 因果圖 ? (5) 轉換成判定表 軟件測試的策略 ? 測試過程按 4個步驟進行，即 單元測試 、 組裝測試 、 確認測試 和 系統(tǒng)測試 。 ? 開始是 單元測試 ，集中對用源代碼實現的每一個程序單元進行測試，檢查各個程序模塊是否正確地實現了規(guī)定的功能。 ? 組裝測試 把已測試過的模塊組裝起來，主要對與設計相關的軟件體系結構的構造進行測試。 ? 確認測試 則是要檢查已實現的軟件是否滿足了需求規(guī)格說明中確定了的各種需求，以及軟件配置是否完全、正確。 ? 系統(tǒng)測試 把已經經過確認的軟件納入實際運行環(huán)境中，與其它系統(tǒng)成份組合在一起進行測試。 單元測試 (Unit Testing) ? 單元測試又稱模塊測試， 是針對軟件設計的最小單位 ─ 程序模塊 ， 進行正確性檢驗 的測試工作。其目的在于發(fā)現各模塊內部可能存在的各種差錯。 ? 單元測試需要 從程序的內部結構出發(fā)設計測試用例 。多個模塊可以平行地獨立進行單元測試。 1. 單元測試的內容 ? 在單元測試時，測試者需要依據詳細設計說明書和源程序清單，了解該模塊的 I/O條件和模塊的邏輯結構，主要采用白盒測試的測試用例，輔之以黑盒測試的測試用例，使之對任何合理的輸入和不合理的輸入，都能鑒別和響應。 (1) 模塊接口測試 ? 在單元測試的開始，應對 通過被測模塊的數據流 進行測試。測試項目包括： ? 調用本模塊的輸入參數是否正確； ? 本模塊調用子模塊時輸入給子模塊的參數是否正確； ? 全局量的定義在各模塊中是否一致； ? 在做 內外存交換 時要考慮： ? 文件屬性是否正確； ? OPEN與 CLOSE語句是否正確； ? 緩沖區(qū)容量與記錄長度是