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

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