軟件測試三角形問題覆蓋測試

1、課程名稱實驗題目院系姓名實驗?zāi)康膶嶒灉蕚溥|寧工程技術(shù)大學(xué)上機實驗報告成績軟件測試與評估基于覆蓋測試技術(shù)軟件學(xué)院專業(yè)軟件工程班級軟件 13-9 班王朝暉學(xué)號1320010920實驗日期2016.5.131.了解軟件覆蓋測試的相關(guān)知識。2.能根據(jù)三角形案例分析問題。3.掌握軟件覆蓋測試的基本方法。4.針對案例，能夠運用覆蓋測試技術(shù)中的具體方法進行測試用例的設(shè)計。1.計算機一臺，有c 與 c+程序設(shè)計學(xué)習(xí)與實驗系統(tǒng)的軟件。2.了解至少一門程序設(shè)計語言，并能熟練應(yīng)用。能夠編寫并運行有關(guān)實驗的相關(guān)代碼。3.了解覆蓋測試的基本方法。主要是判定覆蓋。4.了解測試用例的方法，并進行適當(dāng)?shù)臏y試用例。實驗本次共有

2、 1個練習(xí)，完成 1個。進度1.根據(jù)三角形問題進行編程，分為等腰三角形，等邊三角形，普通三角形以及不能構(gòu)成三角形。2.對程序進行語句覆蓋測試。3.對程序進行判定覆蓋測試。繪制出程序流程圖，分支覆蓋要求測試實驗每個判定的結(jié)果。使得程序中的每個判定至少都獲得一次真值和假值。即內(nèi)容要使程序中的每個取真分支和取假分支至少均經(jīng)歷一次。4.對程序進行分支條件測試5.對程序進行分支條件組合測試6.選用基于覆蓋測試的方法對三角形問題設(shè)計測試用例。實驗分析.一實驗步驟1.打開 c 與 c+程序系統(tǒng)平臺，編寫有關(guān)三角形問題的相關(guān)程序。2.對程序進行語句覆蓋測試。3.對程序進行判定覆蓋測試。4.對程序進行分支條件測

3、試。5.對程序進行分支條件組合測試。6. 進行用例設(shè)計。選擇分支覆蓋測試的方法進行測試。二程序分析1.程序代碼1）#include<stdio.h>2）main()3）4） int A,B,C;5） printf(" 請輸入三角形的三條邊：");6） scanf("%d %d %d",&A,&B,&C);7） if(A>0&&B>0&&C>0)&&(A+B)>C&&(A+C)>B&&(B+C)>A)8）

4、9）if(A=B&&A=C)10）printf(" 該三角形是等邊三角形！n");11）else12）if(A=B&&B!=C)|(B=C&&B!=A)|(A=C&&A!=B)13）printf(" 該三角形是等腰三角形！n");14）else15）printf(" 該三角形是普通三角形！n");16）17）else18）19）printf("ERROR!n");20）return main();21）.22）2.程序流程圖根據(jù)代碼繪制程序流程圖，各邊

5、編號為a， b，c，d，e，f 。如圖 1。開始Na+b>c&&b+c>a&&a+c>baYba=b&&b=cNcYda=b|b=c|a=ceYNfERROR等邊三角形普通三角形等腰三角形結(jié)束圖 1 程序流程圖3.分析程序主要是根據(jù)三個整數(shù)a，b，c，構(gòu)成一個三角形判定三角形的類型為等邊三角形、等腰三角形、普通三角形還是構(gòu)成不了三角形。要求輸入的三個整數(shù)都是正數(shù)，三邊都是大于等于1，小于等于 100，且 a+b>c,a+c>b,b+c>a,才能進行以后的判斷。否則輸出 “ERROR!”，返回主程序。重新輸入三個

6、整數(shù) a，b，c。然后判斷三角形的類型。如果 a=b 且.a=c，輸出 “該三角形是等邊三角形！ ”。如果 a=b,b 不等于 c，或 b=c,b 不等于 a，或 a=c,a 不等于 b，輸出 “該三角形是等腰三角形！ ”。如果不是以上這兩種情況，輸出 “該三角形是普通三角形！ ”。三語句覆蓋測試分析運行若干測試用例，使被測試的程序的每一條可執(zhí)行語句至少執(zhí)行一次。根據(jù)控制流圖得出測試用例。如表1。表 1語句覆蓋測試用例測試用例abc執(zhí)行路徑預(yù)期結(jié)果1567acf普通三角形2556ad等腰三角形3555ace等邊三角形4347bERROR四判定測試覆蓋分析執(zhí)行足夠的測試用例，使得程序中每一個判定

7、至少獲得一次“真”值和“假”值，從而使得程序的每個分支都經(jīng)歷一次。1.條件條件 11a100條件 21b100條件 31 c 100條件 4a<b+ c條件 5b<a+ c條件 6c<a+ b2.分析如果輸入值 a、b、c 不滿足條件 1、條件 2 和條件 3 ，輸出 ERROR。如果輸入值 a、b、c 滿足條件 1、條件 2 和條件 3：（1）如果不滿足條件4、條件 5 和條件 6 中的一個，則程序輸出為ERROR；（2）如果三條邊相等，則程序輸出為“等邊三角形 ”；（3）如果恰好有兩條邊相等，則程序輸出為等腰三角形；.（4）如果三條邊都不相等，則程序輸出為普通三角形。3.

8、根據(jù)以上分析及流程圖得出測試用例，如表2。表 2 判定覆蓋測試用例測試abca+b>c&&b+ca=b&&a=b|b=c|預(yù)期>a&&a+c>bb=ca=c用例結(jié)果1347假-ERROR2555真真真等邊三角形3556真假-等腰三角形4567真真假普通三角形五分支條件測試分析設(shè)計足夠的測試用例，運行被測程序，使程序中的每個判定的每個條件的所有可能值至少執(zhí)行一次， 并且每個可能的判定結(jié)果也至少執(zhí)行一次，即要求各個判定的所有可能的條件取值組合至少執(zhí)行一次。根據(jù)流程圖得出測試用例，如表3。表 3 分支條件測試用例測試abc覆蓋條件a+

9、b>c&&ba=b&a=b|b預(yù)期+c>a&&a+&b=c=c|a=用例結(jié)果c>bc1121T1,T2,-T3假-ERROR2211T1,-T2,T3假-ERROR3112-T1,T2,T3假-ERROR4555T1,T2,T3,T真真真等邊三角形4,T5,T65556T1,T2,T3,-真假-等腰三角形T4,-T56567T1,T2,T3,T真真假普通三角形4,T5,-T6六分支條件組合測試分析設(shè)計的測試用例，需要將原子條件的所有true-false組合至少執(zhí)行一遍。.并且滿足分支條件組合測試包括語句覆蓋和分支覆蓋。根據(jù)流程圖

10、得出測試用例，如表4。表 4 分支條件組合測試分析測試abc覆蓋條件a+b>c&&ba=b&a=b|b預(yù)期+c>a&&a+&b=c=c|a=用例結(jié)果c>bc1121T1,T2,-T3假-ERROR2211T1,-T2,T3假-ERROR3112-T1,T2,T3假-ERROR4666T1,T2,T3,T真真真等邊三角形4,T5,T65556T1,T2,T3,-真假-等腰三角形T4,-T56567T1,T2,T3,T真真假普通三角形4,T5,-T6七 .測試用例截圖使用判定覆蓋進行用例測試，參見表 2。1.測試用例 1，如圖 1。

11、圖1測試用例12.測試用例 2，如圖 2。.圖2測試用例23.測試用例 3，如圖 3。圖3測試用例34.測試用例 4，如圖 4。圖4測試用例4.心得體會.本次實驗是關(guān)于覆蓋測試方面的知識。這方面的內(nèi)容很少，主要靠自己的理解。在做實驗之前，我復(fù)習(xí)了關(guān)于覆蓋測試相關(guān)的內(nèi)容，在做實驗的時候更加熟練。有清晰的思路，使實驗更簡單。在做語句覆蓋的時候，覺得三角形問題沒有語句覆蓋，一直以為語句覆蓋只能測試一次。如果測試一次，不管怎樣都不能將所有的語句都覆蓋到，通過進一步的更深入的查閱資料，才明白，可以進行多次測試使被測試的程序的每一條可執(zhí)行語句至少執(zhí)行一次。判定覆蓋和分支條件覆蓋是很容易弄混的知識點。剛開始

12、學(xué)習(xí)這兩種覆蓋的時候，我就很難分清。在實驗之前復(fù)習(xí)之后，有了很深的印象。判定覆蓋要求測試每個判定的結(jié)果，是IF,CASE 語句中的所有可能。使得程序中的每個判定至少都獲得一次真值和假值。即要使程序中的每個取真分支和取假分支至少均經(jīng)歷一次。 在本次的實驗中， 只要測試三個 IF 語句就行。分支條件測試是將 IF,CASE 這種語句的原子條件的所有真分支和取假分支至少均經(jīng)歷一次。 一個條件包含多個原子條件。 就是將分支語句分解。較判定覆蓋較麻煩，但測試的更加細致，具體。分支條件組合測試和分支條件測試差不多。只是在分支條件測試的基礎(chǔ)上，加入了判定測試。條件組合只針對同一個判斷語句存在多個條件的情況，讓這些條件的取值進行笛卡爾乘積組合。 不同的判斷語句內(nèi)的條件取值之間無需組合。 對于但條件的判斷語句，只需要滿足自己的所有取值即可。在以后的學(xué)習(xí)中，我會更加仔細認真。在做實驗之前，一定要做