白盒测试实验：条件覆盖与流程图分析

"本次实验是关于软件测试中的白盒测试技术，特别是条件覆盖测试方法的实践。实验者为陈建蓉，实验地点在计算机软件楼，时间是2015年10月21日。实验目标是巩固白盒测试知识，通过绘制程序流程图理解和设计测试用例，并培养严谨的测试精神。实验内容集中在控制流测试技术，以getWeekday()函数为例进行讲解。" 实验中涉及的测试方法主要包括以下几种： 1. **语句覆盖**：测试用例设计的目标是确保程序中的每一条语句至少被执行一次。例如，测试用例1-5分别覆盖了不同的语句，如检查年份是否小于0、是否大于10000、月份是否超过12、日期是否超过对应月份的最大天数以及计算总天数等。 2. **判定覆盖**：除了覆盖每个语句外，还需覆盖程序中的每一个判断表达式，确保其所有可能的结果至少出现一次。例如，第14行的条件 `(i%4==0)&&(i%100!=0)` 或 `i%400==0` 需要被测试，以检验闰年的判断。 3. **条件覆盖**：更进一步，不仅覆盖每个判断，还要覆盖每个条件的真假情况。在getWeekday()函数中，条件如 `(year % 4 == 0) && (year % 100 != 0)` 和 `year % 400 == 0` 都需要独立地设为真和假来验证。 4. **判定条件覆盖**：这要求每个条件的每一种可能组合都被覆盖。例如，当 `(year % 4 == 0)` 和 `(year % 100 != 0)` 组合在一起时，以及 `year % 400 == 0` 的情况下，都需要有相应的测试用例。 5. **条件组合覆盖**：这是最严格的覆盖标准，需要覆盖所有可能的条件组合。在getWeekday()函数中，可能涉及到年份是否是闰年的多种组合情况，如非闰年、普通闰年和世纪闰年。 实验中列出的测试用例展示了如何根据这些覆盖标准来设计测试数据，以确保程序的各个部分都能被充分测试。通过执行这些测试用例，可以验证getWeekday()函数在各种输入条件下的正确性，从而提高软件质量并减少潜在的错误。