《軟件質(zhì)量保證課件6 測試充分性評估的基礎(chǔ).pdf》由會員分享，可在線閱讀，更多相關(guān)《軟件質(zhì)量保證課件6 測試充分性評估的基礎(chǔ).pdf（32頁珍藏版）》請在匯文網(wǎng)上搜索。

1、測試充分性評估的基礎(chǔ) 2015.3 測試充分性？軟件P，測試集T T足夠好了嘛？P被完全測試了嘛？T是充分的嘛？完全/足夠好/充分 測試充分性 充分性，度量一個給定的測試用例集是否能夠驗證軟件P滿足其需求 需求是否滿足？相對于某個具體的準(zhǔn)則C而言 換而言之 當(dāng)一個測試用例集T滿足準(zhǔn)則C時，則認(rèn)為T相對于C是充分的 如何確定T是否滿足C，主要依據(jù)C的定義 示例 編寫程序sumProduct，需求如下 R1:從標(biāo)準(zhǔn)輸入設(shè)備讀入兩整數(shù)x和y R2.1:當(dāng)xy，求x與y之和，并在標(biāo)準(zhǔn)輸出設(shè)備上輸出 R2.2:當(dāng)xy，求x與y之積，并在標(biāo)準(zhǔn)輸出設(shè)備上輸出 測試充分性準(zhǔn)則測試充分性準(zhǔn)則C：如果針對需求如果

2、針對需求R中的每個需求中的每個需求r，測試集測試集T中至少有一個測試中至少有一個測試用例保證了用例保證了P滿足滿足r，則認(rèn)為則認(rèn)為T針對針對(P,R)（表示軟件（表示軟件P要滿足功要滿足功能需求能需求R）是充分的是充分的。示例 編寫程序sumProduct，需求如下 R1:從標(biāo)準(zhǔn)輸入設(shè)備讀入兩整數(shù)x和y R2.1:當(dāng)xy，求x與y之和，并在標(biāo)準(zhǔn)輸出設(shè)備上輸出 R2.2:當(dāng)xy，求x與y之積，并在標(biāo)準(zhǔn)輸出設(shè)備上輸出 測試充分性準(zhǔn)則測試充分性準(zhǔn)則C：如果針對需求如果針對需求R中的每個需求中的每個需求r，測試集測試集T中至少有一個測試中至少有一個測試用例保證了用例保證了P滿足滿足r，則認(rèn)為則認(rèn)為T針

3、對針對(P,R)（表示軟件（表示軟件P要滿足功要滿足功能需求能需求R）是充分的是充分的。T=t:不充分不充分！測試了測試了R1和和R2.1 沒測試沒測試R2.2 測試充分性準(zhǔn)則的分類 根據(jù)測試準(zhǔn)則C，導(dǎo)出一個有限集Ce，稱之為覆蓋域 白盒測試充分性準(zhǔn)則：Ce僅依賴于被測軟件代碼 黑盒測試充分性準(zhǔn)則：Ce僅依賴于被測軟件需求 二者的混合 基于被測軟件的控制流 基于被測軟件的數(shù)據(jù)流 基于變異體 測試充分性的度量 給定Ce，假設(shè)它有n個元素（n0）T覆蓋了Ce：如果Ce中的每個元素e，在T中至少有一個測試用例測試了它 充分：如果T覆蓋了Ce中所有元素，則稱T相對于C是充分的 如果T只覆蓋了Ce中的k

4、個元素，且kn，則稱T相對于C是不充分的。T對C的充分度（T對C、P和R的覆蓋率）是k/n 示例 編寫程序sumProduct，需求如下 R1:從標(biāo)準(zhǔn)輸入設(shè)備讀入兩整數(shù)x和y R2.1:當(dāng)xy，求x與y之和，并在標(biāo)準(zhǔn)輸出設(shè)備上輸出 R2.2:當(dāng)xy，求x與y之積，并在標(biāo)準(zhǔn)輸出設(shè)備上輸出 T=t:測試充分性準(zhǔn)則測試充分性準(zhǔn)則C：如果針對需求如果針對需求R中的每個需求中的每個需求r，測試集測試集T中至少有一個測試用例保證了中至少有一個測試用例保證了P滿足滿足r，則認(rèn)為則認(rèn)為T針對針對(P,R)（表示軟件（表示軟件P要滿足功能需求要滿足功能需求R）是充分的是充分的。Ce=R1,R2.1,R2.2 T

5、相對于相對于C的充分度是的充分度是2/3=0.67 示例 編寫程序sumProduct，需求如下 R1:從標(biāo)準(zhǔn)輸入設(shè)備讀入兩整數(shù)x和y R2.1:當(dāng)xy，求x與y之和，并在標(biāo)準(zhǔn)輸出設(shè)備上輸出 R2.2:當(dāng)xy，求x與y之積，并在標(biāo)準(zhǔn)輸出設(shè)備上輸出 1 begin 2int x,y;3input(x,y);4if(xy)5then 6 output(x+y);7else 8 output(x*y);9 end 測試充分性準(zhǔn)則測試充分性準(zhǔn)則C：如果軟件如果軟件P中的每條路徑都被遍歷至少中的每條路徑都被遍歷至少一次一次，則認(rèn)為則認(rèn)為T針對針對(P,R)是充分的是充分的。T=t:不充分不充分！Ce=p

6、1,p2:p1:xy的路徑的路徑，p2:xy的路徑的路徑 T對對C的充分度的充分度1/2=0.5 示例 編寫程序sumProduct，需求如下 R1:從標(biāo)準(zhǔn)輸入設(shè)備讀入兩整數(shù)x和y R2.1:當(dāng)xy，求x與y之和，并在標(biāo)準(zhǔn)輸出設(shè)備上輸出 R2.2:當(dāng)xy，求x與y之積，并在標(biāo)準(zhǔn)輸出設(shè)備上輸出 1 begin 2int x,y;3input(x,y);4sum=x+y;5output(sum);6 6 end 測試充分性準(zhǔn)則測試充分性準(zhǔn)則C：如果軟件如果軟件P中的每條路徑都被遍歷至少中的每條路徑都被遍歷至少一次一次，則認(rèn)為則認(rèn)為T針對針對(P,R)是充分的是充分的。T=t:充分充分！Ce=p1

7、T對對C的充分度的充分度1/1=1 示例 1 begin 2int x,y;3input(x,y);4if(xy)5then 6 output(x+y);7else 8 output(x*y);9 end 1 begin 2int x,y;3input(x,y);4sum=x+y;5output(sum);6 6 end 測試充分性準(zhǔn)則測試充分性準(zhǔn)則C：如果軟件如果軟件P中的每條路徑都被遍歷至少中的每條路徑都被遍歷至少一次一次，則認(rèn)為則認(rèn)為T針對針對(P,R)是充分的是充分的。充分的測試用例集可能不能發(fā)現(xiàn)軟件中最明顯的錯誤，但這并不影響測試充分性度量的價值 測試充分性的重要意義：增強(qiáng)軟件測試

8、通過測試充分性度量增強(qiáng)增強(qiáng)軟件測試 測試充分性度量的意義 給予信心：不充分的測試用例集令人擔(dān)心！識別測試的不足 增強(qiáng)測試：采用以前沒有采用過的方式來測試軟件，比如：測試沒有被測試過的分支等 示例 編寫程序sumProduct，需求如下 R1:從標(biāo)準(zhǔn)輸入設(shè)備讀入兩整數(shù)x和y R2.1:當(dāng)xy，求x與y之和，并在標(biāo)準(zhǔn)輸出設(shè)備上輸出 R2.2:當(dāng)xy，求x與y之積，并在標(biāo)準(zhǔn)輸出設(shè)備上輸出 1 begin 2int x,y;3input(x,y);4if(xy)5then 6 output(x+y);7else 8 output(x*y);9 end 測試充分性準(zhǔn)則測試充分性準(zhǔn)則C：如果軟件如果軟件P

9、中的每條路徑都被遍歷至少中的每條路徑都被遍歷至少一次一次，則認(rèn)為則認(rèn)為T針對針對(P,R)是充分的是充分的。T=t:不充分不充分！Ce=p1,p2:p1:xy的路徑的路徑，p2:xy的路徑的路徑 T對對C的充分度的充分度1/2=0.5 示例 編寫程序sumProduct，需求如下 R1:從標(biāo)準(zhǔn)輸入設(shè)備讀入兩整數(shù)x和y R2.1:當(dāng)xy，求x與y之和，并在標(biāo)準(zhǔn)輸出設(shè)備上輸出 R2.2:當(dāng)xy，求x與y之積，并在標(biāo)準(zhǔn)輸出設(shè)備上輸出 1 begin 2int x,y;3input(x,y);4if(xy)5then 6 output(x+y);7else 8 output(x*y);9 end 測試

10、充分性準(zhǔn)則測試充分性準(zhǔn)則C：如果軟件如果軟件P中的每條路徑都被遍歷至少中的每條路徑都被遍歷至少一次一次，則認(rèn)為則認(rèn)為T針對針對(P,R)是充分的是充分的。T=t:T=,測試集的構(gòu)造增強(qiáng)測試過程 構(gòu)造一個非空構(gòu)造一個非空測試用例集測試用例集T 軟件需求 軟件需求 針對針對T中的測中的測試用例執(zhí)行試用例執(zhí)行P 是否發(fā)現(xiàn)是否發(fā)現(xiàn)了錯誤了錯誤？從從P中消中消除錯誤 除錯誤 所有的測試用所有的測試用例都執(zhí)行完了例都執(zhí)行完了？T相對于相對于C是充分的是充分的？通過增加一個或多通過增加一個或多個測試用例來增強(qiáng) 個測試用例來增強(qiáng) 軟件需求 軟件需求 Yes,Over No Yes Yes No No 測試集的

11、構(gòu)造增強(qiáng)測試過程 構(gòu)造一個非空構(gòu)造一個非空測試用例集測試用例集T 軟件需求 軟件需求 針對針對T中的測中的測試用例執(zhí)行試用例執(zhí)行P 是否發(fā)現(xiàn)是否發(fā)現(xiàn)了錯誤了錯誤？從從P中消中消除錯誤 除錯誤 所有的測試用所有的測試用例都執(zhí)行完了例都執(zhí)行完了？T相對于相對于C是充分的是充分的？通過增加一個或多通過增加一個或多個測試用例來增強(qiáng) 個測試用例來增強(qiáng) 軟件需求 軟件需求 Yes,Over No Yes Yes No No 針對每個未被覆蓋的元素針對每個未被覆蓋的元素e Ce，執(zhí)執(zhí)行以下步驟直至行以下步驟直至e被覆蓋或確定被覆蓋或確定e不不可覆蓋可覆蓋：1.構(gòu)造測試用例構(gòu)造測試用例t，它覆蓋它覆蓋e或可能

12、或可能覆蓋覆蓋e 2.針對針對t執(zhí)行執(zhí)行P 1.如果如果P運(yùn)行不正確運(yùn)行不正確，將將t加入加入到到T，清除清除P中錯誤中錯誤，從頭開從頭開始始 2.如果如果P運(yùn)行正確運(yùn)行正確，并且并且e被覆被覆蓋蓋，將將t加入到加入到T中中 3.否則否則，測試人員決定忽略測試人員決定忽略t，還是將其加入到還是將其加入到T中 中 示例 計算xy的程序（x，y都是整數(shù)）1 begin 2int x,y;3int product,count;4input(x,y);5if(y0)6 product=1;count=y;7 while(count0)8 product=product*x;9 count=count-

13、1;10 11 output(product);12 13 else 14 output(“Input does not match its specificaon.”);15 end 示例 計算xy的程序（x，y都是整數(shù)）1 begin 2int x,y;3int product,count;4input(x,y);5if(y0)6 product=1;count=y;7 while(count0)8 product=product*x;9 count=count-1;10 11 output(product);12 13 else 14 output(“Input does not mat

14、ch its specificaon.”);15 end 測試充分性準(zhǔn)則測試充分性準(zhǔn)則C：如果測試用例集如果測試用例集T對于程序?qū)τ诔绦騊的輸入的輸入x和和y中的每一個中的每一個，至少測試過一次等于至少測試過一次等于0和和不等于不等于0，則T是充分的是充分的 Ce=x=0,y=0,x0,y0 T=,示例 計算xy的程序（x，y都是整數(shù)）1 begin 2int x,y;3int product,count;4input(x,y);5if(y0)6 product=1;count=y;7 while(count0)8 product=product*x;9 count=count-1;10 11

15、 output(product);12 13 else 14 output(“Input does not match its specificaon.”);15 end 測試充分性準(zhǔn)則測試充分性準(zhǔn)則C：如果測試用例集如果測試用例集T測試了所有的路徑測試了所有的路徑，則則T是充分的是充分的。若若程序包含循環(huán)程序包含循環(huán)，則只要則只要T遍歷過循環(huán)體遍歷過循環(huán)體0次和次和1次即可次即可 示例 計算xy的程序（x，y都是整數(shù)）1 begin 2int x,y;3int product,count;4input(x,y);5if(y0)6 product=1;count=y;7 while(count

16、0)8 product=product*x;9 count=count-1;10 11 output(product);12 13 else 14 output(“Input does not match its specificaon.”);15 end 控制流圖CFG 控制流圖（Control Flow Graph,CFG），描述程序的計算和控制流 結(jié)點(diǎn)：基本塊（順序執(zhí)行的語句）邊：程序中的控制流 控制流示意 x=z-2;y=2*z;if(c)x=x+1;y=y+1;else x=x-1;y=y-1;z=x+y;x=z-2;y=2*z;if(c)x=x+1;y=y+1;x=x-1;y=y-1;z=x+y;T F 每個基本塊內(nèi)的語句執(zhí)行沒有分支 CFG表示了所有程序執(zhí)行的可能路徑 不可行路徑 x=z-2;y=2*z;if(c)x=x+1;y=y+1;x=x-1;y=y-1;z=x+y;if(c)T F T start input(x,y)if(y=0)product=1;count=y;if(count=0)product=product*x;count=count-1;output