華東交通大學(xué)軟件工程實(shí)驗(yàn)報(bào)告三

1、軟件測(cè)試實(shí)驗(yàn)三一、 實(shí)驗(yàn)?zāi)康膶W(xué)會(huì)使用CASE工具完成軟件測(cè)試用例的設(shè)計(jì)以及初步完成對(duì)單元測(cè)試，深刻理解單元測(cè)試的基本原理及CASE工具的基本使用。二、 實(shí)驗(yàn)內(nèi)容1、單元測(cè)試的邏輯覆蓋測(cè)試驗(yàn)證實(shí)驗(yàn)：運(yùn)用Nunit工具完成對(duì)如下例子的單元測(cè)試，要求分別完成語(yǔ)句覆蓋、判定覆蓋、條件覆蓋、判定條件覆蓋、條件組合覆蓋和路徑覆蓋測(cè)試的測(cè)試用例編寫(xiě)以及測(cè)試。要求首先按格式編寫(xiě)出該測(cè)試所需要的測(cè)試用例，然后編寫(xiě)測(cè)試程序，對(duì)其進(jìn)行測(cè)試，最后把你寫(xiě)的測(cè)試用例按格式記錄到實(shí)驗(yàn)報(bào)告中。測(cè)試用例的格式如下： 輸入, 期望結(jié)果，對(duì)于本例請(qǐng)遵循如下格式： A,B,X,X(A>1) and (B=0)(A=2) or

2、(X>1)X = X/AX = X+1TTFFabdce圖1 單元測(cè)試邏輯覆蓋的驗(yàn)證實(shí)驗(yàn)此外，請(qǐng)測(cè)試如下情況：(1). 如果將第1個(gè)判定中的“AND”錯(cuò)寫(xiě)成了“OR”，用數(shù)據(jù)2,0,3,2.5（首先，該組數(shù)據(jù)滿(mǎn)足何種邏輯覆蓋）對(duì)程序進(jìn)行測(cè)試，可否發(fā)現(xiàn)錯(cuò)誤？為什么？請(qǐng)先測(cè)試，然后把結(jié)論記錄到實(shí)驗(yàn)報(bào)告中。 語(yǔ)句覆蓋不能，and要求比or嚴(yán)格，所以and可以滿(mǎn)足的數(shù)據(jù)or也肯定可以滿(mǎn)足。(2). 如果將第2個(gè)判定中的“x>1”錯(cuò)寫(xiě)成了“x<=1”，則用數(shù)據(jù)2,0,3,2.5對(duì)程序進(jìn)行測(cè)試，可否發(fā)現(xiàn)錯(cuò)誤？為什么？請(qǐng)先測(cè)試，然后把結(jié)論記錄到實(shí)驗(yàn)報(bào)告中。不能，第二個(gè)判定是or只要滿(mǎn)足一個(gè)

3、條件即可。因?yàn)閍=2所以第二個(gè)條件恒為真。所以不能發(fā)現(xiàn)錯(cuò)誤。(3). 如果將第1個(gè)判定中的“AND”錯(cuò)寫(xiě)成了“OR”，則用數(shù)據(jù)3,0,1,1/3和2,1,2,3（首先，該組數(shù)據(jù)滿(mǎn)足何種邏輯覆蓋）對(duì)程序進(jìn)行測(cè)試，可否發(fā)現(xiàn)錯(cuò)誤？為什么？請(qǐng)先測(cè)試，然后把結(jié)論記錄到實(shí)驗(yàn)報(bào)告中。語(yǔ)句覆蓋，判定覆蓋第一組測(cè)試數(shù)據(jù)不能發(fā)現(xiàn)錯(cuò)誤，因?yàn)榈谝唤M數(shù)據(jù)可以滿(mǎn)足判定一的AND判斷，肯定可以通過(guò)OR判斷條件。第二組測(cè)試數(shù)據(jù)可以發(fā)現(xiàn)錯(cuò)誤，因?yàn)锳=2,B=1原本不可以通過(guò)路徑b，因?yàn)橹挥蠥滿(mǎn)足了條件，B未滿(mǎn)足條件，通過(guò)AND返回0。由于把AND錯(cuò)寫(xiě)成OR，返回1，影響了X的值，發(fā)現(xiàn)錯(cuò)誤。(4). 如果將第2個(gè)判定中的“x&g

4、t;1”錯(cuò)寫(xiě)成了“x<=1”，則用數(shù)據(jù)3,0,1,1/3和2,1,2,3）對(duì)程序進(jìn)行測(cè)試，可否發(fā)現(xiàn)錯(cuò)誤？為什么？請(qǐng)先測(cè)試，然后把結(jié)論記錄到實(shí)驗(yàn)報(bào)告中。3,0,1,1/3可以。經(jīng)過(guò)第1個(gè)判斷，執(zhí)行b操作是x=1/3，第2個(gè)判斷是x <= 1,返回1，進(jìn)行e操作。最后得到的x = 4/3,與期望結(jié)果不同，提示錯(cuò)誤。2,1,2,3不可以。第1個(gè)判斷是B = 0不成功，將通過(guò)b進(jìn)行第2個(gè)判定，此時(shí)x仍為2。因?yàn)锳 = 2正確，返回1，進(jìn)行e操作。最后x = 3，與期望結(jié)果相同。不能發(fā)現(xiàn)“x>1”錯(cuò)寫(xiě)成了“x<=1”。(5). 如果將第2個(gè)判定中的“x>1”錯(cuò)寫(xiě)成了“x&l

5、t;=1”，則用數(shù)據(jù)2,0,3,2.5和1,1,1,1（首先，該組數(shù)據(jù)滿(mǎn)足何種邏輯覆蓋）對(duì)程序進(jìn)行測(cè)試，可否發(fā)現(xiàn)錯(cuò)誤？為什么？請(qǐng)先測(cè)試，然后把結(jié)論記錄到實(shí)驗(yàn)報(bào)告中。滿(mǎn)足語(yǔ)句覆蓋，判斷覆蓋，條件覆蓋，判斷/條件覆蓋。第一組測(cè)試數(shù)據(jù)不能發(fā)現(xiàn)錯(cuò)誤，在第2個(gè)判定時(shí)，因?yàn)锳 = 2正確，返回1，進(jìn)行e操作。最后x = 2.5，與期望結(jié)果相同。所以不能發(fā)現(xiàn)“x>1”錯(cuò)寫(xiě)成了“x<=1”。第二組測(cè)試數(shù)據(jù)可以發(fā)現(xiàn)錯(cuò)誤，因?yàn)锳=1,x=1原本不可以通過(guò)第2個(gè)判定，返回0。但寫(xiě)錯(cuò)后x <= 1成立，返回1，影響了X的值，發(fā)現(xiàn)錯(cuò)誤。(6). 如果將第1個(gè)判定中的“a>1”錯(cuò)寫(xiě)成了“a<

6、=1”，且把“b=0”錯(cuò)寫(xiě)成了“b<>0”，則用數(shù)據(jù)2,1,1,2和1,0,2,3對(duì)程序進(jìn)行測(cè)試，可否發(fā)現(xiàn)錯(cuò)誤？為什么？請(qǐng)先測(cè)試，然后把結(jié)論記錄到實(shí)驗(yàn)報(bào)告中。都不能。2,1,1,2原本執(zhí)行路徑是abe。出錯(cuò)后執(zhí)行路徑仍為abe，所以不能發(fā)現(xiàn)錯(cuò)誤。1,0,2,3原本執(zhí)行路徑是abe。出錯(cuò)后執(zhí)行路徑仍為abe，所以也不能發(fā)現(xiàn)錯(cuò)誤。(7). 如果將第1個(gè)判定中的“a>1”錯(cuò)寫(xiě)成了“a<=1”，且把“b=0”錯(cuò)寫(xiě)成了“b<>0”，則用數(shù)據(jù)2,1,1,2、2,0,2,2、1,1,1,1和1,0,2,3對(duì)程序進(jìn)行測(cè)試，可否發(fā)現(xiàn)錯(cuò)誤？為什么？請(qǐng)先測(cè)試，然后把結(jié)論記錄到實(shí)驗(yàn)

7、報(bào)告中?？梢园l(fā)現(xiàn)錯(cuò)誤。2,1,1,2原本執(zhí)行路徑是abe。出錯(cuò)后執(zhí)行路徑仍為abe，所以不能發(fā)現(xiàn)錯(cuò)誤。2,0,2,2 原本執(zhí)行路徑是ace。出錯(cuò)后執(zhí)行路徑仍為abe，可以發(fā)現(xiàn)錯(cuò)誤。1,1,1,1 原本執(zhí)行路徑是abd。出錯(cuò)后執(zhí)行路徑仍為acd，所以不能發(fā)現(xiàn)錯(cuò)誤。1,0,2,3原本執(zhí)行路徑是abe。出錯(cuò)后執(zhí)行路徑仍為abe，所以也不能發(fā)現(xiàn)錯(cuò)誤。2、循環(huán)結(jié)構(gòu)測(cè)試現(xiàn)有一個(gè)簡(jiǎn)單循環(huán)，需要對(duì)其進(jìn)行測(cè)試，其程序偽代碼如下：Int i,a;Input(i,a);While(i<=10)a += 2; if(a>4) a *= 2； a += 3;Else If(a>1) a -= 4; e

8、lse a += 5;i+;a *=4;Output(a);要求為該程序設(shè)計(jì)滿(mǎn)足簡(jiǎn)單循環(huán)的所有測(cè)試用例，記錄到實(shí)驗(yàn)報(bào)告中。測(cè)試用例：11,1,4、10,1,-4、9,1,16、5,1,676、3,1,2788、2,1,5604、1,1,11236、0,1,225003、等價(jià)類(lèi)劃分及邊界值測(cè)試的驗(yàn)證實(shí)驗(yàn)：有如下算法A和B均是非負(fù)整型變量(注：int型)，如果10<A<100，則B=A*20-5，如果0<A<=10,則B=A*15+20，如果A>=100，則B=A*100-200，請(qǐng)分別用等價(jià)類(lèi)劃分方法和邊界值分析方法設(shè)計(jì)測(cè)試用例，然后編寫(xiě)測(cè)試程序完成測(cè)試。并把測(cè)試結(jié)論寫(xiě)入到實(shí)驗(yàn)報(bào)告中。等價(jià)類(lèi)劃分方法：輸入條件的等價(jià)類(lèi)劃分輸入條件有效等價(jià)類(lèi)無(wú)效等價(jià)類(lèi)A的類(lèi)型 非負(fù)整型變量10<A<100 非負(fù)整型變量0<A<=10 非負(fù)整型變量A>=100 負(fù)數(shù) 有非數(shù)字字符有效等價(jià)類(lèi)測(cè)試用例ID輸入期望結(jié)果備注150輸入有效覆蓋有效等價(jià)類(lèi)2