測試用例的設(shè)計(jì)

測試用例的設(shè)計(jì)軟件工程測試用例的設(shè)計(jì)軟件工程1.1白盒測試法用例的設(shè)計(jì)白盒測試法設(shè)計(jì)用例的指導(dǎo)思想是選擇測試用例集檢驗(yàn)代碼的內(nèi)部結(jié)構(gòu)是否正確，因此它是在清楚地知道了程序的內(nèi)部結(jié)構(gòu)和處理算法的基礎(chǔ)上進(jìn)行的測試用例設(shè)計(jì)。1.邏輯覆蓋所謂邏輯覆蓋是對一系列測試過程的總稱，這組測試過程逐漸進(jìn)行越來越完整的通路測試。邏輯覆蓋要求對某些程序的結(jié)構(gòu)特性做到一定

程度的覆蓋，或者說是“基于覆蓋的測試”，

即有選擇地執(zhí)行程序中某些最有代表性的通路。1.邏輯覆蓋軟件工程語句覆蓋語句覆蓋是指使用足夠多的測試數(shù)據(jù)，使被測試程序中每個(gè)語句至少執(zhí)行一次。分支覆蓋分支覆蓋又叫判定覆蓋，是指設(shè)計(jì)出足夠多的測試用例，使得被測程序中每個(gè)判定表達(dá)式都執(zhí)行一次“真”和一次“假”，從而使程序的每一個(gè)分支至少都通過一次。條件覆蓋條件覆蓋要求不僅每個(gè)語句至少執(zhí)行一次，而且使得判定表達(dá)式中每個(gè)條件的各種可能的值都至少執(zhí)行一次。1.邏輯覆蓋軟件工程判定-條件覆蓋判定-條件覆蓋要求設(shè)計(jì)足夠的測試用例，使得判定表達(dá)式中的每個(gè)條件的所有可能取值至少出現(xiàn)一次，并使每個(gè)判定表達(dá)式所有可能的結(jié)果也至少出現(xiàn)一次。條件組合覆蓋條件組合覆蓋它要求選取足夠多的測試數(shù)據(jù)，使得每個(gè)判定表達(dá)式中條件的各種可能組合都至少執(zhí)行一次。路徑覆蓋路徑覆蓋就是要求設(shè)計(jì)足夠多的測試數(shù)據(jù)，可以覆蓋被測程序中所有可能的路徑。軟件工程邏輯覆蓋舉例TT入口A>1

AND

B=0FA=2

OR

X>1F返回SabdX=X/AX=X+1ec覆蓋sacbed覆蓋sacbd覆蓋sabed覆蓋sacbed語句覆蓋的測試用例是：【{A=2，B=0，X=4}，{A=2，B=0，X=3}】分支覆蓋的測試用例是：【{A=3，B=0，X=3}，{A=3，B=0，X=1}】【{A=2，B=1，X=1}，{A=2，B=1，X=2}】覆蓋的測試用例是：【{A=2，B=0，X=4}，{A=2，B=0，X=3}】(滿足A＞1，B＝O，A＝2和x＞1的條件)覆蓋sabd【{A=1，B=1，X=1}，{A=1，B=1，X=1}】(滿足A≤1，B≠O，A≠2和x≤1的條件)軟件工程邏輯覆蓋舉例判定-條件覆蓋的測試用例是：【{A=2，B=0，X=4}，{A=2，B=0，X=3}】【{A=1，B=1，X=1}，{A=1，B=1，X=1}】覆蓋sacbed覆蓋sabd覆蓋sacbed覆蓋sabed覆蓋sabed覆蓋sabd條件組合覆蓋的測試用例是：【{A=2，B=0，X=4}，{A=2，B=0，X=3}】(滿足A＞1，B＝O，A＝2和x＞1的條件)【{A=2，B=1，X=1}，{A=2，B=1，X=2}】(滿足A＞1，B≠O，A＝2和x≤1的條件)【{A=1，B=0，X=3}，{A=1，B=0，X=4}】(滿足A≤1，B＝O，A≠2和x＞1的條件)【{A=1，B=1，X=1}，{A=1，B=1，X=1}】(滿足A≤1，B≠O，A≠2和x≤1的條件)2.基本路徑測試軟件工程使用這種技術(shù)設(shè)計(jì)測試用例時(shí)，首先計(jì)算程序的環(huán)形復(fù)雜度，并用該復(fù)雜度為指南定義執(zhí)行路徑的基本集合，從該基本集合導(dǎo)出的測試用例可以保證程序中的每條語句至少執(zhí)行一次，而且每個(gè)條件在執(zhí)行時(shí)都將分別取真、假兩種值?；韭窂綔y試技術(shù)設(shè)計(jì)測試用例的步驟：第一步：將詳細(xì)設(shè)計(jì)結(jié)果或程序編碼映射成程序控制結(jié)構(gòu)圖。第二步：根據(jù)程序控制結(jié)構(gòu)圖計(jì)算程序的環(huán)形復(fù)雜度。第三步：確定線性獨(dú)立路徑的基本集合。第四步：設(shè)計(jì)測試用例，確?；韭窂郊忻織l路徑的執(zhí)行。1.2黑盒測試法用例的設(shè)計(jì)軟件工程黑盒測試法用例的設(shè)計(jì)有等價(jià)類劃分、邊界值分析、錯(cuò)誤推測等。根據(jù)這些方法來生成測試用例，可以提前到需求分析階段或設(shè)計(jì)階段。同時(shí)使用這些方法很可能發(fā)現(xiàn)白盒測試不易發(fā)現(xiàn)的其他類型的錯(cuò)誤。①等價(jià)類劃分等價(jià)類劃分的基本思想是將程序的所有可能輸入數(shù)據(jù)(有效與無效的)劃分為若干等價(jià)

類。當(dāng)程序輸入數(shù)據(jù)集合的等價(jià)類確定以后，從每個(gè)等價(jià)類任取一組代表值就可以產(chǎn)生一

個(gè)測試用例。等價(jià)類的劃分有兩種不同情況：①等價(jià)類劃分軟件工程有效等價(jià)類：是指對于軟件的需求規(guī)格說明來說，是合理的、有意義的輸入數(shù)據(jù)集合。無效等價(jià)類：是指對于軟件的需求規(guī)格說明來說，是不合理的、無意義的輸入數(shù)據(jù)集合。利用等價(jià)類劃分產(chǎn)生測試用的具體步驟如下：第一步：劃分等價(jià)類。第二步：設(shè)計(jì)測試用例。根據(jù)等價(jià)類設(shè)計(jì)測試用例時(shí)主要使用下面兩個(gè)步驟：設(shè)計(jì)一個(gè)有效等價(jià)類的測試用例。對于各個(gè)輸入條件，以盡可能多地覆蓋尚未被覆蓋的有效等價(jià)類，重復(fù)這一步驟直到所有有效等價(jià)類都被覆蓋為止；設(shè)計(jì)一個(gè)無效等價(jià)類的測試用例。使它覆蓋一個(gè)而且只覆蓋一個(gè)尚未被覆蓋的無效等價(jià)類，重復(fù)這一步驟直到所有無效等價(jià)類都被覆蓋為止。注意因?yàn)樵谳斎胫杏幸粋€(gè)錯(cuò)誤存在時(shí)，往往會(huì)屏蔽掉其它錯(cuò)誤顯示，所以設(shè)計(jì)無效等價(jià)類的測試用例時(shí)，一次只覆蓋一個(gè)無效等價(jià)類。等價(jià)類劃分舉例軟件工程例某城市電話號碼組成規(guī)則是：地區(qū)碼+前綴+后綴。地區(qū)碼：空白或者3位數(shù)字；前綴：非0或者1開頭的3位數(shù)字：后綴：4位數(shù)字。某程序接受符合以上條件的電話號碼，拒絕所有不符合規(guī)定的號碼。對該程序使用等價(jià)類劃分法設(shè)計(jì)測試用例。(略)2.邊界值分析軟件工程在等價(jià)類劃分中，測試用例從各等價(jià)類中任意選取，沒有考慮同一等價(jià)類中各組數(shù)據(jù)對于發(fā)現(xiàn)隱藏錯(cuò)誤的差異。實(shí)踐經(jīng)驗(yàn)證明，程序往往在處理邊界情況時(shí)會(huì)發(fā)生錯(cuò)誤。如果將測試值選取在等價(jià)類的邊界附近，可以期望得到高效的測試用例，可以查出更多的錯(cuò)誤和問題。這就是邊界值分析的出發(fā)點(diǎn)。通常設(shè)計(jì)測試用例時(shí)總是聯(lián)合使用等價(jià)類劃分和邊界值分析兩種技術(shù)。一般先采用邊界值分析設(shè)計(jì)測試用例，再用等價(jià)類劃分補(bǔ)充之。2.邊界值分析軟件工程典型邊界值包括下面一些情況：l如果輸入條件說明了輸入值的范圍，則應(yīng)該在范圍的邊界上取值；另外還應(yīng)該剛好越過邊界的值作為無效情況的測試用例。l如果輸入條件指出了輸入數(shù)據(jù)個(gè)數(shù)，則應(yīng)為最小個(gè)數(shù)、最大個(gè)數(shù)、低于最小個(gè)數(shù)，高于最大個(gè)數(shù)分別設(shè)計(jì)測試用例。l對于輸出結(jié)果應(yīng)該作類似于輸入一樣的處理。l如果程序的輸入輸出數(shù)據(jù)是有序集合，則應(yīng)該特別注意表中第一個(gè)、最后一個(gè)元素，以及集合中僅有1個(gè)元素的情況。l對于輸入輸出為線性表的程序，應(yīng)該考慮輸入輸出有0個(gè)、1個(gè)和可能的最大元素個(gè)數(shù)情況。3.錯(cuò)誤推測軟件工程有經(jīng)驗(yàn)的測試人員往往根據(jù)經(jīng)驗(yàn)與直

覺，推測程序中可能存在的各種錯(cuò)誤，從

而有針對性的編寫檢查這些錯(cuò)誤的測試用

例，實(shí)現(xiàn)高效的測試，這就是錯(cuò)誤推測法。對于測試對象中可能存在何種類型的錯(cuò)誤，是挑選測試用例應(yīng)該考慮的重要因素。推測的重要依據(jù)是程序設(shè)計(jì)規(guī)格說明書(或者代碼的序言性注釋)，不但要考慮它告訴了我們什么，還應(yīng)該考慮說明中遺漏了什么，或者是否存在可能的沖突。測試用例設(shè)計(jì)小結(jié)軟件工程在實(shí)際應(yīng)用中通常以黑盒