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

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

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

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

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

5、判定覆蓋 a=2，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缺點】：往往大部分的判定語句是由多個邏輯條件組合而成，若僅僅判斷其整個最終結果，而忽略每個條件的取值情況，必然會遺漏部分測試路徑。判定覆蓋仍是弱的邏輯覆蓋。146.2.4 條件覆蓋條件覆蓋基本思想是：設計若干測試用例，執(zhí)行被測程序以后

6、要使每個判斷中每個條件的可能取值至少滿足一次。1156.2.4 條件覆蓋條件覆蓋判斷M表達式:設條件 a0 取真 記為 T1 假 F1 條件 b0 取真 記為 T2 假F2判斷Q表達式:設條件 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分支。我們用條件覆蓋分支。我們用條件覆蓋設計的思想就是讓測試用例能覆

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

8、的測試用例要滿足如下條件：1. 所有條件可能至少執(zhí)行一次取值；2. 所有判斷的可能結所有判斷的可能結果至少執(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)點】 ：能同時滿足判定、條件兩種覆蓋標準?！救秉c缺點】 ：條件/判定覆

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

10、a1,c=17 F3,T4Q取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的第二個定義則是全局的。 注:在本章中，我們只關心全局定義和使用，局部定義與使用在研究基于數(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ù)流圖 構造數(shù)據(jù)流圖的過程：步驟步驟1 計算P中每個基本塊i的 、 和 。步驟步驟2 將結點集N中的每個結點i與 、 和 關聯(lián)起來。步驟步驟3 針對每個具有非空 集并且在條件C處結束的結點i，如果條件C為真時執(zhí)行的是邊(i,

12、j)，C為假時執(zhí)行的是邊(i,k)，分別將邊(i,j)，(i,k)與C，！C關聯(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路徑：路徑：假設變量x在結點i中定義，在結點j中使用，考慮路徑p=（i,n1,n2,.,nk,j)，k0，路徑p從結點i開始，結束于結點j，并且結

13、點i、j在子路徑n1,n2,.,nk中未出現(xiàn)，如果變量x沒有在子路徑n1,n2,.,nk中被重定義，稱p是變量x的defclear路徑。在這種情況下，也稱x在結點i處的定義，即di(x)在結點j處是活躍的。406.3.6 defuse對def-use對對勾畫了變量的一次特定的定義和使用。我們只關心兩種類型的defuse對：一種是定義及其cuse構成的defuse對，另一種是定義及其puse構成的defuse對，分別用集合dcu和dpu來描述這兩類defuse對。416.4 基于數(shù)據(jù)流的測試充分性準則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ù)流 基于控制流的測試充分性準則旨在測試程