[計算機]第8章 軟件測試-文庫吧
2024-09-30 13:16 本頁面
【正文】 白盒測試也稱為 結構測試 ，通過分析程序的 內部的邏輯與執(zhí)行路徑 來設計測試用例，并對用例進行測試的方法。被測對象基本上是源程序。 軟件測試方法 為了選用高產的測試數據集，做盡可能完備的測試，可以參考以下一些 基本的測試原則 ： 1）保證程序模塊中每一個獨立的路徑至少測試一次； 2）保證所有判斷的每一個分支至少測試一次； 3）保證每一個循環(huán)都在邊界條件和一般條件下至少測試一次； 4）測試所有內部數據結構的有效性。 軟件測試方法 介紹幾種用白盒法測試時選擇測試用例的方法： 邏輯覆蓋 以程序內部的邏輯結構為基礎來設計測試用例 ，即以程序流程圖為依據 來設計測試用例。重點考察圖中的菱形框的內容，即 判定條件 ，因為判定條件通常與條件結構及循環(huán)結構聯系在一起。 軟件測試方法 根據覆蓋標準不同，邏輯覆蓋可以分為以下幾類： ?語句覆蓋 ?判定覆蓋 ?條件覆蓋 ?判定 /條件覆蓋 ?條件組合覆蓋 軟件測試方法 下面通過以下例子分別講述每種覆蓋： 例： C語言程序代碼如下： Float X。 Example (float A,B) { if((A＞ 1)amp。amp。(B==0)) X=X/A。 if((A==2)||(X＞ 1)) X=X+1。 } 軟件測試方法 常用的覆蓋技術有： （ 1）語句覆蓋： 為了提高發(fā)現錯誤的可能性，在測試時應該執(zhí)行到程序中的每一個語句。語句覆蓋是指設計足夠的測試用例，使被測程序的每個語句至少執(zhí)行一次。 (A1)AND(B=0) (A=2)OR(X1) X=X/A X=X+1 T F F T 1 2 3 4 5 測試路徑為 124，即可保證每個語句至少執(zhí)行一次。所以測試用例為：A= B=0 、 X=3。 程序每個語句都能執(zhí)行，語句覆蓋似乎全面地檢查了每個語句，但該測試用例只檢查了邏輯表達式為“真”的情況，如將“ AND” 錯寫為“ OR ”、 X1錯寫為 X1,仍用上面的測試用例 ,不能發(fā)現錯誤。因此語句覆蓋是比較弱的覆蓋。 軟件測試方法 常用的覆蓋技術有： （ 2）判定覆蓋： 判定覆蓋是指設計足夠的測試用例，使被測程序的每個判定表達式至少獲得一次“真”和“假”值，從而使程序的每個分支至少都通過一次，所以判定覆蓋又叫分支覆蓋。 測試路徑只要 124， 135或 125，134即可達到覆蓋標準。所以測試用例為： A= B=0 、 X=1（ 125）， A= B= X=2（ 134）。 對于多分支的判定，判定覆蓋要使得每一個判定表達式獲得每一個可能的值。判定覆蓋比語句覆蓋嚴格，若通過各個分支，各個語句也執(zhí)行了。但該測試仍不充分，上述數據只覆蓋了全部路徑的一半，如將 X1錯寫為 X1,測試不到 . (A1)AND(B=0) (A=2)OR(X1) X=X/A X=X+1 T F F T 1 2 3 4 5 軟件測試方法 常用的覆蓋技術有： （ 3）條件覆蓋： 條件覆蓋是指設計足夠的測試用例，使被測程序的每個判定表達式中每個條件的各種可能的值至少出現一次。即對該程序中的四個條件 A1 B=o A=2,X1 要選擇足夠的測試用例，使得： 判定表達式 1出現： A1， B=0； A≤1， B≠0 判定表達式 2出現： A=2， X1； A≠2， X1 達到條件覆蓋標準。 為滿足上述要求，選擇以下兩組數據： 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 ） 軟件測試方法 常用的覆蓋技術有： （ 3）條件覆蓋： 以上兩組數據不僅覆蓋了判定表達式中的所有條件的可能取值，而且覆蓋了 所有判定的取“真”分支和取“假”分支，在這種情況下條件覆蓋強于判定覆蓋。但也有例外，如選擇以下兩組數據： A=1， B=0， X=3（ 滿足 A ≤ 1 ， B=0， A ≠2 ， X1 ） A=2， B=1， X=1（ 滿足 A1， B≠0， X ≤1， A=2） 以上兩組數據覆蓋了判定表達式中的所有條件的可能取值，但只覆蓋了 第一個判定表達式的取“假”分支和第二個判定表達式的取“真”分支，此例不滿足判定覆蓋。所以滿足條件覆蓋不一定滿足判定覆蓋。為了解決此問題，需要對條件和分支兼顧。 軟件測試方法 常用的覆蓋技術有： （ 4）判定 /條件覆蓋： 該覆蓋標準是指設計足夠的測試用例，使被測程序的每個判定表達式中每個條件的各種可能的值至少出現一次。并使每個判定表達式所有可能的結果也至少出現一次。對該例程序，可選擇以下兩組數據達到判定 /條件覆蓋標準： A=2， B=0， X=3 A=1， B=1， X=1 從表面上看，判定 /條件覆蓋測試了所有條件的取值，但實際上條件組合中的某些條件會抑制其它的條件，如“與”運算的判定表達式中，第一個條件為“假”
教學課件相關推薦
鄂ICP備17016276號-1