實(shí)驗(yàn)三、白盒測(cè)試技術(shù)(一)

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