2023學(xué)年完整公開(kāi)課版語(yǔ)句覆蓋法

北京電子科技職業(yè)學(xué)院語(yǔ)句覆蓋法語(yǔ)句覆蓋法要求設(shè)計(jì)足夠多的測(cè)試用例，使得程序中每條語(yǔ)句至少被執(zhí)行一次，是最基本的覆蓋要求語(yǔ)句覆蓋法可以很直觀地從源代碼得到測(cè)試用例，無(wú)須細(xì)分每條判定表達(dá)式不過(guò)由于這種測(cè)試方法僅僅針對(duì)程序邏輯中顯式存在的語(yǔ)句，對(duì)于隱藏的條件和可能到達(dá)的隱式邏輯分支是無(wú)法測(cè)試的，因此語(yǔ)句覆蓋法對(duì)于多分支的邏輯運(yùn)算無(wú)法全面驗(yàn)證，是所有方法中覆蓋率最低的一種語(yǔ)句覆蓋法案例剖析案例一ifAandBthenaction1ifCorDthenaction2根據(jù)語(yǔ)句覆蓋法的要求，為了確保程序中的每條語(yǔ)句至少執(zhí)行一次，只需要滿足下列條件即可：A=trueB=trueC=trueD=true語(yǔ)句覆蓋法在上面的案例中，僅僅只需要設(shè)計(jì)1條測(cè)試用例，就可以滿足語(yǔ)句覆蓋的要求，但僅僅驗(yàn)證了程序中兩次判定都為真值時(shí)，程序的執(zhí)行情況，沒(méi)有驗(yàn)證當(dāng)判定為假值時(shí)的情況，更沒(méi)有對(duì)判定中的條件進(jìn)行進(jìn)一步的驗(yàn)證，例如:A=falseB=falseC=falseD=falseA=trueB=falseC=trueD=false因此在當(dāng)前案例中使用語(yǔ)句覆蓋法，無(wú)法做到全面的測(cè)試，會(huì)出現(xiàn)測(cè)試遺漏語(yǔ)句覆蓋法案例二語(yǔ)句覆蓋法根據(jù)語(yǔ)句覆蓋法的要求，需要設(shè)計(jì)測(cè)試用例，確保程序中的每一條語(yǔ)句至少執(zhí)行一次，即流程圖中T1、T2、T3對(duì)應(yīng)的代碼至少執(zhí)行一次，因此最終設(shè)計(jì)如下測(cè)試用例：X值Y值路徑19090AB25050ACE39050ACD在當(dāng)前案例中，為了覆蓋程序中的每一條語(yǔ)句，驗(yàn)證了流程圖中兩次判定分別為真值、假值的情況，但沒(méi)有對(duì)判定中的條件進(jìn)行進(jìn)一步驗(yàn)證語(yǔ)句覆蓋法案例三語(yǔ)句覆蓋法在上面的流程圖中，可以看到同樣是進(jìn)行了兩次判斷銷售數(shù)量>40and基礎(chǔ)提成數(shù)>400銷售數(shù)量>50and工種=1銷售數(shù)量saleNum基礎(chǔ)提成數(shù)BasicComm工種TypeOfWork路徑110010001OACE25010001OADE34010001OBE使用語(yǔ)句覆蓋法，最終設(shè)計(jì)如下測(cè)試用例：語(yǔ)句覆蓋法通過(guò)該案例可以看出，僅需要設(shè)計(jì)3條測(cè)試用例，就可以滿足語(yǔ)句覆蓋的要求但是分析用例使用的測(cè)試數(shù)據(jù)，可以發(fā)現(xiàn)，在3條用例中沒(méi)有覆蓋到：基礎(chǔ)提成數(shù)不足的情況工種為臨時(shí)工的情況因此在當(dāng)前案例中使用語(yǔ)句覆蓋法進(jìn)行用例設(shè)計(jì)，出現(xiàn)了測(cè)試遺漏語(yǔ)句覆蓋法案例四functiontest(){varinput=document.getElementById("input").value;if(!checkNum(input))document.getElementById("output").innerHTML="請(qǐng)檢查是否輸入非法字符.";

elseif(input==0||input>9999)document.getElementById("output").innerHTML="輸入年份有誤.";

elseif((input%4==0&&input%100!=0)||input%400==0)document.getElementById("output").innerHTML="輸入年份為閏年.";

elsedocument.getElementById("output").innerHTML="輸入年份為平年.";語(yǔ)句覆蓋法在案例所示的代碼中，使用了if…else選擇結(jié)構(gòu)進(jìn)行了3次判斷：判斷輸入的年份是否非數(shù)字判斷輸入的年份是否等于0或大于9999判斷輸入的年份是否能被4整除但不能為100整除或能被400整除年份input預(yù)期結(jié)果1201a請(qǐng)