实验1 白盒测试——代码覆盖测试 《软件测试方法和技术》.doc

实验1 白盒测试——代码覆盖测试 一、实验目的 熟悉Rational Purefy系列测试工具，理解和掌握软件开发单元测试环节中重要的代码逻辑和路径覆盖测试，使用Rational Purecoverage进行语句覆盖和判定覆盖测试。 二、实验任务 熟悉Rational Purefy测试环境，理解和掌握代码覆盖测试的测试用例设计和测试的执行，使用Rational Purecoverage进行代码覆盖测试。 三、实验要求 每人一台单独做，不得多人一起做。 四、实验内容 1）了解Rational Purefy测试环境，了解常用的菜单项。 2）使用已经设计好的测试用例和事先准备的测试代码进行测试。 五、实验过程 将程序编译后使用Rational Purecoverage软件输入测试用例，进行测试： 1 三角形判断（语句覆盖与判定覆盖测试用例相同） 用例说明 输入数据 预期结果 实际结果 输入一般三角形 3 4 5 此三角形为一般三角形 此三角形为一般三角形！ 输入等边三角形 3 3 3 此三角形为等边三角形 此三角形为等边三角形！ 输入错误的边长 1 8 9 错误 不构成三角形！ 输入等腰三角形 2 1 2 此三角形为等腰三角形 此三角形为等腰三角形！ 2 下一个日期判断（语句覆盖） 用例说明 输入数据 预期结果 实际结果 输入错误的年、月、日 2013 7 33 错误 错误：日期不合法！ 输入错误的年、月、日 2013 13 12 错误 错误：日期不合法！ 输入闰年2月29日 2012 2 29 2012 3 1 下一个日期判断（判定覆盖） 用例说明 输入数据 预期结果 实际结果 输入非闰年2月28日 2011 2 28 2011 3 1 输入错误的年、月、日 2013 7 33 错误 错误：日期不合法！ 输入12月31日 2012 12 31 2013 1 1 输入错误的年、月、日 2013 13 12 错误 错误：日期不合法！ 输入正确的年、月、日 2013 7 12 2013 7 13  六、实验结果及分析 三角形判断 1.语句覆盖：在本程序中，共有4个语句: a b c 语句1 (Return -1;) 语句2 (Return 0;) 语句3 (Return 1;) 语句4 (Return 2;) 3 4 5 —— √ —— —— 3 3 3 —— —— —— √ 1 8 9 √ —— —— —— 2 1 2 —— —— √ —— 通过以上4个测试用例，每个语句至少被执行一次，满足语句覆盖法。 2.判定覆盖：在本程序中，共有3个判断： a b c E1 ((a+b)c(abs(a-b))c)||((b+c)a(abs(b-c))a)||((a+c)b(abs(a-c))b)? E2 a==bb==c? E3 (a==bb!=c)||(a==cb!=c)||(b==ca!=c)? 3 4 5 T F F 3 3 3 T T —— 1 8 9 F —— —— 2 1 2 T F T 通过以上4个测试用例，每个判断的取真分支和取假分支都至少都被执行一次，满足判定覆盖法。 下一个日期判断 1. 语句覆盖：在本程序中，共有7个语句: 年 月 日 语句1 （month[1]=29;） 语句2 (return 错误：日期不合法！\n;) 语句3 (return 错误：日期不合法！\n;) 语句4 （D++;） 语句5 (D=1;M++;) 语句6 (M=1;Y++;) 语句7 (return q;) 2013 7 33 —— —— √ —— —— —— —— 2013 13 12 —— √ —— —— —— —— —— 2012 2 29 √ —— —— √ √ √ √ 通过以上3个测试用例，每个语句至少被执行一次，满足语句覆盖法。 2.判定覆盖：在本程序中，共有5个判断： 年 月 日 E1 (Y%400==0||(Y%4==0Y%100 !=0))? E2 (M12||M1) ? E3 (Dmonth[M-1])? E4 (Dmonth[M-1]) ? E5 (M12) ? 2011 2 28 F F F T F 2013 7 33 F F T —— —— 2012 12 31 T F F T T 2013 13 12 F T —— —— —— 2013 7 12 F F F F —— 通过以上5个测试用例，每个判断的取真分支和取假分支都至少都被执行一次，满足判定覆盖法。 七、实验总结 源代码：（三角形） #includestdio.h #includemath.h in