白盒測(cè)試技術(shù)

北京電子科技職業(yè)學(xué)院白盒測(cè)試技術(shù)常用的白盒測(cè)試方法有兩大類：靜態(tài)測(cè)試方法和動(dòng)態(tài)測(cè)試方法其中軟件的靜態(tài)測(cè)試不要求在計(jì)算機(jī)上實(shí)際執(zhí)行所測(cè)程序，主要是人工的對(duì)軟件代碼進(jìn)行分析和測(cè)試，也會(huì)借助一些靜態(tài)代碼分析工具而軟件的動(dòng)態(tài)測(cè)試是通過輸入一組預(yù)先按照一定的測(cè)試準(zhǔn)則構(gòu)造的實(shí)例數(shù)據(jù)來動(dòng)態(tài)運(yùn)行程序，而達(dá)到發(fā)現(xiàn)程序錯(cuò)誤的過程。在動(dòng)態(tài)分析技術(shù)中，最重要的技術(shù)是路徑和分支測(cè)試，包括六種覆蓋測(cè)試方法白盒測(cè)試技術(shù)語句覆蓋法語句覆蓋法要求設(shè)計(jì)足夠多的測(cè)試用例，使得程序中每條語句至少被執(zhí)行一次，是最基本的覆蓋要求不過由于這種測(cè)試方法僅僅針對(duì)程序邏輯中顯式存在的語句，對(duì)于隱藏的條件和可能到達(dá)的隱式邏輯分支是無法測(cè)試的，因此語句覆蓋法對(duì)于多分支的邏輯運(yùn)算無法全面驗(yàn)證，是所有方法中覆蓋率最低的一種白盒測(cè)試技術(shù)分支覆蓋法又稱判定覆蓋，它要求設(shè)計(jì)足夠多的測(cè)試用例，使得程序中每個(gè)判定至少有一次為真值，有一次為假值，即程序中的每個(gè)分支至少執(zhí)行一次，每個(gè)判斷的取真、取假至少執(zhí)行一次判定覆蓋比語句覆蓋要多幾乎一倍的測(cè)試路徑，當(dāng)然也就具有比語句覆蓋更強(qiáng)的測(cè)試能力不過，往往大部分的判定語句是由多個(gè)邏輯條件組合而成，如果僅僅判斷其整個(gè)最終結(jié)果，而忽略每個(gè)條件的取值情況，必然會(huì)遺漏部分測(cè)試路徑白盒測(cè)試技術(shù)條件覆蓋法要求設(shè)計(jì)足夠多的測(cè)試用例，使得判定中的每個(gè)條件獲得各種可能的結(jié)果，即每個(gè)條件至少有一次為真值，有一次為假值條件覆蓋比判定覆蓋，增加了對(duì)判定條件的進(jìn)一步驗(yàn)證，增加了測(cè)試路徑不過條件覆蓋并不能保證滿足判定覆蓋準(zhǔn)則，條件覆蓋只能保證每個(gè)條件至少一次為真，而不考慮條件之間的組合情況，因此也不會(huì)考慮整個(gè)判定的結(jié)果白盒測(cè)試技術(shù)分支條件覆蓋法又稱判定條件覆蓋，要求設(shè)計(jì)足夠多的測(cè)試用例，使得判定中每個(gè)條件的所有可能結(jié)果至少出現(xiàn)一次，每個(gè)判定本身所有可能結(jié)果也至少出現(xiàn)一次判定條件覆蓋滿足判定覆蓋準(zhǔn)則和條件覆蓋準(zhǔn)則，彌補(bǔ)了二者的不足不過缺點(diǎn)是沒有考慮條件的組合情況，因此也有可能在用例設(shè)計(jì)過程中出現(xiàn)遺漏的情況白盒測(cè)試技術(shù)條件組合覆蓋法要求設(shè)計(jì)足夠多的測(cè)試用例，使得判定中的每個(gè)條件結(jié)果的所有可能組合至少出現(xiàn)一次，這樣也會(huì)使得每個(gè)判定本身的所有可能結(jié)果至少出現(xiàn)一次條件組合覆蓋滿足判定覆蓋準(zhǔn)則、條件覆蓋準(zhǔn)則和判定條件覆蓋準(zhǔn)則，兼具了這些方法的優(yōu)點(diǎn)，提高了測(cè)試的覆蓋率但是條件組合覆蓋法會(huì)線性的增加測(cè)試用例的數(shù)量，增加了測(cè)試設(shè)計(jì)的工作量，同時(shí)條件組合覆蓋也不能徹底覆蓋到程序中的每一條路徑白盒測(cè)試技術(shù)基本路徑覆蓋法要求設(shè)計(jì)足夠多的測(cè)試用例，覆蓋程序中所有可能的執(zhí)行路徑基本路徑覆蓋法可以對(duì)程序進(jìn)行相對(duì)徹底的測(cè)試，比其他的一些白盒測(cè)試方法覆蓋面要廣不過由于路徑覆蓋法需要對(duì)所有可能的路徑進(jìn)行測(cè)試，因此需要設(shè)計(jì)的測(cè)試用例數(shù)量可能會(huì)更多，增加了測(cè)試設(shè)計(jì)的工作量，同時(shí)需要注意有些情況下，一些路徑是不可能被執(zhí)行的白盒測(cè)試技術(shù)練習(xí)：分別使用6種不同的覆蓋測(cè)試方法，完成下面程序的測(cè)試用例設(shè)計(jì)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="輸入年份為閏年.";