實驗三、白盒測試技術(一)

實驗三、白盒測試技術（一）一、 實驗類型實驗類型為驗證型，2個學時。二、 實驗目的（1） 熟練掌握白盒測試方法中的邏輯覆蓋和路徑測試覆蓋方法；（2） 通過實驗掌握邏輯覆蓋測試的測試用例設計，掌握程序流圖的繪制；（3） 運用所學理論，完成實驗研究的基本訓練過程三、 背景知識白盒測試是知道產品內部工作過程，檢測產品內部動作是否按照規(guī)格說明書的規(guī)定正常進行。白盒測試允許測試人員利用程序內部的邏輯結構及有關信息，設計或選擇測試用例，對程序所有邏輯路徑進行測試。通過在不同點檢查程序的狀態(tài)，確定實際的狀態(tài)是否與預期的狀態(tài)一致。邏輯覆蓋白盒測試力求提高測試覆蓋率。邏輯覆蓋是對一系列測試過程的總稱，它是在使用白盒測試法時，選用測試用例執(zhí)行程序邏輯路徑的方法。邏輯覆蓋按覆蓋程度由低到高大致分為以下幾類：（1） 語句覆蓋：設計若干測試用例，使程序中每一可執(zhí)行語句至少執(zhí)行一次；（2） 判斷覆蓋：設計用例，使程序中的每個邏輯判斷的取真取假分支至少經歷一次；（3） 條件覆蓋：設計用例，使判斷中的每個條件的可能取值至少滿足一次；（4） 判斷/條件覆蓋：設計用例，使得判斷中的每個條件的所有可能結果至少出現一次，而且判斷本身所有可能結果也至少出現一次；（5） 條件組合覆蓋。設計用例，使得每個判斷表達式中條件的各種可能組合都至少出現一次；顯然，滿足的測試用例也一定是滿足、的測試用例。（6） 路徑覆蓋。設計足夠的測試用例，使程序的每條可能路徑都至少執(zhí)行一次。如果把路徑覆蓋和條件組合覆蓋結合起來，可以設計出檢錯能力更強的測試數據用例。四、 實驗設備主流PC機一套，要求安裝windows操作系統(tǒng)、VC+開發(fā)工具和OFFICE工具；五、 實驗內容測試以下C語言程序段程序執(zhí)行結果圖六、 實驗步驟（1） 畫出程序流程圖，分析程序流程圖，確定程序分支；Dowork程序路程圖：（2） 編寫完整的C程序（含輸入和輸出），使用你所設計的測試用例運行上述程序段；（3） 完整填寫相應的測試用例表（語句覆蓋測試用例表、判定覆蓋測試用例表、條件覆蓋測試用例表、判定/條件覆蓋測試用例表、條件組合覆蓋測試用例表）表1語句覆蓋用例編號輸入期望輸出覆蓋路徑測試結果 表2判定覆蓋用例編號輸入期望輸出覆蓋路徑測試結果 表3條件覆蓋用例編號輸入期望輸出覆蓋路徑測試結果表4判定-條件覆蓋用例編號輸入期望輸出覆蓋路徑測試結果 表5 MC/DC覆蓋用例編號輸入期望輸出覆蓋路徑測試結果（4） 用測試用例對程序進行測試，記錄測試結果，并對結果進行分析，如果存在缺陷則修改程序，