软件白盒测试实验报告：含多种覆盖方法测WeekA程序getWeekday()

软件测试基础与实践实验报告实验名称： 白盒测试实验（1） 实验地点：实验日期：学生姓名：学生学号：东南大学 软件学院 制一、实验目的（1）巩固白盒测试知识，能熟练应用控制流覆盖方法设计测试用例；（2）学习测试用例的书写。二、实验内容实验背景：已知公元1年1月1日是星期一，可实现一个程序，使得只要输入年月日，程序就能自动回答当天是星期几。现有同学实现上述功能的程序（WeekA），请大家对此程序进行动态白盒测试。实验1：控制流测试技术实验运用动态白盒测试方法，分别以语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、条件组合覆盖方法设计测试用例，对WeekA程序中的方法()进行测试。设计测试用例时，每种覆盖方法的覆盖率应尽可能达到100%。测试用例 int (int year, int month, int day) { // 验证输入合法性1 int = { 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 };2 if (((year % 4 == 0) (year % 100 != 0)) || year % 400 == 0) { a1,a2,a33 = 29; }4 if (year 0 || month 0 || day 0) {c1,c2,c35 0; }6 if (year 10000) {7 -1;8 } else if (month 12) {9 -2;10 } else if (day

month - 1

) {11 -3; } // 开始计算12 int = 0;13 for (int i = 1;14 i year;15 i++) {16 if (((i % 4 == 0) (i % 100 != 0)) || i % 400 == 0) { j1,j2,j317 += 366;18 } else { += 365; } }19 for (int i = 1; 20 i month; 21 i++) {22 if (i == 2) {23 if (((year % 4 == 0) (year % 100 != 0)) || year % 400 == 0) { q1,q2, = 29;} }25 += ; }26 += day;27 int = % 7;28 if ( == 0) {29 = 7; }30 ; }流程图：（一）语句覆盖：编号输入预期输出实际输出覆盖语句wyE（二）判定覆盖：编号输入预期输出实际输出路径判定 -111///////////////////////////////////////F//TF/（三）条件覆盖、判定条件覆盖、条件组合覆盖编号4

覆盖 实验 year if int 测试