白盒測試PPT課件

1、2022-4-22單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -2 2/XX-/XX-引言引言n 靜態(tài)測試和動態(tài)測試 靜態(tài)測試是指不運(yùn)行程序進(jìn)行的測試-只是檢查和審閱。n 白盒測試和黑盒測試 測試用例的設(shè)計(jì)中，通常會把白盒測試和黑盒測試結(jié)合起來使用 單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -3 3/XX-/XX-本章主要內(nèi)容本章主要內(nèi)容4.1靜態(tài)測試技術(shù)4.2白盒測試技術(shù) 單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -4 4/XX-/XX-4.1靜態(tài)測試技術(shù)靜態(tài)測試技術(shù) n 4.1.1 代碼檢查n 4

2、.1.2 靜態(tài)結(jié)構(gòu)分析n 4.1.3 代碼質(zhì)量度量 單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -5 5/XX-/XX-4.1.1 代碼檢查代碼檢查n 代碼檢查包括代碼走查、代碼審查等 單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -6 6/XX-/XX-代碼走查代碼走查n 有組織的代碼走查在編碼階段去除錯誤的成本是在軟件發(fā)布階段去除錯誤成本的1/92n 全部的代碼是否都需要走查 n 最大的問題是勸說開發(fā)者要遵循一定的標(biāo)準(zhǔn) 單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -7 7/XX-/XX-編碼風(fēng)格與規(guī)范編

3、碼風(fēng)格與規(guī)范n 好的風(fēng)格對于好的程序設(shè)計(jì)具有關(guān)鍵性作用 n 代碼應(yīng)該是清楚的和簡單的-具有直截了當(dāng)?shù)倪壿?、自然的表達(dá)式、通行的語言使用方式 單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -8 8/XX-/XX-代碼審查代碼審查 n代碼審查和代碼走查比較n代碼審查是提高代碼質(zhì)量的良藥 1.消除開發(fā)員的心理抵觸 2.代碼審查要有目標(biāo) n代碼審查清單單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -9 9/XX-/XX-4.1.2靜態(tài)結(jié)構(gòu)分析靜態(tài)結(jié)構(gòu)分析 靜態(tài)結(jié)構(gòu)分析主要是以圖形的方式表現(xiàn)程序的內(nèi)部結(jié)構(gòu)，例如函數(shù)調(diào)用關(guān)系圖、函數(shù)內(nèi)部控制流圖。其中

4、，函數(shù)調(diào)用關(guān)系圖以直觀的圖形方式描述一個應(yīng)用程序中各個函數(shù)的調(diào)用和被調(diào)用關(guān)系；控制流圖顯示一個函數(shù)的邏輯結(jié)構(gòu)，它由許多節(jié)點(diǎn)組成，一個節(jié)點(diǎn)代表一條語句或數(shù)條語句，連接結(jié)點(diǎn)的叫邊，邊表示節(jié)點(diǎn)間的控制流向。 單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -1010/XX-/XX-4.1.3 代碼質(zhì)量度量代碼質(zhì)量度量 ISO/IEC 9126國際標(biāo)準(zhǔn)所定義的軟件質(zhì)量包括六個方面：功能性、可靠性、易用性、效率、可維護(hù)性和可移植性。軟件的質(zhì)量是軟件屬性的各種標(biāo)準(zhǔn)度量的組合。單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -1111/XX-/XX-4.2

5、白盒測試方法白盒測試方法 n 白盒測試，也稱為結(jié)構(gòu)化測試、基于代碼的測試，是一種測試用例設(shè)計(jì)方法，它從程序的控制結(jié)構(gòu)導(dǎo)出測試用例。 3581322.293419985680302829734315250*(1+0.015)*(1+0.015)360-1)/0.015白盒測試 帶上X光眼鏡測試單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -1212/XX-/XX-4.2白盒測試方法白盒測試方法這個流程圖，其中包括了一個執(zhí)行達(dá)20次的循環(huán)。那么它所包含的不同執(zhí)行路徑數(shù)高達(dá)520條，若要對它進(jìn)行窮舉測試，覆蓋所有的路徑。假使測試程序?qū)γ恳粭l路徑進(jìn)行測試需要1毫秒，同樣假定

6、一天工作24小時，一年工作365 天， 那么要想把如圖所示的小程序的所有路徑測試完，則需要3170年。單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -1313/XX-/XX-4.2白盒測試方法白盒測試方法n 由于對于不同復(fù)雜度的代碼邏輯，可以衍生出許多種執(zhí)行路徑，只有選擇適當(dāng)?shù)臏y試方法，才能幫助我們從代碼的迷霧森林中找到正確的方向。單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -1414/XX-/XX-4.2.1 邏輯覆蓋法邏輯覆蓋法n白盒測試中的邏輯覆蓋方法有以下6種：1.語句覆蓋2.判定覆蓋3.條件覆蓋4.判定條件覆蓋5.條件組合覆蓋

7、6.路徑覆蓋單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -1515/XX-/XX-例：實(shí)現(xiàn)一個簡單的數(shù)學(xué)運(yùn)算例：實(shí)現(xiàn)一個簡單的數(shù)學(xué)運(yùn)算1. Dim a,b As Integer2. Dim c As Double3. If (a0 And b0) Then4. c=c/a5. End if6. If (a1 or c1) Then7. c=c+18. End if9. c=b+c單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -1616/XX-/XX-1.語句覆蓋語句覆蓋n基本思想是：設(shè)計(jì)若干測試用例，運(yùn)行被測程序，使程序中每個可執(zhí)行語句

8、至少執(zhí)行一次。1單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -1717/XX-/XX-1.語句覆蓋語句覆蓋續(xù)續(xù)1只需設(shè)計(jì)一個測試用例:a=2，b=1，c=6；即達(dá)到了語句覆蓋。單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -1818/XX-/XX-1.語句覆蓋語句覆蓋續(xù)續(xù)2n 【優(yōu)點(diǎn)優(yōu)點(diǎn)】 ：可以很直觀地從源代碼得到測試用例，無須細(xì)分每條判定表達(dá)式。n 【缺點(diǎn)缺點(diǎn)】 ：由于這種測試方法僅僅針對程序邏輯中顯式存在的語句，但對于隱藏的條件是無法測試的。如在多分支的邏輯運(yùn)算中無法全面的考慮。語句覆蓋是最弱的邏輯覆蓋。單擊此處編輯母版標(biāo)題樣式單

9、擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -1919/XX-/XX-2.判定覆蓋判定覆蓋n基本思想是：設(shè)計(jì)若干測試用例，運(yùn)行被測程序，使得程序中每個判斷的取真分支和取假分支至少經(jīng)歷一次，即判斷真假值均曾被滿足。1單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -2020/XX-/XX-2.判定覆蓋判定覆蓋續(xù)續(xù)1a=2，b=1 ，c=6可覆蓋判斷M的Y分支和判斷Q的Y分支； a=-2，b=-1 ，c=-3可覆蓋判斷M的N分支和判斷Q的N分支 。 這兩組測試用例可覆蓋所有判定的真假分支。判斷M判斷Q單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高

10、效- -2121/XX-/XX-2.判定覆蓋判定覆蓋續(xù)續(xù)2a=1，b=1 ，c=-3 可覆蓋判斷M的Y分支和判斷Q的N分支 ； a=1，b=-2 ，c=3可覆蓋判斷M的N分支和判斷Q的Y分支 ； 同樣的這兩組測試用例也可覆蓋所有判定的真假分支。判斷M判斷Q單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -2222/XX-/XX-2.判定覆蓋判定覆蓋續(xù)續(xù)3n 【優(yōu)點(diǎn)優(yōu)點(diǎn)】：判定覆蓋具有比語句覆蓋更強(qiáng)的測試能力。同樣判定覆蓋也具有和語句覆蓋一樣的簡單性，無須細(xì)分每個判定就可以得到測試用例。n 【缺點(diǎn)缺點(diǎn)】：往往大部分的判定語句是由多個邏輯條件組合而成，若僅僅判斷其整個最終

11、結(jié)果，而忽略每個條件的取值情況，必然會遺漏部分測試路徑。判定覆蓋仍是弱的邏輯覆蓋。單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -2323/XX-/XX-3.條件覆蓋條件覆蓋n基本思想是：設(shè)計(jì)若干測試用例，執(zhí)行被測程序以后要使每個判斷中每個條件的可能取值至少滿足一次。1單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -2424/XX-/XX-3.條件覆蓋條件覆蓋續(xù)續(xù)1n 判斷M表達(dá)式:設(shè)條件 a0 取真 記為 T1 假 F1 條件 b0 取真 記為 T2 假 F2n 判斷Q表達(dá)式:設(shè)條件 a1 取真 記為 T3 假 F3 條件 c1 取真

12、記為 T4 假 F4判斷M判斷Q單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -2525/XX-/XX-3.條件覆蓋條件覆蓋續(xù)續(xù)2測試用例覆蓋條件具體取值條件a=2,b=-1,c=-2T1, F2, T3, F4a0,b1,c=1a=-1,b=2,c=3F1, T2, F3, T4a0,a1它覆蓋了判定它覆蓋了判定M M的的N分支和判斷分支和判斷Q Q的的Y分支分支。我們用條件覆蓋設(shè)計(jì)的思想就是讓測試用例能覆蓋T1、T2、T3、T4、F1、F2、F3、F4判斷M判斷Q單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -2626/XX-/XX-

13、3.條件覆蓋條件覆蓋續(xù)續(xù)3n 【優(yōu)點(diǎn)優(yōu)點(diǎn)】：增加了對條件判定情況的測試，增加了測試路徑。n 【缺點(diǎn)缺點(diǎn)】：條件覆蓋不一定包含判定覆蓋。例如，我們剛才設(shè)計(jì)的用例就沒有覆蓋判斷M的Y分支和判斷Q的N分支。條件覆蓋只能保證每個條件至少有一次為真，而不考慮所有的判定結(jié)果。單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -2727/XX-/XX-4.判定條件覆蓋判定條件覆蓋n基本思想是：設(shè)計(jì)足夠的測試用例，使得判斷條件中的所有條件可能至少執(zhí)行一次取值，同時，所有判斷的可能結(jié)果至少執(zhí)行一次。1單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -2828/X

14、X-/XX-判斷M判斷Q4.判定條件覆蓋判定條件覆蓋續(xù)續(xù)1 按照判定條件覆蓋的要求，我們設(shè)計(jì)的測試用例要滿足如下條件：1. 所有條件可能至少執(zhí)行一次取值；2. 所有判斷的可能結(jié)所有判斷的可能結(jié)果至少執(zhí)行一次。果至少執(zhí)行一次。要滿足要滿足T1、T2、 T3 、T4F1、 F2 、F3、F4單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -2929/XX-/XX-4.判定條件覆蓋判定條件覆蓋續(xù)續(xù)2測試用例覆蓋條件覆蓋判斷a=2,b=1,c=6T1, T2,T3, T4M的Y分支和Q的Y分支a=-1,b=-2,c=-3F1, F2, F3, F4M的N分支和Q的N分支判斷M

15、判斷Q要滿足要滿足T1、T2、 T3 、T4F1、 F2 、F3、F4單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -3030/XX-/XX-4.判定條件覆蓋判定條件覆蓋續(xù)續(xù)3n 【優(yōu)點(diǎn)優(yōu)點(diǎn)】 ：能同時滿足判定、條件兩種覆蓋標(biāo)準(zhǔn)。n 【缺點(diǎn)缺點(diǎn)】 ：判定/條件覆蓋準(zhǔn)則的缺點(diǎn)是未考慮條件的組合情況。單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -3131/XX-/XX-5.條件組合覆蓋條件組合覆蓋n基本思想是：設(shè)計(jì)足夠的測試用例，基本思想是：設(shè)計(jì)足夠的測試用例，使得所有可能的條件取值組合使得所有可能的條件取值組合至少執(zhí)行一次至少執(zhí)行一次1單

16、擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -3232/XX-/XX-5.條件組合覆蓋條件組合覆蓋續(xù)續(xù)1n 按照條件組合覆蓋的基本思想，對于前面的例子，我們把每個判斷中的所有條件進(jìn)行組合，設(shè)計(jì)組合條件如表所示，而我們設(shè)計(jì)的測試用例就要包括所有的組合條件。編號覆蓋條件取值判定條件取值具體條件取值1 T1,T2M取Y a0,b02 T1,F2M取N a0,b=03 F1,T2M取N a04 F1,F2M取N a= 0,b1,c16 T3,F4Q取Y a1,c=17 F3,T4Q取Y a18 F3,F4Q取N a=1,c=2或者出度=2；n 由一個節(jié)點(diǎn)組成，入度=1并且出

17、度=1；n 長度=的最大鏈。單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -5656/XX-/XX-DD-路徑測試路徑測試?yán)m(xù)續(xù)2n 為了便于理解，我們用圖3-4三角形偽代碼映射成的控制流圖來說明這五種情況。 單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -5757/XX-/XX-節(jié)點(diǎn) DD-路徑名稱 定義情況 4第一15-8A59B310C411D412E313F314H315I416J317K418L419M320N321G422O323最后2單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -5858/XX-/

18、XX-DD-路徑測試路徑測試?yán)m(xù)續(xù)3n 提出DD-路徑的目的很多質(zhì)量機(jī)構(gòu)都把DD-路徑覆蓋作為測試覆蓋的最低可接受級別。E.F.Miller發(fā)現(xiàn),當(dāng)通過一組測試用例滿足DD-路徑覆蓋要求時，可以發(fā)現(xiàn)全部缺陷中的大約85%（Miller 1991）。n 如果每一條DD-路徑都被遍歷，則我們知道每個判斷分支都被執(zhí)行，其實(shí)就是遍歷DD-路徑圖中每條邊。對于if類的 語句，這意味著真、假分支都要覆蓋。對于CASE語句，則每個子句都要覆蓋。單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -5959/XX-/XX-基本路徑測試基本路徑測試n 基本路徑測試法是在程序控制流圖的基礎(chǔ)上，

19、通過分析控制構(gòu)造的環(huán)路復(fù)雜性，導(dǎo)出基本可執(zhí)行路徑集合，從而設(shè)計(jì)測試用例的方法。設(shè)計(jì)出的測試用例要保證在測試中程序的每個可執(zhí)行語句至少執(zhí)行一次。 單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -6060/XX-/XX-基本路徑測試基本路徑測試?yán)m(xù)續(xù)基本路徑測試法包括以下5個方面：1. 程序的控制流圖：描述程序控制流的一種圖示方法。2. 程序環(huán)境復(fù)雜性： 環(huán)形復(fù)雜度是一種為程序邏輯復(fù)雜性提供定量測度的軟件度量，將該度量用于計(jì)算程序的基本獨(dú)立路徑數(shù)目邊。3. 導(dǎo)出測試用例：通過程序的控制流圖導(dǎo)出基本路徑集，列出程序的獨(dú)立路徑。4. 準(zhǔn)備測試用例，確?；韭窂郊械拿恳粭l路徑

20、的執(zhí)行。5. 圖形矩陣：是在基本路徑測試中起輔助作用的軟件工具，利用它可以實(shí)現(xiàn)自動地確定一個基本路徑集。單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -6161/XX-/XX-基本路徑測試基本路徑測試舉例舉例n 下面我們通過一個實(shí)例來說明基本路徑測試。n 例：請看以下代碼，它由C+語言書寫。，把它轉(zhuǎn)化成圖形矩陣，最后請使用基本路徑測試法為變量temp設(shè)計(jì)測試用例，使之滿足基本路徑覆蓋要求。單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -6262/XX-/XX-基本路徑測試基本路徑測試舉例舉例1. void ReadPara( CStrin

21、g temp)2. 3. if ( temp = = =)4. m_oper.SetCurSel(0);5. else6. 7. if (temp = = )8. m_oper.SetCurSel(1);9. else10. 11. if ( temp = = = =)12. m_oper.SetCurSel(2);13. else14. 15. if( temp = = =)16. m_oper.SetCurSel(3);17. else18. 19. if ( temp = = =”）m_oper.SetCurSel(0)Path 2ReadPara（”）m_oper.SetCurSel(

22、1)Path 3ReadPara（”=”）m_oper.SetCurSel(2)Path 4ReadPara（”）m_oper.SetCurSel(3)Path 5ReadPara（”=”）m_oper.SetCurSel(4)Path 6ReadPara（”+”）m_oper.SetCurSel(5)單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -6565/XX-/XX-4.2.5 程序插樁程序插樁n 在軟件測試中，常常要用到一種“插樁”技術(shù)，通過在源代碼中加入記錄信息語句，以便進(jìn)行運(yùn)行信息的追蹤和調(diào)試，統(tǒng)計(jì)有關(guān)的運(yùn)行資源狀況。單擊此處編輯母版標(biāo)題樣式單擊此處編輯

23、母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -6666/XX-/XX-程序插樁程序插樁續(xù)續(xù)n 想做插樁，可以思考以下幾點(diǎn)： （1）如果出現(xiàn)在語句中包含了return語句，怎么在它前面插入指定語句？同時保證語句的語法合法性？ 例如： for ( j=0;j10000;j+) if ( j = k) return ; - 不能直接在之前插入，否則意義全變了； 單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -6767/XX-/XX-程序插樁程序插樁續(xù)續(xù)2 （2）當(dāng)出現(xiàn)需要在for 循環(huán)語句、while循環(huán)語句中進(jìn)行插入信息時候，很可能會導(dǎo)致程序運(yùn)行時間非常長，是否有辦法改進(jìn)“插

24、樁”機(jī)制？ （3）是否可以由用戶進(jìn)行指定，比如for 語句、while語句或者指定的語句前不允許進(jìn)行“插樁”，怎么實(shí)現(xiàn)？ （4）如果對于一個龐大的系統(tǒng)軟件，我們需要進(jìn)行對所運(yùn)行的程序的每個函數(shù)記錄其運(yùn)行的有關(guān)參數(shù)，如：運(yùn)行開始時間、退出時間、運(yùn)行總時間、調(diào)用次數(shù)等等的統(tǒng)計(jì)，您有什么更好的建議與想法呢？單擊此處編輯母版標(biāo)題樣式單擊此處編輯母版標(biāo)題樣式規(guī)范 標(biāo)準(zhǔn) 專業(yè) 高效- -6868/XX-/XX-本章小結(jié)本章小結(jié)1. 白盒測試是軟件測試技術(shù)中最基本的方法之一，白盒測試的核心是針對被測單元內(nèi)部是如何進(jìn)行工作的測試，是以覆蓋測試與路徑測試為基本策略。2. 白盒測試是一種被廣泛使用的邏輯測試方法，是由程序內(nèi)部邏輯驅(qū)動的一種單元測試方法。只有對程序內(nèi)部十分了解才能進(jìn)行適度有效的白盒測試。但是貫穿在程序內(nèi)部的邏輯存在著不確定性和無窮性，尤其對于大規(guī)模復(fù)雜軟件。因此我們不能窮舉所有的邏輯路徑，即使窮舉也未必會帶來好運(yùn)（窮舉不能查出程序邏輯規(guī)則錯誤，不能查出數(shù)據(jù)相關(guān)錯誤，不能查出程序遺漏的路徑）。3. 那