白盒測試相關內容總結

這週的實驗內容是關於白盒測試的，所以這週的部落格內容是關於白盒測試的內容總結。

白盒測試:又稱結構測試，它一般用來測試程式的內部結構(control flow , data flow)。並判定其結果是否與預期的結果一致。

白盒測試的種類：靜態分析測試（static analysis test，code inspection）、語句分支覆蓋測試（ctrl flow test）等。

控制流覆蓋準則：

1、語句覆蓋準則

是最簡單的結構性測試方法之一，它要求測試中，程式中的每條語句都得到執行。即，控制流圖中的所有語句都被執行的充分必要條件是，覆蓋圖中的所有節點。

2、分支覆蓋準則

分支覆蓋要求在軟體測試中，每個分支都至少獲得一次真/假取值的經歷。

3、謂詞測試：原子謂詞覆蓋準則，分支-謂詞覆蓋準則，復合謂詞覆蓋準則

（1）原子謂詞覆蓋準則：測試資料集t稱為原子謂詞覆蓋充分的，如果對任意乙個分支中的任意乙個原子謂詞，t中存在乙個測試資料使其在執行時為「真」、為「假」各一次。

（2）分支-謂詞覆蓋準則：測試資料集t稱為分支－謂詞覆蓋充分的，如果對任意乙個分支所包含的任意乙個原子謂詞，t中存在乙個測試資料在執行時為真/假值至少各一次，並且任意乙個復合謂詞本身也至少獲得真/假值各一次。

（3）測試資料集t稱為復合謂詞覆蓋充分的，如果任意乙個分支，對該分支所包含的原子謂詞的任意乙個可行的真/假值組合，t中都存在乙個測試資料使該組合謂詞執行時，原子謂詞的取值恰好為該真/假值組合。即每個復合謂詞內的原子謂詞的各種可能的組合都至少出現一次。

4、路徑覆蓋準則

測試資料集t稱為路徑覆蓋充分的，當且僅當lt覆蓋了gp中的所有完整路徑。

資料流測試：

這裡的資料流測試，是資料互動功能測試，用作路徑測試的「真實性檢查」。它關注的是變數接收值的點和使用（引用）這些值的點的結構性測試形式。

資料流覆蓋準則

1、定義覆蓋測試準則

測試資料集t對測試程式p滿足定義覆蓋準則，如果對具有資料流資訊的控制流圖gp中的每乙個變數x的每乙個定義性出現，若該定義性出現能夠可行地傳遞到該變數的某乙個引用性出現，那麼lt中存在一條路徑a，它包含一條子路徑a』，使得a』將該定義出現傳遞到某一引用性出現。

2、引用覆蓋測試準則

測試資料集t對測試程式p滿足引用覆蓋準則，如果對具有資料流資訊的控制流圖gp中的每乙個變數x的每乙個定義n，以及該定義的每乙個能夠可行地傳遞到的引用n』，lt中都存在一條路徑a，它包含一條子路徑a』，使得a』將n傳遞到n』。

3、定義－引用覆蓋測試準則

測試資料集t對測試程式p滿足定義－引用覆蓋準則，如果對具有資料流資訊的控制流圖gp中的任意一條從定義傳遞到其引用的路徑a，若a是無迴路的或a是簡單迴路，那麼lt中存在一條路徑b，使得a是b的子路徑。