基于规格说明的测试技术(软件动态测试)

《基于规格说明的测试技术(软件动态测试)》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、辽宁工程技术大学上机实验报告课程名称软件测试与评估实验题目基于规格说明的测试技术实验目的1.了解软件动态测试的相关知识。2.能根据案例做出相应的图表。3.掌握软件动态测试的基本方法。4.针对案例，能够运用动态测试技术中的具体方法进行测试用例的设计。实验准备1.计算机一台，有c与c++程序设计学习与实验系统的软件。2.了解至少一门程序设计语言，并能熟练应用。能够编写并运行有关实验的相关代码。3.了解等价类划分与边界值分析的方法并能应用方法分析程序。4.了解因果图和决策表的方法并能应用方法分析程序。实验进度本次共有1个练习，完成1个。实验内容1.根据NextD

2、ate函数问题进行编程，有三个变量mouth（月份），day（日期），year（年）。函数的输出为输入日期后一天的日期。要求输入变量month，day和year均为整数值。并且满足下列条件：1≤month≤12，1≤day≤31，1912≤year≤2050。（此函数的主要特点是输入变量之间的逻辑关系比较复杂。复杂性的来源有两个：一个是输入域的复杂性，另一个是指闰年的规则。）2.对NextDate函数进行分析。3.选用基于规格说明的测试技术中适合的方法为NextDate函数问题设计测试用例。实验分析一．实验步骤1.打开c与c++程序设计学习与实验系统平台，

3、编译有关NextDate函数问题的相关程序。2.对程序进行等价类测试。3.对程序进行边界值分析。4.对程序进行决策表测试。5.进行用例设计。选择上述设计中的一种方法进行测试用例，包括等价类、边界值、等价类边界值结合法、因果图和决策表法。给出预定输入和输出，以及实际输出结果。6.总结归纳。二．程序分析1.程序代码#includeusingnamespacestd;voidNextDate(intyear,intmonth,intday);voidmain(){intyear=0,month=0,day=0;NextDate(year,mo

4、nth,day);}voidNextDate(intyear,intmonth,intday){cout<<"请输入年份："<>year;while(!(year>=1912&&year<=2050)){cout<<"年份超过界限，请重新输入"<>year;}cout<<"请输入月份："<>month;while(month>12

5、

6、month<1){cout<<"月份输入有误，请重新输入"<>month;}cout<<"请输入日期："<>day;while

7、(day>31

8、

9、day<1){cout<<"日期输入有误，请重新输入"<>day;}while(month==4&&day==31

10、

11、month==6&&day==31

12、

13、month==9&&day==31

14、

15、month==11&&day==31){cout<<"小月没有31号"<>day;}if((year%4==0&&year%100!=0)

16、

17、(year%400==0))//检查闰年；{inti=0;i=day-29;while(month==2&&i>0){cout<<"本月是闰月，请在1-29之间从新输入

18、日期"<>day;}if(month==2&&day==29){month=3;day=1;}elseday++;}elseday++;switch(month){case1:case3:case5:case7:case8:case10:if(day==32){month++;day=1;cout<<"明天是："<

19、<

20、，年，月份，函数根据输入的数据，输出输入日期后一天的日期。具体为如