1、實(shí)驗(yàn)二 白盒測(cè)試一、實(shí)驗(yàn)?zāi)康?通過(guò)本實(shí)驗(yàn)，熟悉白盒測(cè)試的目的、內(nèi)容，并掌握白盒測(cè)試的基本方法，能夠按照具體要求對(duì)指定的程序設(shè)計(jì)測(cè)試用例并進(jìn)行測(cè)試。二、相關(guān)知識(shí)邏輯覆蓋法的六種覆蓋標(biāo)準(zhǔn)：1、語(yǔ)句覆蓋：設(shè)計(jì)足夠的測(cè)試用例，使得程序中的每個(gè)語(yǔ)句至少執(zhí)行一次。2、判定覆蓋：設(shè)計(jì)足夠的測(cè)試用例，使得在語(yǔ)句覆蓋的基礎(chǔ)上,程序中每個(gè)判定的取“真”分支和取“假”分支至少都執(zhí)行一次。3、條件覆蓋：設(shè)計(jì)足夠的測(cè)試用例，在語(yǔ)句覆蓋的基礎(chǔ)上使得程序判定中的每個(gè)條件能獲得各種可能的結(jié)果。4、判定/條件覆蓋：設(shè)計(jì)足夠的測(cè)試用例，使得判定中的每個(gè)條件都取到各種可能的值，而且每個(gè)判定表達(dá)式也都取到各種可能的結(jié)果。5、條件組合

2、覆蓋：設(shè)計(jì)足夠的測(cè)試用例，使得每個(gè)判定中的條件的各種可能組合都至少出現(xiàn)一次。6、路徑覆蓋：每條可能的路徑都至少執(zhí)行一次。三、實(shí)驗(yàn)內(nèi)容1、對(duì)實(shí)驗(yàn)一中編寫的三角形程序，畫出其程序流程圖；分析程序流程圖，確定程序分支；(1) 設(shè)計(jì)分別滿足語(yǔ)句覆蓋、判定覆蓋、條件覆蓋、判定/條件覆蓋、條件組合覆蓋和路徑覆蓋的測(cè)試用例；(2) 用測(cè)試用例對(duì)程序進(jìn)行測(cè)試，記錄測(cè)試結(jié)果，并對(duì)結(jié)果進(jìn)行分析，如果存在缺陷則修改程序，繼續(xù)測(cè)試；運(yùn)用邏輯覆蓋法的六種覆蓋標(biāo)準(zhǔn)設(shè)計(jì)測(cè)試用例，并執(zhí)行測(cè)試，撰寫實(shí)驗(yàn)報(bào)告。四、實(shí)驗(yàn)步驟1、根據(jù)其題意，可以得出輸入為三個(gè)整數(shù)：a、b、c為三角形的三條邊，再根據(jù)以下條件輸出其類型：條件一：a0

3、條件二：b0 條件三：c0條件四：ab+c 條件五：ba+c 條件六：ca+b(1) 如果輸入值a、b、c不滿足條件一、條件二、條件三，程序輸出“邊的取值不符合要求”。(2) 如果輸入值a、b、c不滿足條件四、條件五、條件六，程序輸出“非三角形”。(3) 如果三條邊相等，程序輸出“等邊三角形”。(4) 如果三條邊恰好有兩邊相等，程序輸出“等腰三角形”。(5) 如果三條邊都不相等，則程序輸出為“一般三角形”。2、根據(jù)題意畫出程序流程圖如下：開始條件1：0a100 and 0b100 and 0c100N條件2：ab+c and ba+b and ca+bYN語(yǔ)句1：邊的取值不符合要求語(yǔ)句2：非三

4、角形Y條件3：a=b and b=c Y語(yǔ)句3：等邊三角形條件4：a=b or a=c or b=cNNY語(yǔ)句4：等腰三角形語(yǔ)句5：一般三角形結(jié)束abcdefghij 程序流程圖3、根據(jù)邏輯覆蓋法的六種覆蓋標(biāo)準(zhǔn)設(shè)計(jì)測(cè)試用例，得到以下6張測(cè)試用例表：（1）語(yǔ)句覆蓋用例編號(hào)輸入數(shù)據(jù)a輸入數(shù)據(jù)b輸出數(shù)據(jù)c輸出備注1-234邊的取值不符合要求語(yǔ)句12348非三角形語(yǔ)句23333等邊三角形語(yǔ)句34332等腰三角形語(yǔ)句45234一般三角形語(yǔ)句5（2）判定覆蓋用例編號(hào)輸入數(shù)據(jù)a輸入數(shù)據(jù)b輸出數(shù)據(jù)c輸出備注110123邊的取值不符合要求條件1“假”2236非三角形條件1“真” 條件2“假”3444等邊三角形條

5、件2“真” 條件3“真”4322等腰三角形條件3“假”條件4“真”5245一般三角形條件4“假”（3）條件覆蓋對(duì)于第一個(gè)判斷：條件0a100 取真為T1,取假為F1；條件0b100 取真為T2,取假為F2；條件0c100 取真為T3,取假為F3；對(duì)于第二個(gè)判斷：條件ab+c 取真為T4,取假為F4；條件ba+c 取真為T5,取假為F5；條件c100|a100|b100|c=b+c)|(b=a+c)|(c=a+b)System.out.println(“第三條邊：”+c);else if(a!=b&b!=c&a!=c) System.out.println(“第三條邊：”+c); if(a=b&a!=c)| (b=c&a!=b)| (a=c&a!=b) System.out.println(“第三條邊：”+c); if(a=b&b=c)System.out.println(“第三條邊：”+c); 五、實(shí)驗(yàn)結(jié)果及小結(jié)在測(cè)試用例中，a、b、c三個(gè)數(shù)為輸入對(duì)象，輸出為三角形的類型，