Test10-UnitTesting2市公開(kāi)課一等獎(jiǎng)省賽課微課金獎(jiǎng)?wù)n件

動(dòng)態(tài)白盒測(cè)試10-22024/5/111/20測(cè)試方案技術(shù)—白盒測(cè)試2.白盒法白盒法需要了解程序功效與結(jié)構(gòu)，測(cè)試用例必須依據(jù)程序內(nèi)部邏輯來(lái)設(shè)計(jì)。假如想用白盒法發(fā)覺(jué)程序中全部錯(cuò)誤，則最少必須使程序中每種可能路徑都執(zhí)行一次?！皬氐椎販y(cè)試”是不可能，故策略是：在一定研制時(shí)間、研制經(jīng)費(fèi)限制下，經(jīng)過(guò)執(zhí)行有限測(cè)試用例，盡可能多地發(fā)覺(jué)一些錯(cuò)誤。白盒法又稱為邏輯覆蓋法，當(dāng)前慣用覆蓋法有：輸入輸出2024/5/122/20測(cè)試方案技術(shù)—白盒測(cè)試(1)語(yǔ)句覆蓋即每個(gè)語(yǔ)句最少能執(zhí)行一次問(wèn)題：若AND錯(cuò)寫(xiě)為OR，或X>1錯(cuò)寫(xiě)為X<1,則錯(cuò)誤無(wú)法由上例測(cè)出。入口A>1ANDB=0TA=2ORX>1TX=X/AX=X+1返回FFTestcase:A=2,B=0,X=4.2024/5/133/20測(cè)試方案技術(shù)—白盒測(cè)試(2)判定覆蓋判定覆蓋又叫分支覆蓋，含義是：每個(gè)判定分支最少執(zhí)行一次。Testcases:①A=3,B=0,X=3②A=2,B=1,X=1入口A>1ANDB=0TA=2ORX>1TX=X/AX=X+1返回FF問(wèn)題：若X>1錯(cuò)寫(xiě)為X<1,依然無(wú)法被測(cè)出。2024/5/144/20測(cè)試方案技術(shù)—白盒測(cè)試(3)條件覆蓋即一個(gè)判斷語(yǔ)句中往往包含了若干條件。經(jīng)過(guò)給出測(cè)試用例，使判斷中每個(gè)條件都取得各種可能結(jié)果。Testcases:①A=2,B=0,X=4（滿足A>1,B=0;A=2,X>1)②A=1,B=1,X=1(滿足A1,B0;A2,X1）問(wèn)：條件覆蓋？判定覆蓋

答:不一定。反例:①A=2,B=0,X=1②A=1,B=1,X=2

入口A>1ANDB=0TA=2ORX>1TX=X/AX=X+1返回FF2024/5/155/20測(cè)試方案技術(shù)—白盒測(cè)試(4)判斷/條件覆蓋選取足夠多測(cè)試數(shù)據(jù)，使判斷中每個(gè)條件都取得各種可能值，并使每個(gè)判斷表示式也取到各種可能結(jié)果。Testcases:①A=2,B=0,X=4（滿足A>1,B=0;A=2,X>1)②A=1,B=1,X=1(滿足A1,B0;A2,X1）入口A>1ANDB=0TA=2ORX>1TX=X/AX=X+1返回FF2024/5/166/20測(cè)試方案技術(shù)—白盒測(cè)試(5)條件組合覆蓋使得每個(gè)判斷中條件各種可能組合都最少出現(xiàn)一次。全部可能條件組合為：①A>1,B=0②A>1,B0③A1,B=0④A1,B0⑤A=2,X>1⑥A=2,X

1⑦A

2,X>1⑧A

2,X

1Testcases:①A=2,B=0,X=4(TT)②A=2.B=1,X=1(FT)③A=1,B=0,X=2(FT)④A=1,B=1,X=1(FF)問(wèn)題：沒(méi)有測(cè)試到（TF）情形入口A>1ANDB=0TA=2ORX>1TX=X/AX=X+1返回FF2024/5/177/20控制流程圖:結(jié)點(diǎn)/分支/過(guò)程塊/鏈路徑1236457X>5andY<3其中：節(jié)點(diǎn)1、節(jié)點(diǎn)3、節(jié)點(diǎn)5、節(jié)點(diǎn)6、節(jié)點(diǎn)7為過(guò)程塊節(jié)點(diǎn)2為分支，節(jié)點(diǎn)4為結(jié)點(diǎn)測(cè)試方案技術(shù)—白盒測(cè)試-路徑覆蓋2024/5/188/20以下為一個(gè)程序流程圖，其中該例子中有兩個(gè)判斷，每個(gè)判斷都包含復(fù)合條件邏輯表示式。（A1）（B=0）（A=2）（X1）X=X/AX=X+1abcdeFTTF舉例2024/5/199/20其控制流程圖（A1）

（B=0）X=X/A（A=2）

（X1）

X=X+1TTacbde結(jié)點(diǎn)1結(jié)點(diǎn)22024/5/11010/20路徑該控制流程圖有4條不一樣。4條路徑可表示為：

L1（a→c→e）簡(jiǎn)寫(xiě)ace、L2（a→b→d）簡(jiǎn)寫(xiě)abdL3（a→b→e）簡(jiǎn)寫(xiě)abe、L4（a→c→d）簡(jiǎn)寫(xiě)acd2024/5/11111/20

執(zhí)行全部可能穿過(guò)程序控制流程路徑。普通來(lái)說(shuō)，這一測(cè)試嚴(yán)格地限制為全部可能入口/出口路徑。假如遵照這一要求，則我們說(shuō)到達(dá)了100%路徑覆蓋率。在路徑測(cè)試中，該策略是最強(qiáng)，但普通是不可實(shí)現(xiàn)。針對(duì)該例子，要想實(shí)現(xiàn)路徑覆蓋，可選擇以下一組測(cè)試用例（要求測(cè)試用例設(shè)計(jì)格式為：【輸入（A，B，X），輸出（A，B，X）】）。

測(cè)試用例 覆蓋路徑 【（2，0，4），（2，0，3）】L1【（1，1，1），（1，1，1）】L2【（1，1，2），（1，1，3）】L3【（3，0，3），（3，0，1）】L4 路徑測(cè)試2024/5/11212/20

一層二層級(jí)連循環(huán)嵌套循環(huán)還要考慮循環(huán)變量詳細(xì)情況關(guān)鍵路徑選取

主要功效路徑?jīng)]有功效路徑最短路徑...循環(huán)情況路徑選取2024/5/11313/20代碼行度量?以源代碼行數(shù)--度量程序復(fù)雜性。?Thayer指出，程序犯錯(cuò)率為100行源程序中可能存在0.04-7個(gè)錯(cuò)誤犯錯(cuò)率與源程序行數(shù)之間不存在簡(jiǎn)單線性關(guān)系

Lipow指出，對(duì)于小程序，每行代碼（執(zhí)行部分）犯錯(cuò)率為1.3%-1.8%對(duì)于大程序，每行代碼（執(zhí)行部分）犯錯(cuò)率為2.7%-3.2%對(duì)于少于100個(gè)語(yǔ)句程序，犯錯(cuò)率與源程序行數(shù)之間是線性關(guān)系；伴隨程序增大，犯錯(cuò)率以非線性方式增加。程序復(fù)雜性度量與錯(cuò)誤之間關(guān)系2024/5/11414/20環(huán)路復(fù)雜性度量-McCabe度量法-基于程序控制流復(fù)雜性度量方法

程序圖：把程序流程圖中每個(gè)處理符號(hào)退化為一個(gè)結(jié)點(diǎn)，把連接每個(gè)處理符號(hào)鏈轉(zhuǎn)變?yōu)檫B接結(jié)點(diǎn)有向弧，所得到有向圖稱為程序圖。

程序圖語(yǔ)義：描述程序內(nèi)部控制流程，不表現(xiàn)對(duì)數(shù)據(jù)詳細(xì)操作以及分支和循環(huán)詳細(xì)條件。即該方法把簡(jiǎn)單條件語(yǔ)句與復(fù)雜循環(huán)語(yǔ)句復(fù)雜性視為一樣；把嵌套IF語(yǔ)句與CASE語(yǔ)句復(fù)雜性視為一樣。程序復(fù)雜性度量與錯(cuò)誤之間關(guān)系2024/5/11515/20S0開(kāi)始S1ABS2S3S4H輸出K輸出E結(jié)束S5S1S2ABS3S4HKES0S52024/5/11616/20依據(jù)圖論，在一個(gè)強(qiáng)連通有向圖中，環(huán)個(gè)數(shù)為：

V（G）=m-n+p

其中：m為圖中弧數(shù)，n為圖中結(jié)點(diǎn)數(shù)，p為圖中強(qiáng)連通分量數(shù)程序總是連通，但普通不是強(qiáng)連通，為此，需加一條從入口到出口虛線。據(jù)此，上例中環(huán)數(shù)為：13-11+1=3即McCabe度量法度量值為3。注：環(huán)路復(fù)雜度是可加。為軟件測(cè)試難度提供了一個(gè)定量度量方法。

McCabe發(fā)覺(jué)，在276個(gè)程序中，有23%子程序復(fù)雜度超出10，而在這些子程序中發(fā)覺(jué)錯(cuò)誤占總錯(cuò)誤53%，所以，他提議，假如程序復(fù)雜度超出10，那么就應(yīng)該對(duì)這一程序進(jìn)行分解。2024/5/11717/20不能區(qū)分不一樣種類控制流復(fù)雜性簡(jiǎn)單條件語(yǔ)句與復(fù)雜循環(huán)語(yǔ)句復(fù)雜性等同對(duì)待嵌套IF語(yǔ)