第6章基于控制流和數(shù)據(jù)流的測試充分性評價

1、基于控制流和數(shù)據(jù)流的測試充基于控制流和數(shù)據(jù)流的測試充分性評價分性評價楊亞娟楊亞娟第第6 6章章Foundations of Software Testing26.1 測試充分性基礎(chǔ)充分性：用來度量一個給定的測試集是否能驗證軟件P滿足其需求。C：如果針對R中的每一個需求r，測試集T中至少有一個測試用例測試證明了P滿足r，則認為T針對（P，R）是充分的。對每一個測試準(zhǔn)則C，我們都導(dǎo)出一個有限集，稱之為覆蓋域，記為 。（ 依賴于代碼或需求）測試準(zhǔn)則C的包括：基于控制流的覆蓋準(zhǔn)則和基于數(shù)據(jù)流的覆蓋準(zhǔn)則。一個充分的測試集有可能不能發(fā)現(xiàn)軟件中最明顯的錯誤。eCeC36.1 通過度量充分性來增強測試例例6.

2、1 考慮編寫程序sumProduct,其需求如下:R1：輸入兩個整數(shù)x和y。R2.1：若xy，求x與y之和，并輸出結(jié)果。R2.2：若xy，求x與y之積，并輸出結(jié)果。測試集T=t：對于充分性不足的測試集，通過增加新的測試用例，對其進行測試增強，借此提高發(fā)現(xiàn)軟件錯誤的幾率。46.1 測試充分性基礎(chǔ)若程序包含循環(huán)結(jié)構(gòu)，則只要T遍歷過循環(huán)體0次和1次即可。覆蓋域的有效性可以通過對軟件執(zhí)行測試用例，觀察具體的元素是否確實被覆蓋了來驗證。然而無效性卻不能通過執(zhí)行有限個數(shù)的測試用例來驗證。對于更復(fù)雜的程序，確定一個元素是否有效是很困難的，因此，通過用t測試P試圖覆蓋元素e以增強測試集可能會失敗。如果覆蓋域中

3、存在無效元素，那么一個測試集覆蓋域中的所有有效元素時就說該測試集是充分的。因此，在有無效元素的情況下，覆蓋率小于1時，測試也可能是充分的。56.1 測試充分性基礎(chǔ)1 begin2 int x,y;3 int z;4 input (x,y);z=0;5 if(x0 and y0 And b0) c=c/a; If (a1 or c1) c=c+1;1. c=b+c8語句覆蓋只需設(shè)計一個測試用例:a=2，b=1，c=6；即達到了語句覆蓋。9語句覆蓋優(yōu)點：可以很直觀地從源代碼得到測試用例，無須細分每條判定表達式。缺點：由于這種測試方法僅僅針對程序邏輯中顯示存在的語句，但對于隱藏的條件是無法測試的。語

4、句覆蓋是最弱的邏輯覆蓋。106.2.2 條件和判定任何計算結(jié)果為真或假的表達式就是一個條件條件，這種表達式也稱作謂詞。一個條件可能是簡單的或復(fù)合的。簡單條件簡單條件除了用運算符外，它由變量和至多一個關(guān)系運算符構(gòu)成；復(fù)合條件復(fù)合條件由兩個或多個簡單條件經(jīng)一個或多個布爾運算符連接而成。任何一個條件都可在適當(dāng)?shù)纳舷挛沫h(huán)境下當(dāng)作一個判定。（if，while，switch）一個判定有三種可能的輸出：真、假和未定義。116.2.3 判定覆蓋判定覆蓋基本思想是：設(shè)計若干測試用例，運行被測程序，使得程序中每個判斷的取真分支和取假分支至少經(jīng)歷一次，即判斷真假值均曾被滿足。126.2.3 判定覆蓋判定覆蓋 a=2

5、，b=1 ，c=6可覆蓋判斷M的Y分支和判斷Q的Y分支； a=-2，b=-1 ，c=-3可覆蓋判斷M的N分支和判斷Q的N分支 。 這兩組測試用例可覆蓋所有判定的真假分支。判斷M判斷Q136.2.3 判定覆蓋判定覆蓋【優(yōu)點優(yōu)點】：判定覆蓋具有比語句覆蓋更強的測試能力。同樣判定覆蓋也具有和語句覆蓋一樣的簡單性，無須細分每個判定就可以得到測試用例?！救秉c缺點】：往往大部分的判定語句是由多個邏輯條件組合而成，若僅僅判斷其整個最終結(jié)果，而忽略每個條件的取值情況，必然會遺漏部分測試路徑。判定覆蓋仍是弱的邏輯覆蓋。146.2.4 條件覆蓋條件覆蓋基本思想是：設(shè)計若干測試用例，執(zhí)行被測程序以后要使每個判斷中每

6、個條件的可能取值至少滿足一次。1156.2.4 條件覆蓋條件覆蓋判斷M表達式:設(shè)條件 a0 取真 記為 T1 假 F1 條件 b0 取真 記為 T2 假F2判斷Q表達式:設(shè)條件 a1 取真 記為 T3 假 F3 條件 c1 取真 記為 T4 假F4判斷M判斷Q166.2.4 條件覆蓋條件覆蓋測試用例覆蓋條件具體取值條件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è)計的思想就是讓測試用例能覆設(shè)計的思想就是讓

7、測試用例能覆蓋T1、T2、T3、T4、F1、F2、F3、F4 4。176.2.4 條件覆蓋條件覆蓋【優(yōu)點】【優(yōu)點】：增加了對條件判定情況的測試，增加了測試路徑。【缺點】【缺點】：條件覆蓋不一定包含判定覆蓋。例如，我們剛才設(shè)計的用例就沒有覆蓋判斷M的Y分支和判斷Q的N分支。條件覆蓋只能保證每個條件至少有一次為真，而不考慮所有的判定結(jié)果。186.2.5 條件條件/判定覆蓋判定覆蓋基本思想是：設(shè)計足夠的測試用例，使得判斷條件中的所有條件可能取值至少執(zhí)行一次，同時，所有判斷的可能結(jié)果至少執(zhí)行一次。119判斷M判斷Q6.2.5 條件條件/判定覆蓋判定覆蓋按照條件/判定覆蓋的要求，我們設(shè)計的測試用例要滿足

8、如下條件：所有條件可能至少執(zhí)行一次取值；所有判斷的可能結(jié)所有判斷的可能結(jié)果至少執(zhí)行一次。果至少執(zhí)行一次。要滿足要滿足T1、T2、 T3 、T4F1、 F2 、F3、F4206.2.5 條件條件/判定覆蓋判定覆蓋測試用例覆蓋條件覆蓋判斷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判斷Q要滿足要滿足T1、T2、 T3 、T4F1、 F2 、F3、F4216.2.5 條件條件/判定覆蓋判定覆蓋【優(yōu)點優(yōu)點】 ：能同時滿足判定、條件兩種覆蓋標(biāo)準(zhǔn)?！救秉c缺點】 ：條件/判定覆蓋準(zhǔn)則的缺點是未考慮條件的組

9、合情況。226.2.6 多重條件覆蓋多重條件覆蓋基本思想是：設(shè)計足夠的測試用例，基本思想是：設(shè)計足夠的測試用例，使使得所有可能的條件取值組合至少執(zhí)行一得所有可能的條件取值組合至少執(zhí)行一次次1236.2.6 多重條件覆蓋多重條件覆蓋按照條件組合覆蓋的基本思想，對于前面的例子，我們把每個判斷中的所有條件進行組合，設(shè)計組合條件如表所示，而我們設(shè)計的測試用例就要包括所有的組合條件。編號覆蓋條件取值判定條件取值具體條件取值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

10、取Y a18 F3,F4Q取N a=1,c0) output(z);)356.3.3 全局和局部的定義與使用一個變量可能在同一個基本塊中被定義、使用和重定義?？紤]如下含有3條語句的基本塊： p=y+z; x=p+1; p=z*z; 這個基本塊定義了p，使用了p，并且還重定義了p。p的第一 個定義是局部的，這個定義被同一基本塊中的第二個定義屏蔽了，因此，它的值未能超越此基本塊。p的第二個定義則是全局的。 注:在本章中，我們只關(guān)心全局定義和使用，局部定義與使用在研究基于數(shù)據(jù)流的測試充分性時沒有意義。366.3.4 數(shù)據(jù)流圖 程序的數(shù)據(jù)流圖(DFG)也稱為def-use圖，它勾畫了程序中變量在不同基

11、本塊間的定義流。 ：定義在基本塊i中的變量的集合。程序中的變量聲明、賦值語句、輸入語句和傳址調(diào)用都可以用來定義變量。 ：在基本塊i中有 的變量的集合。 ：在基本塊i中有 的變量的集合。 例：p=y+z; foo(p+q,number);/傳值參數(shù) Ai=x+1; if(xy).iuse-ciuse-pidefuse-cuse-p376.3.4 數(shù)據(jù)流圖 構(gòu)造數(shù)據(jù)流圖的過程：步驟步驟1 計算P中每個基本塊i的 、 和 。步驟步驟2 將結(jié)點集N中的每個結(jié)點i與 、 和 關(guān)聯(lián)起來。步驟步驟3 針對每個具有非空 集并且在條件C處結(jié)束的結(jié)點i，如果條件C為真時執(zhí)行的是邊(i,j)，C為假時執(zhí)行的是邊(i

12、,k)，分別將邊(i,j)，(i,k)與C，！C關(guān)聯(lián)起來。 idefiuse-ciuse-pidefiuse-ciuse-puse-p381 begin2 int x,y;3 int z;4 input (x,y);z=0;5 if(x0 and y0)6 z=x*x;7 if(y0) z=z+1;8 9 else z=x*x*x;10 output(z);11 end396.3.5 defclear路徑def-clear路徑：路徑：假設(shè)變量x在結(jié)點i中定義，在結(jié)點j中使用，考慮路徑p=（i,n1,n2,.,nk,j)，k0，路徑p從結(jié)點i開始，結(jié)束于結(jié)點j，并且結(jié)點i、j在子路徑n1,n2,

13、.,nk中未出現(xiàn)，如果變量x沒有在子路徑n1,n2,.,nk中被重定義，稱p是變量x的defclear路徑。在這種情況下，也稱x在結(jié)點i處的定義，即di(x)在結(jié)點j處是活躍的。406.3.6 defuse對def-use對對勾畫了變量的一次特定的定義和使用。我們只關(guān)心兩種類型的defuse對：一種是定義及其cuse構(gòu)成的defuse對，另一種是定義及其puse構(gòu)成的defuse對，分別用集合dcu和dpu來描述這兩類defuse對。416.4 基于數(shù)據(jù)流的測試充分性準(zhǔn)則1）All-defs coverage (ADC)：對于du-path的每一個集合S=du(n,v)，TR包含了S中的至少一條路徑d（確保了所有被定義的變量被使用）2）All-uses coverage(AUC)：對于du-path的每一個要被使用的集合S=du(ni,nj,v)，TR包含了S中的至少一條路徑（確保每個定義能夠到達所有可能的使用）3）All-du-paths coverage(ADUPC)：對于每個集合S=du(ni,nj,v)，TR包含了S中的所有路徑（覆蓋定義和使用之間的所有路徑）426.5 控制流和數(shù)據(jù)流 基于控制流的測試充分性準(zhǔn)則旨在測試