軟件測(cè)試決策表

1、軟件測(cè)試實(shí)驗(yàn)報(bào)告題目: 決策表法的使用 學(xué)號(hào):教師:東南大學(xué)成賢學(xué)院電子與計(jì)算機(jī)工程學(xué)院2017年9月30 日方案30%設(shè)計(jì)30%文字表述20%分析與總結(jié)20%總分實(shí)驗(yàn)題目1、實(shí)驗(yàn)容NextDate函數(shù)包含三個(gè)變量：mo nth (月份)、day (日期) 和year (年)，函數(shù)的輸出為輸入日期前一天的日期。例如，輸入為 2007年9月9日，則函數(shù)的輸出為2007年9月10日。要求輸入變量 mo nth、 day和year均為整數(shù)值，并且滿足下列條件：(1) 1 < month < 12(2) 1 < dayw 31(3) 1912W yearw 20502、實(shí)驗(yàn)?zāi)康呐c要求

2、分別輸入測(cè)試用例，判斷期望輸出與實(shí)際輸出是否相等3、實(shí)驗(yàn)環(huán)境操作系統(tǒng)WIN10測(cè)試工具 VS2010測(cè)試語(yǔ)言 c+ 語(yǔ)言4、設(shè)計(jì)思路分析（包括需求分析、整體設(shè)計(jì)思路、概要設(shè)計(jì)）需求分析：此函數(shù)的主要特點(diǎn)是輸入變量之間的邏輯關(guān)系比較復(fù)雜。 復(fù)雜性的來(lái)源有兩個(gè)： 一個(gè)是輸入 域的復(fù)雜性，另一個(gè)是指閏年的規(guī)則。例如變量 year 和變量 month 取不同的值，對(duì)應(yīng)的變 量day會(huì)有不同的取值圍，day值的圍可能是130或131,也可能是128或129。整體設(shè)計(jì)思路：NextDate 函數(shù)中包含了定義域各個(gè)變量之間的依賴問(wèn)題。等價(jià)類劃分法和邊界值分析法只 能“獨(dú)立地”選取各個(gè)輸入值, 不能體現(xiàn)出多個(gè)

3、變量的依賴關(guān)系。 決策表法則是根據(jù)變量間 的邏輯依賴關(guān)系設(shè)計(jì)測(cè)試輸入數(shù)據(jù), 排除不可能的數(shù)據(jù)組合, 很好地解決了定義域的依賴問(wèn) 題。5、詳細(xì)設(shè)計(jì)NextDate 函數(shù)求解給定某個(gè)日期的下一個(gè)日期的可能操作（動(dòng)作樁）如下：變量 day 加 1 操作；變量 day 復(fù)位操作；變量 month 加 1 操作；變量 month 復(fù)位操作；變量 year 加 1 操作。根據(jù)上述動(dòng)作樁發(fā)現(xiàn) NextDate 函數(shù)的求解關(guān)鍵是日和月的問(wèn)題, 通?？梢栽谙旅娴葍r(jià)類 （條 件樁）的基礎(chǔ)上建立決策表：M1 = month : month 有 30 天M2 = mon th : mon th 有 31 天，12 月

4、除外M3 = month : month 是 12 月M4 = mon th : mo nth 是 2 月D1 = day : 1< day< 27D2 = day : day= 28D3 = day : day= 29D4 = day : day= 30D5 = day : day= 31Y1 = year: year 是閏年Y2 = year : year不是閏年決策表共有22條規(guī)則：第15條規(guī)則解決有30天的月份；第610條規(guī)則解決有31天的月份（除12月份以外）；第1115條規(guī)則解決12月份；第1622條規(guī)則解決2月份和閏年的問(wèn)題。不可能規(guī)則也在決策表中列出，比如第5條規(guī)則

5、中在有30天的月份中也考慮了 31日。表1輸入變量間存在大量邏輯關(guān)系的NextDate函數(shù)決策表規(guī)則選項(xiàng)1234567891011條件：C1: month在M1M1M1M1M1M2M2M2M2M2M3C2: day 在D1D2D3D4D5D1D2D3D4D5D1C3: year在動(dòng)作：A1:不可臺(tái)匕冃匕VA2: day 加1VVVVVVVVA3: day復(fù)位VVA4: mon th 加1VVA5: month復(fù)位規(guī)則選項(xiàng)1213141516171819202122條件：C1: month在M3M3M3M3M4M4M4M4M4M4M4C2: day 在D2D3D4D5D1D2D2D3D3D4D5

6、C3: year 在一一一一一Y1Y2Y1Y2一一動(dòng)作：A1:不可能VVVA2: day 加1VVVA3: day 復(fù)位VVVA4: mon th 加1VVA5: month復(fù)位VA6 : year 加1V表2簡(jiǎn)化的NextDate函數(shù)決策表:選項(xiàng)1,2,456,7,1011,12,15161718192021,規(guī)則38,13,22914條件：C1: mon th在M1M1M1M2M2M3M3M4M4M4M4M4M4D1D1D155D25D2C2: day在D25D4D55D3D55D3D5D1D2D2D3D3D4,D5D35D45D4C3: yearYYYY在1212動(dòng)作：A1:不可能VVV

7、A2: dayVVVVV加1A3: day復(fù)位VVVVVA4: month加1VVVVA5: mon th復(fù)位VA6 : year 加1V6、實(shí)驗(yàn)結(jié)果與分析表3 NextDate函數(shù)的測(cè)試用例組測(cè)試用例MonthDayYear預(yù)期輸出實(shí)際輸出Test case 1-31520152015 年 5 月 16Test case 43020152015 年 5 月 31淸輸入年“月、日;2骯5 5 302015/5/31Test case 53120152015年6月1青輸入年、月、日;>015 5 31：015/6/1Test case 6-941520152015 年 4 月 16日諳愉入

8、年、月、日:2015 4 152015116Test case 1043120152015年5月1日Test case11-14121520152015 年 12 月 16日請(qǐng)輸入年、月、日; 2U15 12 15 2O15Z12/1&Test case 15123120152016年1月1日青輸入年、月、日:2915 12 3120161/1Test case 1621520152015 年 2 月 16日青輸入年r月、日;J015 Z 15?015/2/16Test case 172820162016 年 2 月 29日青輸入年、月、日;阿& 2 28201/2/29Tes

9、t case 182820152015年3月1日請(qǐng)輸入年、月、日:2015 2 2S2015/3/1Test case 192920162016年3月1日請(qǐng)輸入年、月、日:2016 2 292aiGZ31Test case 202292015不可能!Testcase 21-222302015不可能!7、實(shí)驗(yàn)體會(huì)與建議程序的實(shí)際輸出結(jié)果與預(yù)期結(jié)果不符合，但基本滿足實(shí)驗(yàn)問(wèn)題需求，基于決策表的測(cè)試對(duì)于某些應(yīng)用程序（例如NextDate函數(shù)）很有效，但是對(duì)另外一些簡(jiǎn)單的應(yīng)用程序就不值得使用決策表了。附錄代碼#include "stdafx.h"bool NextDate(int i

10、,int j,int k)if(i>=1960&&i<=2050&&j>=1&&j<=12&&k>=1&&k<=31)if(k>=1&&k<=27)k+;elseswitch(k)case 31:case 30:if(j=1|j=3|j=5|j=7|j=8|j=10)k=1;j+;else if(j=12)k=1;j=1;i+;elsereturn false;break;if(j=4|j=6|j=9|j=11)k=1;j+;else if(j=2)r

11、eturn false;elsek+;break;case 29:if(j=2&&(i%4=0&&i%100!=0)|i%400=0)k=1;j+;else if(j!=2)k+;elsereturn false;break;case 28:if(j=2&&(i%4=0&&i%100!=0)|i%400=0)k+;else if(j!=2)k+;elsek=1;j+;break;elsereturn false; cout<<i<<"/"<<j<<"/"<<k<<endl;int main()int day,month,year;while(1)cout<<" 請(qǐng)輸入年、月、日： "<<endl;