基于規(guī)格說明的測(cè)試技術(shù)(軟件動(dòng)態(tài)測(cè)試)

1、成績(jī)遼寧工程技術(shù)大學(xué)上機(jī)實(shí)驗(yàn)報(bào)告課程名稱軟件測(cè)試與評(píng)估實(shí)驗(yàn)題目基于規(guī)格說明的測(cè)試技術(shù)院系軟件學(xué)院專業(yè)軟件工程班級(jí)軟件13-9班姓名王朝暉學(xué)號(hào)1320010920實(shí)驗(yàn)日期2016.5.12實(shí)驗(yàn)?zāi)康?.了解軟件動(dòng)態(tài)測(cè)試的相關(guān)知識(shí)。2.能根據(jù)案例做出相應(yīng)的圖表。3.掌握軟件動(dòng)態(tài)測(cè)試的基本方法。4.針對(duì)案例，能夠運(yùn)用動(dòng)態(tài)測(cè)試技術(shù)中的具體方法進(jìn)行測(cè)試用例的設(shè)計(jì)。實(shí)驗(yàn)準(zhǔn)備1.計(jì)算機(jī)一臺(tái)，有 c與c+程序設(shè)計(jì)學(xué)習(xí)與實(shí)驗(yàn)系統(tǒng)的軟件。2.了解至少一門程序設(shè)計(jì)語(yǔ)言，并能熟練應(yīng)用。能夠編寫并運(yùn)行有關(guān)實(shí)驗(yàn)的相關(guān)代碼。3.了解等價(jià)類劃分與邊界值分析的方法并能應(yīng)用方法分析程序。4.了解因果圖和決策表的方法并能應(yīng)用方法分析

2、程序。 實(shí)驗(yàn)進(jìn)度本次共有 1 個(gè)練習(xí)，完成 1 個(gè)。實(shí)驗(yàn)內(nèi)容 1.根據(jù)NextDate函數(shù)問題進(jìn)行編程，有三個(gè)變量mouth（月份），day（日期），year（年）。函數(shù)的輸出為輸入日期后一天的日期。要求輸入變量month，day和year均為整數(shù)值。并且滿足下列條件：1 month 12， 1 day 31，1912 year 2050。（此函數(shù)的主要特點(diǎn)是輸入變量之間的邏輯關(guān)系比較復(fù)雜。復(fù)雜性的來源有兩個(gè)：一個(gè)是輸入域的復(fù)雜性，另一個(gè)是指閏年的規(guī)則。）2.對(duì)NextDate函數(shù)進(jìn)行分析。3.選用基于規(guī)格說明的測(cè)試技術(shù)中適合的方法為NextDate函數(shù)問題設(shè)計(jì)測(cè)試用例。實(shí)驗(yàn)分析一實(shí)驗(yàn)步驟1.

3、打開c與c+程序設(shè)計(jì)學(xué)習(xí)與實(shí)驗(yàn)系統(tǒng)平臺(tái)，編譯有關(guān)NextDate函數(shù)問題的相關(guān)程序。2.對(duì)程序進(jìn)行等價(jià)類測(cè)試。3. 對(duì)程序進(jìn)行邊界值分析。4.對(duì)程序進(jìn)行決策表測(cè)試。5. 進(jìn)行用例設(shè)計(jì)。選擇上述設(shè)計(jì)中的一種方法進(jìn)行測(cè)試用例，包括等價(jià)類、邊界值、等價(jià)類邊界值結(jié)合法、因果圖和決策表法。給出預(yù)定輸入和輸出，以及實(shí)際輸出結(jié)果。6.總結(jié)歸納。二程序分析1.程序代碼 #include <iostream> using namespace std; void NextDate(int year,int month,int day); void main() int year=0,month=0,d

4、ay=0;NextDate(year,month,day); void NextDate(int year,int month,int day) cout<<"請(qǐng)輸入年份："<<endl;cin>>year;while(!(year>=1912 && year<=2050)cout<<"年份超過界限，請(qǐng)重新輸入"<<endl;cin>>year;cout<<"請(qǐng)輸入月份："<<endl;cin>>mo

5、nth;while (month>12|month<1)cout<<"月份輸入有誤，請(qǐng)重新輸入"<<endl;cin>>month;cout<<"請(qǐng)輸入日期："<<endl;cin>>day;while (day>31|day<1)cout<<"日期輸入有誤，請(qǐng)重新輸入"<<endl;cin>>day;while(month=4&&day=31|month=6&&day=3

6、1|month=9&&day=31|month=11&&day=31)cout<<"小月沒有31號(hào)"<<endl; cin>>day; if(year%4=0 && year%100!=0) | (year%400=0) /檢查閏年；int i=0;i=day-29;while(month=2&&i>0)cout<<"本月是閏月，請(qǐng)?jiān)?-29之間從新輸入日期"<<endl;cin>>day;if(month=2&a

7、mp;&day=29)month=3;day=1;else day+;else day+;switch(month)case 1:case 3:case 5:case 7:case 8:case 10:if (day=32)month+;day=1;cout<<"明天是："<<year<<'/'<<month<<'/'<<day<<endl;break;case 2:if(day=29)month=3;day=1;cout<<"明

8、天是："<<year<<'/'<<month<<'/'<<day<<endl;break;case 4:case 6:case 9:case 11:if(day=31)month+;day=1;cout<<"明天是："<<year<<'/'<<month<<'/'<<day<<endl;break;case 12:if(day=32)year+;m

9、onth=1;day=1;cout<<"明天是："<<year<<'/'<<month<<'/'<<day<<endl;break;cout<<"明天是："<<year<<'/'<<month<<'/'<<day<<endl;2. 分析 NextDate函數(shù)是輸入日期，年，月份，函數(shù)根據(jù)輸入的數(shù)據(jù)，輸出輸入日期后一天的日期。具

10、體為如果輸入日期不是當(dāng)月最后一天，則把day變量的值加1；如果輸入日期是111月份中某月的最后一天，則把day變量的值復(fù)位為1，month變量的值加1；如果輸入日期是12月的最后一天，則day變量和month變量的值都復(fù)位為1，year變量的值加1。 關(guān)于day的變量值：如果是1,3,5,7,8,10,12月份，day變量值為31；如果是4,6,9,11月份， day變量值為30；如果是閏年的2月，day變量值為29；如果是非閏年的2月，day變量值為28。3 等價(jià)類測(cè)試分析1.劃分簡(jiǎn)單等價(jià)類（1）有效等價(jià)類：M1=month：1month12D1=day：1day31Y1=year：1912

11、month2050（2） 無效等價(jià)類M2=month：month<1M3=month：month>12D2=day：day<1D3=day：day>31Y2=year：year<1912Y3=year：month>2050 （3）測(cè)試用例根據(jù)等價(jià)類得到等價(jià)類測(cè)試用例，如表1表1 普通等價(jià)類測(cè)試用例測(cè)試用例輸入期望輸出monthdayyea5月6日2052000 month不在112中31352000 month不在112中4502000day不在131中55322000day不在131中6551911 

12、year不在19122050中7552051 year不在19122050中 2.劃分改進(jìn)等價(jià)類在簡(jiǎn)單等價(jià)類劃分測(cè)試NextDate函數(shù)中，沒有考慮2月份的天數(shù)問題，也沒有考慮閏年的問題，月份只包含了30天和31天兩種情況。在改進(jìn)等價(jià)類劃分測(cè)試NextDate函數(shù)中，要考慮2月份天數(shù)的問題及閏年問題。（1） 有效等價(jià)類 M1month：month有30天 M2month：month有31天, 除去12月 M3month：month是2月 M4month：month是12月 D1day：1day27 D2day：day28 D3day：day29 D4day：day30 D5day：d

13、ay31 Y1year：year是閏年 Y2year：year不是閏年 （2）無效等價(jià)類M5=month：month<1M6=month：month>12D6=day：day<1D7=day：day>31Y3=year：year<1912Y4=year：month>2050 （3）測(cè)試用例根據(jù)等價(jià)類得到等價(jià)類測(cè)試用例，如表2。表2 改進(jìn)等價(jià)類測(cè)試用例測(cè)試用例輸入期望輸出monthdayyear143020092009年4月31日273120092009年8月1日32272009 2009年2月28日422820092009年3月1日52292000

14、2000年3月1日6123120092010年1月1日79312009 不可能的輸入日期82292009不可能的輸入日期92302009不可能的輸入日期101582009month不在112中116372007day不在131中12662100 year不在19122050中4 邊界值測(cè)試分析1.變量month、day、year的取值范圍：M1month：1month12D1day：1day31Y1year：1912year20502.測(cè)試用例利用輸入變量的最小值、略大于最小值、正常值、略小于最大值和最大值來設(shè)計(jì)測(cè)試用例。如表3。表3 邊界值測(cè)試用例測(cè)試用例輸入期望輸出mo

15、nthdayyear1-132000month不在112中2032000month不在112中31152000 2000年2月16日421520002000年2月16日5111520002000年11月16日6121520002000年12月16日713152000month不在112中 86-12000day不在131中9602000day不在131中106120002000年6月2日116220002000年6月3日1263020002000年7月1日136312000不可能的輸入日期146322000day不在131中156151911year不在19122050中1

16、661519121912年6月16日1761519131913年6月16日1861520492049年6月16日1961520502050年6月16日206152051year不在19122050中五決策表測(cè)試分析決策表中的條件就是規(guī)格說明書中的輸入條件，動(dòng)作就是輸出結(jié)果，而規(guī)則就是貫穿條件項(xiàng)和動(dòng)作項(xiàng)的一列，一條規(guī)則要對(duì)應(yīng)設(shè)計(jì)一個(gè)測(cè)試用例。1. 動(dòng)作樁a1: 不可能；a2: day加1；a3: day復(fù)位；a4: month加1；a5: month復(fù)位；a6: year加12. 條件樁 M1month：month有30天 M2month：month有31天，12月除外 M3month：mont

17、h是12月 M4month：month是2月 D1day：1day27 D2day：day28 D3day：day29 D4day：day30 D5day：day31 Y1year：year是閏年 Y2year：year不是閏年3. 畫出決策表，如表4。表4 決策表 規(guī)則選項(xiàng) 1234567891011條件：C1：month在M1M1M1M1M1M2M2M2M2M2M3C2：day在D1D2D3D4D5D1D2D3D4D5D1C3：year在-動(dòng)作：A1：不可能A2：day加1A3: day復(fù)位A4: month加1A5: month復(fù)位A6：year加1 規(guī)則選項(xiàng) 1213141516171

18、819202122條件：C1：month在M3M3M3M3M4M4M4M4M4M4M4C2：day在D2D3D4D5D1D2D2D3D3D4D5C3：year在-Y1Y2Y1Y2-動(dòng)作：A1：不可能A2：day加1A3: day復(fù)位A4: month加1A5: month復(fù)位A6：year加1 決策表共有22條規(guī)則：第15條規(guī)則解決有30天的月份；第610條規(guī)則解決有31天的月份（除12月份以外）；第1115條規(guī)則解決12月份；第1622條規(guī)則解決2月份和閏年的問題。不可能規(guī)則也在決策表中列出，比如第5條規(guī)則中在有30天的月份中也考慮了31日。 通過以上的決策表得出簡(jiǎn)化的決策表，如表5。表5

19、簡(jiǎn)化決策表 規(guī)則選項(xiàng) 1 2 345678910111213141516171819202122條件：C1：month在M1M1M1M2M2M3M3M4M4M4M4M4M4C2：day在D1D2D3D4D5D1D2D3D4D5D1D2D3D4D5D1D2D2D3D3D4D5C3：year在-Y1Y2Y1Y2-動(dòng)作：A1：不可能A2：day加1A3: day復(fù)位A4: month加1A5: month復(fù)位A6：year加14. 根據(jù)簡(jiǎn)化的決策表，設(shè)計(jì)如表所示的測(cè)試用例。如表6。表6 決策表測(cè)試用例測(cè)試用例monthdayyear預(yù)期輸出1361520072007年6月16日46302007200

20、7年7月1日56312007不可能的輸入日期6911520072007年1月16日1013120072007年2月1日1114121520072007年12月16日15123120072008年1月1日1621520072007年2月16日1722820002000年2月29日1822820072007年3月1日1922920002000年3月1日202292007不可能的輸入日期22222302007不可能的輸入日期6 測(cè)試用例截圖 使用普通等價(jià)類劃分法進(jìn)行用例測(cè)試，參見表1。1. 測(cè)試用例1，如圖1。圖1 測(cè)試用例1 2.測(cè)試用例2，如圖2。圖2 測(cè)試用例2 3.測(cè)試用例3，如圖3。圖3 測(cè)試用例34.測(cè)試用例4，如圖4 。圖4 測(cè)試用例4 5.測(cè)試用例5，如圖5。圖5 測(cè)試用例56.測(cè)試用例6，如圖6。圖6 測(cè)試用例6 7.測(cè)試用例7，如圖7。圖7 測(cè)試用例7心得體會(huì)本次實(shí)驗(yàn)的目的是主要是了解軟件動(dòng)態(tài)測(cè)試。包括對(duì)等價(jià)類測(cè)試，邊界值測(cè)試和決策表測(cè)試。在做實(shí)驗(yàn)之前，我已經(jīng)了解了這三種測(cè)試的基礎(chǔ)要點(diǎn)和重點(diǎn)。做實(shí)驗(yàn)的時(shí)候相對(duì)輕松了很多。等價(jià)類測(cè)試要掌握三個(gè)步驟，先要形成等價(jià)類表，每一等價(jià)類規(guī)定一個(gè)唯一的編號(hào)。然后設(shè)計(jì)一