白盒測(cè)試方法

1、白白盒測(cè)試盒測(cè)試2目錄白盒測(cè)試基本概念白盒測(cè)試基本方法單元測(cè)試 11/28/2021Inspur group3浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室白盒測(cè)試概念白盒測(cè)試概念白盒測(cè)試也稱結(jié)構(gòu)測(cè)試、透明盒測(cè)試、邏輯驅(qū)動(dòng)測(cè)試或基于代碼的測(cè)試，是一種測(cè)試用例設(shè)計(jì)方法，它從程序的控制結(jié)構(gòu)導(dǎo)出測(cè)試用例。白盒測(cè)試使用被測(cè)單元內(nèi)部如何工作的信息，允許測(cè)試人員對(duì)程序內(nèi)部邏輯結(jié)構(gòu)及有關(guān)信息來(lái)設(shè)計(jì)和選擇測(cè)試用例，對(duì)程序的邏輯路徑進(jìn)行測(cè)試?；谝粋€(gè)應(yīng)用代碼的內(nèi)部邏輯知識(shí)，測(cè)試是基于覆蓋全部代碼、分支、路徑、條件。 11/28/2021Inspur group4浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室測(cè)試覆蓋標(biāo)準(zhǔn)測(cè)試覆蓋標(biāo)準(zhǔn)覆蓋標(biāo)準(zhǔn)從低到高分別是： 語(yǔ)句覆蓋：

2、一個(gè)較弱的測(cè)試標(biāo)準(zhǔn)。它的含義是：選擇足夠的測(cè)試用例，使得程序中每個(gè)語(yǔ)句至少都能被執(zhí)行一次。它是最弱的邏輯覆蓋，效果有限，必須與其它方法交互使用。 判定覆蓋（分支覆蓋）：執(zhí)行足夠的測(cè)試用例，使得程序中的每一個(gè)分支至少都通過(guò)一次。判定覆蓋比語(yǔ)句覆蓋稍強(qiáng)一些，但實(shí)際效果表明，只是判定覆蓋，還不能保證一定能查出在判斷條件中存在的錯(cuò)誤。條件覆蓋：執(zhí)行足夠的測(cè)試用例，使程序中每個(gè)判斷的每個(gè)條件的每個(gè)可能取值至少執(zhí)行一次；條件覆蓋深入到判定中的每個(gè)條件，但可能不能滿足判定覆蓋的要求。 2021-11-28Inspur group5浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室測(cè)試覆蓋標(biāo)準(zhǔn)測(cè)試覆蓋標(biāo)準(zhǔn)判定/條件覆蓋：執(zhí)行足夠的測(cè)試用例，

3、使判定中每個(gè)條件取到各種可能的值，并使每個(gè)判定取到各種可能的結(jié)果。判定/條件覆蓋有缺陷。從表面看，它測(cè)試了所有條件的取值。但事實(shí)并非如此。往往某些條件掩蓋了另一些條件。會(huì)遺漏某些條件取值錯(cuò)誤的情況。為徹底地檢查所有條件的取值，需要將判定語(yǔ)句中給出的復(fù)合條件表達(dá)式進(jìn)行分解，形成由多個(gè)基本判定嵌套的流程圖。這樣就可以有效地檢查所有的條件是否正確了。條件組合覆蓋：執(zhí)行足夠的用例，使得每個(gè)判定中條件的各種可能組合都至少出現(xiàn)一次。這是一種相當(dāng)強(qiáng)的覆蓋準(zhǔn)則，可以有效地檢查各種可能的條件取值的組合是否正確。它不但可覆蓋所有條件的可能取值的組合，還可覆蓋所有判斷的可取分支，但可能有的路徑會(huì)遺漏掉。測(cè)試還不完全

4、。路徑覆蓋：設(shè)計(jì)足夠多的測(cè)試用例，要求覆蓋程序中所有可能的路徑。2021-11-28Inspur group6浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室語(yǔ)句覆蓋語(yǔ)句覆蓋 語(yǔ)句覆蓋”是一個(gè)比較弱的測(cè)試標(biāo)準(zhǔn)，它的含義是：選擇足夠的測(cè)試用例，使得程序中每個(gè)語(yǔ)句至少都能被執(zhí)行一次。 如，例1：PROCEDIF (A1) AND (B=0) THEN X:=X/A； IF (A=2) OR URE M(VAR A，B，X：REAL)； BEGIN (X1) THEN X:=X+1； END.為使程序中每個(gè)語(yǔ)句至少執(zhí)行一次，只需設(shè)計(jì)一個(gè)能通過(guò)路徑ace的例子就可以了，例如選擇輸入數(shù)據(jù)為： A=2，B=0，X=3 就可達(dá)到“語(yǔ)句覆

5、蓋”標(biāo)準(zhǔn)。 2021-11-28Inspur group語(yǔ)句覆蓋 7浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室分支分支覆蓋覆蓋 比“語(yǔ)句覆蓋”稍強(qiáng)的覆蓋標(biāo)準(zhǔn)是“分支覆蓋”(或稱判定覆蓋)標(biāo)準(zhǔn)。含義是：執(zhí)行足夠的測(cè)試用例，使得程序中的每一個(gè)分支至少都通過(guò)一次。 對(duì)例1的程序，如果設(shè)計(jì)兩個(gè)例子，使它們能通過(guò)路徑ace和abd，或者通過(guò)路徑acd和abe，就可達(dá)到“判定覆蓋”標(biāo)準(zhǔn)，為此，可以選擇輸入數(shù)據(jù)為： A=3，B=0，X=1 (沿路徑acd執(zhí)行)； A=2，B=1，X=3(沿路徑abe執(zhí)行) 2021-11-28Inspur group8浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室分支分支覆蓋覆蓋2021-11-28Inspur group判

6、定覆蓋 判定覆蓋 A=3，B=0，X=1 (沿路徑acd執(zhí)行) A=2，B=1，X=3 (沿路徑abe執(zhí)行)9浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室條件覆蓋條件覆蓋 一個(gè)判定中往往包含了若干個(gè)條件，如例1的程序中，判定 (A1) AND (B=0)包含了兩個(gè)條件： A1以及 B=0，所以可引進(jìn)一個(gè)更強(qiáng)的覆蓋標(biāo)準(zhǔn)“條件覆蓋”?！皸l件覆蓋”的含義是：執(zhí)行足夠的測(cè)試用例，使得判定中的每個(gè)條件獲得各種可能的結(jié)果。 2021-11-28Inspur group10浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室條件覆蓋條件覆蓋例1的程序有四個(gè)條件： A1、 B=0、A=2、X1 為了達(dá)到“條件覆蓋”標(biāo)準(zhǔn)，需要執(zhí)行足夠的測(cè)試用例使得在a點(diǎn)有： A1、A1

7、、B=0、B0 等各種結(jié)果出現(xiàn)，以及在b點(diǎn)有： A=2、A2、X1、X1 等各種結(jié)果出現(xiàn)?，F(xiàn)在只需設(shè)計(jì)以下兩個(gè)測(cè)試用例就可滿足這一標(biāo)準(zhǔn)： A=2，B=0，X=4 (沿路徑ace執(zhí)行)； A=1，B=1，X=1 (沿路徑abd執(zhí)行)。 2021-11-28Inspur group11浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室條件覆蓋條件覆蓋2021-11-28Inspur group條件覆蓋條件覆蓋A=2，B=0，X=4 (沿路徑ace執(zhí)行)A=1，B=1，X=1 (沿路徑abd執(zhí)行)12浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室分支分支/條件覆蓋條件覆蓋針對(duì)上面的問(wèn)題引出了另一種覆蓋標(biāo)準(zhǔn)“分支 條件覆蓋”，它的含義是：執(zhí)行足夠的測(cè)試用例，使

8、得分支中每個(gè)條件取到各種可能的值，并使每個(gè)分支取到各種可能的結(jié)果。對(duì)例1的程序，前面的兩個(gè)例子 A=2，B=0，X=4 (沿ace路) A=1，B=1，X=1 (沿abd路徑) 是滿足這一標(biāo)準(zhǔn)的。2021-11-28Inspur group13浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室條件組合覆蓋條件組合覆蓋 條件組合覆蓋”。它的含義是：執(zhí)行足夠的例子，使得每個(gè)判定中條件的各種可能組合都至少出現(xiàn)一次。顯然，滿足“條件組合覆蓋”的測(cè)試用例是一定滿足“分支覆蓋”、“條件覆蓋”和“分支/條件覆蓋”的。 2021-11-28Inspur group14浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室條件組合覆蓋條件組合覆蓋再看例1的程序，我們需要選擇適當(dāng)

9、的例子，使得下面 8種條件組合都能夠出現(xiàn)：1）A1, B=0 2) A1, B03) A1, B=04) A1, B05) A=2, X1 6) A=2,X1 7) A2, X1 8) A2, X1 5)、 6)、 7)、8）四種情況是第二個(gè) IF語(yǔ)句的條件組合，而X的值在該語(yǔ)句之前是要經(jīng)過(guò)計(jì)算的，所以還必須根據(jù)程序的邏輯推算出在程序的入口點(diǎn)X的輸入值應(yīng)是什么。 2021-11-28Inspur group15浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室條件組合覆蓋條件組合覆蓋下面設(shè)計(jì)的四個(gè)例子可以使上述 8種條件組合至少出現(xiàn)一次： A=2，B=0，X=4 使 1)、5)兩種情況出現(xiàn)； A=2，B=1，X=1 使 2)

10、、6)兩種情況出現(xiàn)； A=1，B=0，X=2 使 3)、7)兩種情況出現(xiàn)； A=1，B=1，X=1 使 4)、8)兩種情況出現(xiàn)。2021-11-28Inspur group16浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室條件組合覆蓋條件組合覆蓋上面四個(gè)例子雖然滿足條件組合覆蓋，但并不能覆蓋程序中的每一條路徑，例如路徑acd就沒(méi)有執(zhí)行，因此，條件組合覆蓋標(biāo)準(zhǔn)仍然是不徹底。 2021-11-28Inspur group17浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室路徑覆蓋測(cè)試路徑覆蓋測(cè)試前面提到的5種邏輯覆蓋都未涉及到路徑的覆蓋。事實(shí)上，只有當(dāng)程序中的每一條路徑都受到了檢驗(yàn)，才能使程序受到全面檢驗(yàn)。路徑覆蓋的目的就是要使設(shè)計(jì)的測(cè)試用例能覆蓋被測(cè)程

11、序中所有可能的路徑。2021-11-28Inspur group18浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室路徑測(cè)試路徑測(cè)試測(cè)試用例 通過(guò)路徑 A=2、B=0、X=3 aceA=1、B=0、X=1abdA=2、B=1、X=1abeA=3、B=0、X=1acd2021-11-28Inspur group路徑測(cè)試就是設(shè)計(jì)足夠多的測(cè)試用例，覆蓋被測(cè)試對(duì)象中的所有可能路徑。對(duì)于例1，下面的測(cè)試用例則可對(duì)程序進(jìn)行全部的路徑覆蓋。19浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室基本路徑測(cè)試基本路徑測(cè)試?yán)?是很簡(jiǎn)單的程序函數(shù)，只有四條路徑。但在實(shí)踐中，一個(gè)不太復(fù)雜的程序，其路徑都是一個(gè)龐大的數(shù)字，要在測(cè)試中覆蓋所有的路徑是不現(xiàn)實(shí)的。為了解決這一難題，只得

12、把覆蓋的路徑數(shù)壓縮到一定限度內(nèi)，如，程序中的循環(huán)體只執(zhí)行一次?；韭窂綔y(cè)試就是這樣一種測(cè)試方法，它在程序控制圖的基礎(chǔ)上，通過(guò)分析控制構(gòu)造的環(huán)行復(fù)雜性，導(dǎo)出基本可執(zhí)行路徑集合，從而設(shè)計(jì)測(cè)試用例。設(shè)計(jì)出的測(cè)試用例滿足語(yǔ)句覆蓋。 在介紹基本路徑方法之前，必須先介紹一種簡(jiǎn)單的控制流表示方法，即流圖。2021-11-28Inspur group20浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室控制流圖控制流圖流圖只有二種圖形符號(hào)圖中的每一個(gè)圓稱為流圖的結(jié)點(diǎn)，代表一條或多條語(yǔ)句，一個(gè)處理框序列和一個(gè)條件判定框（假設(shè)不包含復(fù)合條件） 。流圖中的箭頭稱為邊或連接，代表控制流。任何過(guò)程設(shè)計(jì)都要被翻譯成控制流圖。 2021-11-28Ins

13、pur group21浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室控制流圖控制流圖在將程序流程圖簡(jiǎn)化成控制流圖時(shí)，應(yīng)注意：包含條件或多分支的節(jié)點(diǎn)被稱為判定節(jié)點(diǎn)（也叫謂詞節(jié)點(diǎn)），在選擇或多分支結(jié)構(gòu)中，分支的匯聚處應(yīng)有一個(gè)匯聚結(jié)點(diǎn)。邊和結(jié)點(diǎn)圈定的區(qū)域叫做區(qū)域，當(dāng)對(duì)區(qū)域計(jì)數(shù)時(shí)，圖形外的區(qū)域也應(yīng)記為一個(gè)區(qū)域。如下頁(yè)圖所示2021-11-28Inspur group22浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室控制流圖控制流圖2021-11-28Inspur group1762,38910114,5 76 231 8 4 511 910節(jié)點(diǎn)邊區(qū)域區(qū)域：由邊和解點(diǎn)封閉起來(lái)的區(qū)域計(jì)算區(qū)域：不要忘記區(qū)域外的部分待測(cè)試程序用流圖表示的待測(cè)試程序23浪潮軟件評(píng)測(cè)

14、實(shí)驗(yàn)室控制流圖控制流圖如果判斷中的條件表達(dá)式是由一個(gè)或多個(gè)邏輯運(yùn)算符 (OR, AND, NAND, NOR) 連接的復(fù)合條件表達(dá)式，則需要改為一系列只有單條件的嵌套的判斷。例如： 1 if a or b 2 x 3 else 4 y對(duì)應(yīng)的邏輯為：2021-11-28Inspur group24浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室獨(dú)立路徑獨(dú)立路徑2021-11-28Inspur group獨(dú)立路徑：至少沿一條新的邊移動(dòng)的路徑1762,38910114,5路徑1：1-11路徑2：1-2-3-4-5-10-1-11路徑3：1-2-3-6-8-9-10-1-11路徑4：1-2-3-6-7-9-10-1-11對(duì)以上路徑

15、遍歷，能滿足語(yǔ)句覆蓋。25浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室基本路徑測(cè)試基本路徑測(cè)試基本路徑測(cè)試方法是在程序控制流圖的基礎(chǔ)上，通過(guò)分析控制構(gòu)造的環(huán)路復(fù)雜性，導(dǎo)出基本可執(zhí)行路徑集合，從而設(shè)計(jì)測(cè)試用例。包括以下4個(gè)步驟：1.程序的控制流圖：描述程序控制流的一種圖示方法。2.程序圈復(fù)雜度：McCabe復(fù)雜性度量。從程序的環(huán)路復(fù)雜性可導(dǎo)出程序基本路徑集合中的獨(dú)立路徑條數(shù)，這是確定程序中每個(gè)可執(zhí)行語(yǔ)句至少執(zhí)行一次所必須的測(cè)試用例數(shù)目的上界。3.導(dǎo)出測(cè)試用例：根據(jù)圈復(fù)雜度和程序結(jié)構(gòu)設(shè)計(jì)用例數(shù)據(jù)輸入和預(yù)期結(jié)果。4.準(zhǔn)備測(cè)試用例：確?；韭窂郊械拿恳粭l路徑的執(zhí)行。以下詳細(xì)描述：2021-11-28Inspur group2

16、6浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室基本路徑測(cè)試基本路徑測(cè)試第一步：畫(huà)出控制流圖可將流程圖映射到一個(gè)相應(yīng)的流圖(假設(shè)流程圖的菱形決定框中不包含復(fù)合條件)。 流程圖用來(lái)描述程序控制結(jié)構(gòu)。在流圖中，每一個(gè)結(jié)點(diǎn)，代表一個(gè)或多個(gè)語(yǔ)句。一個(gè)流程圖的處理方框序列和一個(gè)菱形決測(cè)框可被映射為一個(gè)流圖結(jié)點(diǎn)；流圖中的邊或連接，代表控制流，類似于流程圖中的箭頭。流圖中一條邊必須終止于一個(gè)結(jié)點(diǎn)，即使該結(jié)點(diǎn)并不代表任何語(yǔ)句(例如：if-else-then結(jié)構(gòu))。由邊和結(jié)點(diǎn)限定的范圍稱為區(qū)域。計(jì)算區(qū)域時(shí)應(yīng)包括圖外部的范圍。2021-11-28Inspur group27浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室基本路徑測(cè)試基本路徑測(cè)試?yán)?：有下面的C函數(shù)，用基

17、本路徑測(cè)試法進(jìn)行測(cè)試 void SzT1(int iRecordNum,int iType)1. 2. int x=0;3. int y=0;4. while (iRecordNum- 0)5. 6. if(0= =iType)7. x=y+2; break;8. else9. if (1= =iType)10.x=y+10;11. else12. x=y+20;13. 14. 2021-11-28Inspur group28浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室基本路徑測(cè)試基本路徑測(cè)試畫(huà)出其程序流程圖和對(duì)應(yīng)的控制流圖如下2021-11-28Inspur group46791012131429浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室基

18、本路徑測(cè)試基本路徑測(cè)試 - 計(jì)算圈復(fù)雜度計(jì)算圈復(fù)雜度第二步：計(jì)算圈復(fù)雜度圈復(fù)雜度是一種為程序邏輯復(fù)雜性提供定量測(cè)度的軟件度量，該度量用于計(jì)算程序基本獨(dú)立路徑數(shù)目，為確保所有語(yǔ)句至少執(zhí)行一次的測(cè)試數(shù)量的上界。獨(dú)立路徑必須包含一條在定義之前不曾用到的邊。有以下三種方法計(jì)算圈復(fù)雜度：1.流圖中區(qū)域的數(shù)量對(duì)應(yīng)于環(huán)型的復(fù)雜性；2.給定流圖G的圈復(fù)雜度V(G)，定義為V(G)=E-N+2，E是流圖中邊的數(shù)量，N是流圖中結(jié)點(diǎn)的數(shù)量；3.給定流圖G的圈復(fù)雜度V(G)，定義為V(G)=P+1，P是流圖G中判定結(jié)點(diǎn)的數(shù)量。 （包含條件的節(jié)點(diǎn)被稱為判定節(jié)點(diǎn)，也叫謂詞節(jié)點(diǎn)）2021-11-28Inspur group

19、30浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室基本路徑測(cè)試基本路徑測(cè)試 - 計(jì)算圈復(fù)雜度計(jì)算圈復(fù)雜度對(duì)應(yīng)上面圖中的圈復(fù)雜度，計(jì)算如下：流圖中有四個(gè)區(qū)域；V(G)=10條邊-8結(jié)點(diǎn)+2=4;V(G)=3個(gè)判定結(jié)點(diǎn)+1=4。2021-11-28Inspur group46791012131431浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室基本路徑測(cè)試基本路徑測(cè)試 - 導(dǎo)出測(cè)試用例導(dǎo)出測(cè)試用例第三步：導(dǎo)出測(cè)試用例：根據(jù)上面的計(jì)算方法，可得出四個(gè)獨(dú)立的路徑。(一條獨(dú)立路徑是指，和其他的獨(dú)立路徑相比，至少引入一個(gè)新處理語(yǔ)句或一個(gè)新判斷的程序通路。V(G)值正好等于該程序的獨(dú)立路徑的條數(shù)。)路徑1：4-14路徑2：4-6-7-14路徑3：4-6-9-10

20、-13-4-14路徑4：4-6-9-12-13-4-14根據(jù)上面的獨(dú)立路徑，去設(shè)計(jì)輸入數(shù)據(jù)，使程序分別執(zhí)行到上面四條路徑。2021-11-28Inspur group46791012131432浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室基本路徑測(cè)試基本路徑測(cè)試 - 準(zhǔn)備測(cè)試用例準(zhǔn)備測(cè)試用例第四步：準(zhǔn)備測(cè)試用例為確?；韭窂郊械拿恳粭l路徑的執(zhí)行，根據(jù)判斷結(jié)點(diǎn)給出的條件，選擇適當(dāng)?shù)臄?shù)據(jù)以保證每一條路徑可被測(cè)到。必須注意，一些獨(dú)立的路徑，往往不是完全孤立的，有時(shí)它是程序正常的控制流的一部分，這時(shí)，這些路徑的測(cè)試可以是另一條路徑測(cè)試的一部分。2021-11-28Inspur group33浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室單元測(cè)試的概念單

21、元測(cè)試就是對(duì)已實(shí)現(xiàn)的軟件最小單元進(jìn)行測(cè)試，以保證構(gòu)成軟件系統(tǒng)的各個(gè)單元的質(zhì)量 單元測(cè)試活動(dòng)中，強(qiáng)調(diào)被測(cè)試對(duì)象的獨(dú)立性單元測(cè)試應(yīng)從各個(gè)層次來(lái)對(duì)單元內(nèi)部算法、外部功能實(shí)現(xiàn)等進(jìn)行檢驗(yàn)，包括對(duì)程序代碼的評(píng)審和通過(guò)運(yùn)行單元程序來(lái)驗(yàn)證其功能特性等內(nèi)容。 單元測(cè)試主要采用白盒測(cè)試方法，輔以黑盒測(cè)試方法。白盒測(cè)試方法應(yīng)用于代碼評(píng)審、單元程序檢驗(yàn)之中，而黑盒測(cè)試方法則應(yīng)用于模塊、組件等大單元的功能測(cè)試之中 2021-11-28Inspur group34浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室黑盒測(cè)試和白盒測(cè)試黑盒測(cè)試方法（Blake-box Testing），是把程序看作一個(gè)不能打開(kāi)的黑盒子，不考慮程序內(nèi)部結(jié)構(gòu)和內(nèi)部特性，而是考察

22、數(shù)據(jù)的輸入、條件限制和數(shù)據(jù)輸出，完成測(cè)試 白盒測(cè)試方法（White-box Testing），也稱結(jié)構(gòu)測(cè)試或邏輯驅(qū)動(dòng)測(cè)試。白盒測(cè)試方法是根據(jù)模塊內(nèi)部結(jié)構(gòu)了解，基于內(nèi)部邏輯結(jié)構(gòu)，針對(duì)程序語(yǔ)句、路徑、變量狀態(tài)等來(lái)進(jìn)行測(cè)試，檢驗(yàn)程序中的各個(gè)分支條件是否得到滿足、每條執(zhí)行路徑是否按預(yù)定要求正確的工作。 2021-11-28Inspur group35浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室驅(qū)動(dòng)程序和樁程序驅(qū)動(dòng)程序（driver），對(duì)底層或子層模塊進(jìn)行（單元或集成）測(cè)試時(shí)所編制的調(diào)用被測(cè)模塊的程序，用以模擬被測(cè)模塊的上級(jí)模塊 樁程序（stub），也有人稱為存根程序，對(duì)頂層或上層模塊進(jìn)行測(cè)試時(shí)，所編制的替代下層模塊的程序，用以

23、模擬被測(cè)模塊工作過(guò)程中所調(diào)用的模塊。 2021-11-28Inspur group36浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室測(cè)試用例設(shè)計(jì)準(zhǔn)則測(cè)試用例的非重復(fù)性測(cè)試用例不應(yīng)是與原有測(cè)試用例重復(fù)的或等價(jià)效果的，應(yīng)追求測(cè)試用例數(shù)目的精簡(jiǎn)測(cè)試結(jié)果的可判定性即測(cè)試執(zhí)行結(jié)果的正確性是可判定的，每一個(gè)測(cè)試用例都應(yīng)有相應(yīng)的期望結(jié)果。測(cè)試結(jié)果的可再現(xiàn)性對(duì)同樣的測(cè)試用例，系統(tǒng)的執(zhí)行結(jié)果應(yīng)當(dāng)是相同的。好的測(cè)試用例集能花費(fèi)最小的代價(jià)（人力、物力、財(cái)力、時(shí)間）做最好的測(cè)試2021-11-28Inspur group37浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室白盒測(cè)試方法的用例設(shè)計(jì)語(yǔ)句覆蓋判定覆蓋條件覆蓋基本路徑測(cè)試法2021-11-28Inspur group

24、38浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室黑盒測(cè)試方法的用例設(shè)計(jì)黑盒測(cè)試的目的是為了在不了解單元將如何實(shí)施指定行為的情況下,對(duì)指定行為進(jìn)行驗(yàn)證黑盒測(cè)試側(cè)重并依賴于單元的輸入和輸出2021-11-28Inspur group39浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室黑盒測(cè)試的優(yōu)點(diǎn)缺點(diǎn)優(yōu)點(diǎn)：黑盒測(cè)試與軟件如何實(shí)現(xiàn)無(wú)關(guān)，如果實(shí)現(xiàn)發(fā)生變化，黑盒測(cè)試用例仍然可用（可重用性，面向回歸測(cè)試）用例設(shè)計(jì)可以與軟件的實(shí)現(xiàn)同時(shí)進(jìn)行，加快了軟件測(cè)試與開(kāi)發(fā)的速度缺點(diǎn)：只能找到缺陷，難以查找錯(cuò)誤的具體原因沒(méi)有清晰的需求規(guī)格說(shuō)明書(shū)，測(cè)試用例很難被設(shè)計(jì)相比白盒測(cè)試，測(cè)試用例產(chǎn)生遺漏或冗余的可能性大大增加2021-11-28Inspur group40浪潮軟件評(píng)測(cè)實(shí)驗(yàn)室集成測(cè)試的模式漸增式集成模式與非漸增式集成模式非漸增式測(cè)試模式：先分別測(cè)試每個(gè)模塊，再把所有模塊按設(shè)計(jì)要求放在一起結(jié)合成所要的程序漸增式測(cè)試模式：把下一個(gè)