【正文】 錯誤推測法的基本思想：列舉出程序中可能存在的錯誤和容易發(fā)生錯誤的特殊情況，并根據它們選擇測試方案。 ? 對于每個輸出條件按照以上兩個原則確定輸出值的邊界。 ? 若輸入條件規(guī)定了值的范圍，測試用例可選擇 邊界值 ，或者 邊界值的周圍數據 。檢查邊界情況的測試用例是比較高效的，可以查出更多的錯誤。 實踐經驗表明，程序往往在處理邊界情況時發(fā)生錯誤。 測試數據 期望結果 覆蓋范圍 202211 輸入有效 1， 5， 8 ? 步驟 3：為每一個無效等價類至少設計一個測試用例。 輸入等價類 有效等價類 無效等價類 報表日期的類型及長度 1. 6位數字字符 6個數字字符 6個數字字符 年份范圍 2022~2022 之間 2022 2022 月份范圍 1~12之間 0 12 ? 步驟 2：為有效等價類設計測試用例。 ? 步驟 1：劃分等價類并編號。要求用戶輸入的日期為2022年 1月 ~2022年 12月，日期長度為 6位，前 4位表示年代，后 2位表示月份。 4）執(zhí)行所設計的一系列測試用例，分析是否得到預期結果。 ? 等價類劃分法的基本目標： 用一個測試用例能獨立地發(fā)現一類錯誤； 理想情況下，一個測試用例能夠發(fā)現多類錯誤，從而減少測試成本、提高測試效率。 ? 若規(guī)定了輸入數據必須遵循的規(guī)則，可確定一個有效等價類和若干個無效等價類。 如何劃分等價類 ? 若某個輸入條件規(guī)定了取值范圍或值的個數，則可確定一個有效等價類和兩個無效等價類。 如果某個等價類中任選一個測試用例，未發(fā)現程序錯誤，則該類中的其他測試用例，也不會發(fā)現程序錯誤。即如果使用某個等價類中的一個輸入條件，作為測試數據檢測出了錯誤，則用這一等價類中的其它數據進行測試會發(fā)現同樣的錯誤，反之亦然。 因此，可以從每個等價類中只取一組數據作為測試數據，這樣選取的數據最具有代表性，從而減少測試成本和提高測試效率。 測試 方法：等價類劃分法、邊界值分析法、錯誤推測法。 ? 黑盒測試法在接口上也驗證輸入 /輸出信息的正確性。 但如果幾個循環(huán)不是互相獨立的 ， 第二個循環(huán)的執(zhí)行與第一個循環(huán)的某個值有關 ， 則需要使用測試嵌套循環(huán)的辦法來處理 。 ③ 反復進行 ， 直到所有各層循環(huán)測試完畢 。 軟件測試方法 2)嵌套循環(huán) ① 對最內層循環(huán)做簡單循環(huán)的全部測試 ， 所有其它外層的循環(huán)變量置為最小值； ② 逐步外推 ， 對其外面一層循環(huán)進行測試 。 軟件測試方法 循環(huán)測試 根據循環(huán)的復雜性 ， 可分為簡單循環(huán) 、 嵌套循環(huán)和串接循環(huán) 。 條件可能是一個布爾變量 、 一個關系表達式或是由兩個或多個簡單條件 、 布爾運算符和括弧組成的復雜條件 。 listinsert(lc,++k,bj)。 listinsert(lc,++k,ai)。++j。++i。要求寫出其基本路徑測試的步驟。 ++j。++i。 getelem(lb,j,bj)。amp。 lb_len=listlength(lb)。 k=0。lc){ 1: initlist(lc)。 ? ④設計測試用例 確保每一條路徑的執(zhí)行。 三種計算方法： (1) V(G)=P+1， 其中 P為判定結點 (2) V(G)=EN+2， 其中 E為邊數， N為結點數 (3) V(G)為區(qū)域數 ? ③確定獨立路徑的基本集合 ? 一條獨立路徑至少包含有一條在其他獨立路徑中沒有的邊。 稱為 結點 ，代表程序流程圖的每個處理符號； 稱為 邊 或者 路徑 ，表示控制流向。 基本路徑測試的步驟 ? ①畫出程序圖 以詳細設計或源程序為基礎，導出程序流程圖的拓撲結構 程序圖。 總結： 在實際的邏輯覆蓋測試中，一般以 條件組合覆蓋 為主設計測試用例，然后再補充部分用例，以達到 路徑覆蓋 測試標準。 (A1)AND(B=0) (A=2)OR(X1) 語句段 1 語句段 2 T F F T 1 2 3 4 5 軟件測試方法 （ 6）路徑覆蓋： 該覆蓋標準是指設計足夠的測試用例，覆蓋被測程序中所有可能路徑： 該例可選擇以下測試用例，覆蓋程序中的 4條路徑： A=2， B=0， X=2； 覆蓋路徑 124，條件組合① ⑤； A=2， B=1， X=1； 覆蓋路徑 134，條件組合② ⑥； A=1， B=1， X=1； 覆蓋路徑 135，條件組合④ ⑧； A=3， B=0， X=1； 覆蓋路徑 125，條件組合① ⑧； 顯然，該測試滿足路徑覆蓋，但沒有滿足條件組合覆蓋。條件組合覆蓋是較強的覆蓋標準。對該例程序，可選擇以下兩組數據達到判定 /條件覆蓋標準： A=2， B=0， X=3 A=1， B=1， X=1 從表面上看，判定 /條件覆蓋測試了所有條件的取值，但實際上條件組合中的某些條件會抑制其它的條件，如“與”運算的判定表達式中，第一個條件為“假”，則這個表達式后面的幾個條件均不起作用，后面的表達式中的錯誤也就測試不出來。 (A1)AND(B=0) (A=2)OR(X1) 語句段 1 語句段 2 T F F T 1 2 3 4 5 軟件測試方法 （ 4）判定 /條件覆蓋： 該覆蓋標準是指設計足夠的測試用例，使被測程序的每個判定表達式中每個條件的各種可能的值至少出現一次。所以滿足條件覆蓋不一定滿足判定覆蓋。 為滿足上述要求，選擇以下兩組數據： A=2,B=0 ,X=3（ 滿足 A1 ， B=0， A=2 ， X1 通過路徑 124） A=1,B=1, X=1（ 滿足 A≤1， B≠0， X≤1， A≠2通過路徑 135 ） (A1)AND(B=0) (A=2)OR(X1) 語句段 1 語句段 2 T F F T 1 2 3 4 5 軟件測試方法 以上兩組數據不僅覆蓋了判定表達式中的所有條件的可能取值，而且覆蓋了 所有判定的取“真”分支和取“假”分支，在這種情況下條件覆蓋強于判定覆蓋。但該測試仍不充分，上述數據只覆蓋了全部路徑的一半，如將 X1錯寫為 X1,測試不到 . 軟件測試方法 （ 3）條件覆蓋： 條件覆蓋是指設計足夠的測試用例，使被測程序的每個判定表達式中每個條件的各種可能的值至少出現一次。 對于多分支的判定，判定覆蓋要使得每一個判定表達式獲得每一個可能的值。 (A1)AND(B=0) (A=2)OR(X1) 語句段 1 語句段 2 T F F T 1 2 3 4 5 測試路徑為 124， 135或 125，134， 即可達到覆蓋標準。因此語句覆蓋是比較弱的覆蓋。所以測試用例為：A= B=0 、 X=3。語句覆蓋是指設計足夠的測試用例，使被測程序的每個語句至少執(zhí)行一次。 (A1)AND(B=0) (A=2)OR(X1) 語句段 1 語句段 2 T F F T 1 2 3 4 5 如右圖：一個被測程序的流程圖。 軟件測試方法 白盒測試法 白盒測試是結構測試，所以被測對象基本上是源程序，以程序的內部結構為基礎，設計測試用例。 軟件測試方法 軟件測試信息流： 測試 結果 分析 可靠性 分析 排錯 軟件配置 測試配置 測試結果 預期結果 錯誤 出錯率 數據 改正的軟件 預測的可靠性 測試工具 設計 測試用例 準備 測試數據 用測試數據 運行程序 測試結果 分析 測試用例 測試