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

成绩 辽宁工程技术大学上机实验报告 课程名称 软件测试与评估 实验题目 基于规格说明的测试技术 院系 软件学院 专业 软件工程 班级 软件13-9班 姓名 王朝晖 学号 1320010920 实验日期 2016.5.12 实验 目的 1.了解。 2.3.掌握的基本方法。 4.针对案例，能够运用中的具体方法进行测试用例的设计。1.计算机一台，有 c与c++程序设计学习与实验系统的软件。 2.了解至少一门程序设计语言，并能熟练应用。能够编写并运行有关实验的相关代码。 3.了解的方法并能应用方法分析程序。 4.了解并能应用方法分析程序。 1.根据NextDate函数问题进行编程，有三个变量mouth（月份），day（日期），year（年）。函数的输出为输入日期后一天的日期。要求输入变量month，day和year均为整数值。并且满足下列条件：1≤ month ≤12， 1≤ day ≤31，1912≤ year ≤2050 2.对NextDate函数进行分析。 3.选用基于规格说明的测试技术中适合的方法为NextDate函数问题设计测试用例。一．实验步骤 1.打开c与c++程序设计学习与实验系统平台，编译有关NextDate函数问题的相关程序。 2.对程序进行等价类测试。 3. 对程序进行边界值分析。 4.对程序进行决策表测试。 5. 进行用例设计。选择上述设计中的一种方法进行测试用例，包括等价类、边界值、等价类边界值结合法、因果图和决策表法。给出预定输入和输出，以及实际输出结果。 二．程序分析 1.程序代码 #include iostream using namespace std; void NextDate(int year,int month,int day); void main() { int year=0,month=0,day=0; NextDate(year,month,day);} void NextDate(int year,int month,int day) { cout请输入年份：endl; cinyear; while(!(year=1912 year=2050)) { cout年份超过界限，请重新输入endl; cinyear; } cout请输入月份：endl; cinmonth; while (month12||month1) { cout月份输入有误，请重新输入endl; cinmonth; } cout请输入日期：endl; cinday; while (day31||day1) {cout日期输入有误，请重新输入endl; cinday;} while(month==4day==31||month==6day==31||month==9day==31||month==11day==31) {cout小月没有31号endl; cinday; } if((year%4==0 year%100!=0) || (year%400==0)) //检查闰年； {int i=0; i=day-29; while(month==2i0) {cout本月是闰月，请在1-29之间从新输入日期endl; cinday; } if(month==2day==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/dayendl; } break; case 2: if(day==29) {month=3; day=1; cout明天是：year/month/dayendl; } break; case 4: case 6: case 9: case 11: if(day==31) {month++; day=1; cout明天是：year/month/dayendl;} break; case 12: if(day==32) {year++; month=1; day=1; cout明天是：year/month/dayendl;