第六講動(dòng)態(tài)白盒測(cè)試(續(xù))

1、2022-4-301動(dòng)態(tài)白盒測(cè)試動(dòng)態(tài)白盒測(cè)試 2022-4-302 控制流程圖控制流程圖: :結(jié)點(diǎn)結(jié)點(diǎn)/ /分支分支/ /過(guò)程塊過(guò)程塊/ /鏈鏈 路徑路徑1236457X5 and Y1X1錯(cuò)寫成錯(cuò)寫成X1X1A1，B=0B=0，A=2A=2，X1X1。 條件條件A A1 1 取真值標(biāo)記為取真值標(biāo)記為T1T1，取假值標(biāo)記為取假值標(biāo)記為F1F1 條件條件B=0 B=0 取真值標(biāo)記為取真值標(biāo)記為T2T2，取假值標(biāo)記為取假值標(biāo)記為F2F2 條件條件A=2 A=2 取真值標(biāo)記為取真值標(biāo)記為T3T3，取假值標(biāo)記為取假值標(biāo)記為F3F3 條件條件X X1 1 取真值標(biāo)記為取真值標(biāo)記為T4T4，取假值標(biāo)記為取

2、假值標(biāo)記為F4F4 在設(shè)計(jì)測(cè)試用例時(shí)，要考慮如何選擇測(cè)試用例實(shí)現(xiàn)在設(shè)計(jì)測(cè)試用例時(shí)，要考慮如何選擇測(cè)試用例實(shí)現(xiàn)T1T1、F1F1、T2T2、F2F2、T3T3、F3F3、T4T4、F4F4的全部覆蓋：的全部覆蓋： 條件組合測(cè)試條件組合測(cè)試2022-4-3010 例如，可設(shè)計(jì)如下測(cè)試用例實(shí)現(xiàn)條件覆蓋：例如，可設(shè)計(jì)如下測(cè)試用例實(shí)現(xiàn)條件覆蓋： 測(cè)測(cè) 試試 用用 例例 通過(guò)路徑通過(guò)路徑 條件取值條件取值 覆蓋分支覆蓋分支 【（【（1 1，0 0，3 3），（），（1 1，0 0，4 4）】）】 L3 L3 F1 T2 F3 T4 F1 T2 F3 T4 b,e b,e 【（【（2 2，1 1，1 1），

3、（），（2 2，1 1，2 2）】）】 L3 L3 T1 F2 T3 F4 T1 F2 T3 F4 b,e b,e 從上面的測(cè)試用例，可以看到該組測(cè)試用例雖然實(shí)現(xiàn)了從上面的測(cè)試用例，可以看到該組測(cè)試用例雖然實(shí)現(xiàn)了判定中各條件的覆蓋，但沒(méi)有實(shí)現(xiàn)分支覆蓋，因?yàn)樵摻M測(cè)試判定中各條件的覆蓋，但沒(méi)有實(shí)現(xiàn)分支覆蓋，因?yàn)樵摻M測(cè)試用例只覆蓋了第一個(gè)判斷的取假分支和第二個(gè)判斷的取真分用例只覆蓋了第一個(gè)判斷的取假分支和第二個(gè)判斷的取真分支。為此，人們又進(jìn)一步提出了條件組合覆蓋技術(shù)。支。為此，人們又進(jìn)一步提出了條件組合覆蓋技術(shù)。 例如，在該例子中，前一個(gè)判定有例如，在該例子中，前一個(gè)判定有4 4中條件組合：中條件組

4、合： （1 1）( (A A1)1)，(B=0)(B=0)， 標(biāo)記為標(biāo)記為 T1 T1 、T2T2； （2 2）(A(A1)1)，(B0)(B0)，標(biāo)記為標(biāo)記為 T1 T1 、F2,F2,； （3 3）(A1)(A1)，(B=0)(B=0)， 標(biāo)記為標(biāo)記為 F1 F1 、T2T2； （4 4）(A1)(A1)，(B0)(B0)，標(biāo)記為標(biāo)記為 F1 F1 、F2F2； 后一個(gè)判定又有后一個(gè)判定又有4 4中條件組合：中條件組合： （5 5）( (A=2)A=2)， (X (X1)1)， 標(biāo)記為標(biāo)記為 T3T3、T4T4； （6 6）(A=2)(A=2)， ( X1) ( X1)，標(biāo)記為標(biāo)記為 T3

5、T3、F4F4； （7 7）(A2)(A2)，( X( X1)1)，標(biāo)記為標(biāo)記為 F3F3、T4T4； （8 8）(A2)(A2)，( X1)( X1)，標(biāo)記為標(biāo)記為 F3F3、F4F4。 2022-4-3011 因此，要滿足條件組合覆蓋，設(shè)計(jì)的測(cè)試用例必須滿足因此，要滿足條件組合覆蓋，設(shè)計(jì)的測(cè)試用例必須滿足以下以下1616種條件種條件組合組合： （1 1）( (A A1)1)，(B=0)(B=0)， (A=2) (A=2)， (X (X1)1)， 可標(biāo)記為可標(biāo)記為 T1 T1 、T2T2、T3T3、T4T4； （1 1）(A(A1)1)，(B=0)(B=0)， (A=2) (A=2)， (

6、X1) ( X1)，可標(biāo)記為可標(biāo)記為 T1 T1 、T2T2、T3T3、F4F4； （1 1）(A(A1)1)，(B=0)(B=0)， (A2) (A2)，( X( X1)1)，可標(biāo)記為可標(biāo)記為 T1 T1 、T2T2、F3F3、T4T4 （1 1）(A(A1)1)，(B=0)(B=0)， (A2) (A2)， ( X1) ( X1)，可標(biāo)記為可標(biāo)記為 T1 T1 、T2T2、F3F3、F4F4。 （2 2）(A(A1)1)，(B0)(B0)， (A=2) (A=2)， (X (X1)1)， 可標(biāo)記為可標(biāo)記為 T1 T1 、F2, T3F2, T3、T4T4； （2 2）(A(A1)1)，(B

7、0)(B0)， (A=2) (A=2)， ( X1) ( X1)，可標(biāo)記為可標(biāo)記為 T1 T1 、F2F2、T3T3、F4F4； （2 2）(A(A1)1)，(B0)(B0)， (A2) (A2)，( X( X1)1)，可標(biāo)記為可標(biāo)記為 T1 T1 、F2F2、F3F3、T4T4； （2 2）(A(A1)1)，(B0)(B0)， (A2) (A2)，( X1)( X1)，可標(biāo)記為可標(biāo)記為 T1 T1 、F2F2、F3F3、F4F4。 （3 3）(A1)(A1)，(B=0)(B=0)， (A=2) (A=2)， (X (X1)1)， 可標(biāo)記為可標(biāo)記為 F1 F1 、T2T2、T3T3、T4T4；

8、 （3 3）(A1)(A1)，(B=0)(B=0)， (A=2) (A=2)， ( X1) ( X1)，可標(biāo)記為可標(biāo)記為 F1 F1 、T2T2、T3T3、F4F4； （3 3）(A1)(A1)，(B=0)(B=0)， (A2) (A2)，( X( X1)1)，可標(biāo)記為可標(biāo)記為 F1 F1 、T2T2、F3F3、T4T4； （3 3）(A1)(A1)，(B=0)(B=0)， (A2) (A2)，( X1)( X1)，可標(biāo)記為可標(biāo)記為 F1 F1 、T2T2、F3F3、F4F4。 （4 4）(A1)(A1)，(B0)(B0)， (A=2) (A=2)， (X (X1)1)， 可標(biāo)記為可標(biāo)記為 F

9、1 F1 、F2F2、T3T3、T4T4； （4 4）(A1)(A1)，(B0)(B0)， (A=2) (A=2)， ( X1) ( X1)，可標(biāo)記為可標(biāo)記為 F1 F1 、F2F2、T3T3、F4F4； （4 4）(A1)(A1)，(B0)(B0)， (A2) (A2)，( X( X1)1)，可標(biāo)記為可標(biāo)記為 F1 F1 、F2F2、F3F3、T4T4； （4 4）(A1)(A1)，(B0)(B0)， (A2) (A2)，( X1)( X1)，可標(biāo)記為可標(biāo)記為 F1 F1 、F2F2、F3F3、F4F4。 2022-4-3012可以采用以下四組測(cè)試數(shù)據(jù)，從而實(shí)現(xiàn)條件組合覆蓋?？梢圆捎靡韵滤慕M

10、測(cè)試數(shù)據(jù)，從而實(shí)現(xiàn)條件組合覆蓋。 測(cè)測(cè) 試試 用用 例例 覆蓋條件覆蓋條件 覆蓋組合號(hào)覆蓋組合號(hào) 通過(guò)路徑通過(guò)路徑【（【（2 2，0 0，4 4），（），（2 2，0 0，3 3）】）】 T1 T2 T3 T4 T1 T2 T3 T4 L1L1【（【（2 2，1 1，1 1），（），（2 2，1 1，2 2）】）】 T1 F2 T3 F4 T1 F2 T3 F4 L3L3【（【（1 1，0 0，3 3），（），（1 1，0 0，4 4）】）】 F1 T2 F3 T4 F1 T2 F3 T4 L3 L3【（【（1 1，1 1，1 1），（），（1 1，1 1，1 1）】）】 F1 F2 F3 F

11、4 F1 F2 F3 F4 L2 L2 【（【（3 3，0 0，3 3），（），（3 3，0 0，1 1）】）】 T1 T2 F3 F4 T1 T2 F3 F4 L4 L4 這組測(cè)試用例實(shí)現(xiàn)了分支覆蓋，也實(shí)現(xiàn)了條件的所有這組測(cè)試用例實(shí)現(xiàn)了分支覆蓋，也實(shí)現(xiàn)了條件的所有可能取值的組合的覆蓋?？赡苋≈档慕M合的覆蓋。2022-4-3013 一層一層 二層二層 級(jí)連循環(huán)級(jí)連循環(huán) 嵌套循環(huán)嵌套循環(huán) 還要考慮循環(huán)變量的具體情況還要考慮循環(huán)變量的具體情況 關(guān)鍵路徑的選取關(guān)鍵路徑的選取 主要功能路徑主要功能路徑 沒(méi)有功能的路徑?jīng)]有功能的路徑 最短路徑最短路徑 . .循環(huán)情況的路徑選取循環(huán)情況的路徑選取2022-

12、4-3014 代碼行度量代碼行度量 以源代碼的行數(shù)以源代碼的行數(shù)-度量程序的復(fù)雜性。度量程序的復(fù)雜性。 Thayer指出，程序出錯(cuò)率為指出，程序出錯(cuò)率為100行源程序中可能存在行源程序中可能存在0.04 -7個(gè)錯(cuò)誤個(gè)錯(cuò)誤 出錯(cuò)率與源程序行數(shù)之間不存在簡(jiǎn)單的線性關(guān)系出錯(cuò)率與源程序行數(shù)之間不存在簡(jiǎn)單的線性關(guān)系 Lipow指出，指出，對(duì)于小程序，每行代碼（執(zhí)行部分）的出錯(cuò)率對(duì)于小程序，每行代碼（執(zhí)行部分）的出錯(cuò)率 為為1.3%-1.8% 對(duì)于大程序，每行代碼（執(zhí)行部分）的出錯(cuò)率對(duì)于大程序，每行代碼（執(zhí)行部分）的出錯(cuò)率 為為2.7%-3.2% 對(duì)于少于對(duì)于少于100個(gè)語(yǔ)句的程序，出錯(cuò)率與源程序個(gè)語(yǔ)句的

13、程序，出錯(cuò)率與源程序 行數(shù)之間是線性關(guān)系的；行數(shù)之間是線性關(guān)系的； 隨著程序的增大，出錯(cuò)率以非線性方式增長(zhǎng)。隨著程序的增大，出錯(cuò)率以非線性方式增長(zhǎng)。 程序復(fù)雜性度量與錯(cuò)誤之間的關(guān)系程序復(fù)雜性度量與錯(cuò)誤之間的關(guān)系2022-4-3015環(huán)路復(fù)雜性度環(huán)路復(fù)雜性度量量-McCabe度量法度量法 -基于程序控制流的復(fù)雜性度量方法基于程序控制流的復(fù)雜性度量方法 程序圖程序圖：把程序流程圖中的每個(gè)處理符號(hào)退化為一個(gè)：把程序流程圖中的每個(gè)處理符號(hào)退化為一個(gè)結(jié)點(diǎn)，把連接每個(gè)處理符號(hào)的鏈轉(zhuǎn)變?yōu)檫B接結(jié)點(diǎn)的有向結(jié)點(diǎn)，把連接每個(gè)處理符號(hào)的鏈轉(zhuǎn)變?yōu)檫B接結(jié)點(diǎn)的有向弧，所得到的有向圖稱為程序圖?；?，所得到的有向圖稱為程序圖。

14、 程序圖的語(yǔ)義程序圖的語(yǔ)義：描述程序內(nèi)部的控制流程，不表現(xiàn)對(duì)：描述程序內(nèi)部的控制流程，不表現(xiàn)對(duì)數(shù)據(jù)的具體操作以及分支和循環(huán)的具體條件。數(shù)據(jù)的具體操作以及分支和循環(huán)的具體條件。 即該方法把簡(jiǎn)單的條件語(yǔ)句與復(fù)雜的循環(huán)語(yǔ)句的復(fù)雜即該方法把簡(jiǎn)單的條件語(yǔ)句與復(fù)雜的循環(huán)語(yǔ)句的復(fù)雜性視為一樣；把嵌套的性視為一樣；把嵌套的IF語(yǔ)句與語(yǔ)句與CASE語(yǔ)句的復(fù)雜性視為語(yǔ)句的復(fù)雜性視為一樣。一樣。程序復(fù)雜性度量與錯(cuò)誤之間的關(guān)系程序復(fù)雜性度量與錯(cuò)誤之間的關(guān)系2022-4-3016S0開始開始S1ABS2S3S4H輸出輸出K輸出輸出E結(jié)束結(jié)束S5S1S2ABS3S4HKES0S52022-4-3017根據(jù)圖論，在一個(gè)強(qiáng)連

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

16、法。 McCabe發(fā)現(xiàn)，在發(fā)現(xiàn)，在276個(gè)程序中，有個(gè)程序中，有23%的子程序的復(fù)雜度超過(guò)的子程序的復(fù)雜度超過(guò)10，而在這些子程序中發(fā)現(xiàn)的錯(cuò)誤占總錯(cuò)誤的而在這些子程序中發(fā)現(xiàn)的錯(cuò)誤占總錯(cuò)誤的53%，因此，他建議，如果程，因此，他建議，如果程序的復(fù)雜度超過(guò)序的復(fù)雜度超過(guò)10，那么就應(yīng)該對(duì)這一程序進(jìn)行分解。，那么就應(yīng)該對(duì)這一程序進(jìn)行分解。2022-4-3018 不能區(qū)分不同種類控制流的復(fù)雜性不能區(qū)分不同種類控制流的復(fù)雜性 簡(jiǎn)單的條件語(yǔ)句與復(fù)雜的循環(huán)語(yǔ)句的復(fù)雜性等同看待簡(jiǎn)單的條件語(yǔ)句與復(fù)雜的循環(huán)語(yǔ)句的復(fù)雜性等同看待 嵌套的嵌套的IF語(yǔ)句與語(yǔ)句與CASE語(yǔ)句的復(fù)雜性等同看待；語(yǔ)句的復(fù)雜性等同看待； 模塊

17、間的接口當(dāng)成一個(gè)簡(jiǎn)單的分支一樣處理；模塊間的接口當(dāng)成一個(gè)簡(jiǎn)單的分支一樣處理； 一個(gè)具有一個(gè)具有1000行的順序程序與一行語(yǔ)句的復(fù)雜性相同。行的順序程序與一行語(yǔ)句的復(fù)雜性相同。使用：使用： 錯(cuò)誤估算錯(cuò)誤估算 排錯(cuò)費(fèi)用估算排錯(cuò)費(fèi)用估算 方案選擇等方案選擇等McCabeMcCabe度量法的主要缺點(diǎn)度量法的主要缺點(diǎn)2022-4-3019 程序長(zhǎng)度程序長(zhǎng)度 H=n1*log2n1+ n2*log2n2其中：其中：H是程序長(zhǎng)度的預(yù)測(cè)值，而不是程序中的語(yǔ)句條數(shù)；是程序長(zhǎng)度的預(yù)測(cè)值，而不是程序中的語(yǔ)句條數(shù)； n1表示程序中不同運(yùn)算符（包括關(guān)鍵字）的個(gè)數(shù)；表示程序中不同運(yùn)算符（包括關(guān)鍵字）的個(gè)數(shù)； n2表示程序

18、中不同對(duì)象的個(gè)數(shù)。表示程序中不同對(duì)象的個(gè)數(shù)。注：成對(duì)運(yùn)算符，如注：成對(duì)運(yùn)算符，如“BEGIN END”等都當(dāng)作單一運(yùn)算符；等都當(dāng)作單一運(yùn)算符； 運(yùn)算對(duì)象包括變量名和常數(shù)。運(yùn)算對(duì)象包括變量名和常數(shù)。程序長(zhǎng)度、程序量度量與錯(cuò)誤數(shù)程序長(zhǎng)度、程序量度量與錯(cuò)誤數(shù)-Halstead方法方法2022-4-3020程序量程序量V V=N*log2 （ n1+ n2）其中：其中：N為實(shí)際的為實(shí)際的Halstead長(zhǎng)度，即長(zhǎng)度，即N=N1+N2 N1為程序中實(shí)際出現(xiàn)的運(yùn)算符總個(gè)數(shù)為程序中實(shí)際出現(xiàn)的運(yùn)算符總個(gè)數(shù) N2為程序中實(shí)際出現(xiàn)的運(yùn)算對(duì)象總個(gè)數(shù)為程序中實(shí)際出現(xiàn)的運(yùn)算對(duì)象總個(gè)數(shù) n1表示程序中不同運(yùn)算符（包括關(guān)鍵

19、字）的個(gè)數(shù)；表示程序中不同運(yùn)算符（包括關(guān)鍵字）的個(gè)數(shù)； n2表示程序中不同對(duì)象的個(gè)數(shù)。表示程序中不同對(duì)象的個(gè)數(shù)。例如：用例如：用Fortran語(yǔ)言編寫的交換排序程序?yàn)椋赫Z(yǔ)言編寫的交換排序程序?yàn)椋?SUBROUTINE SORT(X,N) DIMENSION X(N) IF (N.LT.2) RETURN DO 20 I=2,N DO 10 J=1,I IF(X(I).GE.X(J) GO TO 10 SAVE=X(I) X(I)=X(J) 10 CONTINE 20 CONTINE RETURN END.2022-4-3021- 運(yùn)算符運(yùn)算符 計(jì)數(shù)計(jì)數(shù) 運(yùn)算對(duì)象運(yùn)算對(duì)象 計(jì)數(shù)計(jì)數(shù)- 可執(zhí)行語(yǔ)句結(jié)束可執(zhí)行語(yǔ)句結(jié)束 7 x 6 - 數(shù)組下標(biāo)數(shù)組下標(biāo) 6 I 5- = 5 J 4- IF（）（） 2 N 2 - DO 2 2 2- ， 2 SAVE 2- 程序結(jié)束程序結(jié)束 1 1 1- .LT. 1 n2=7 N2=22- .GE. 1- H=10*log210+log27=52.87 GO TO 10 1- N=28+22=50 n1=10 N1=28- V=(28+22)*log2(10+7)=2042022-4-3022 程序量比率（語(yǔ)言的抽象級(jí)別）程序量比率（語(yǔ)言的抽象級(jí)別） L=（2/n1）*（n2/N2）其中，其中， N2= n