测试计算下一天日期的函数nextDate()：1.编制使用白盒测试方法测试nextDate()函数的测试计划；2.使用代码检查法、逻辑覆盖法、基本路径测试法对函数nextDate()进行测试。

1. 白盒测试方法测试计划：

- 输入域：
- 年份：1900年至9999年之间的任意整数
- 月份：1至12之间的任意整数
- 日数：1至当月最大天数之间的任意整数
- 输出域：
- 返回下一天的日期，格式为(yyyy, mm, dd)，其中yyyy为年份，mm为月份，dd为日数
- 如果输入的日期不合法，则返回None

测试用例设计如下：

| 测试编号 | 输入 | 期望输出 |
| -------- | ---- | -------- |
| 1 | 2021, 2, 28 | 2021, 3, 1 |
| 2 | 2021, 12, 31 | 2022, 1, 1 |
| 3 | 2021, 4, 30 | 2021, 5, 1 |
| 4 | 2021, 2, 29 | None |
| 5 | 2021, 13, 1 | None |
| 6 | 2021, 0, 1 | None |
| 7 | 2020, 2, 29 | 2020, 3, 1 |
| 8 | 1900, 2, 28 | 1900, 3, 1 |
| 9 | 2021, 2, 31 | None |

2. 测试方法：

- 代码检查法：检查函数实现是否符合设计要求，是否存在逻辑错误、语法错误等问题。
- 逻辑覆盖法：根据函数的控制流程，设计测试用例，保证每个分支和语句至少被执行一次。
- 基本路径测试法：根据函数的控制流程图，设计测试用例，保证每个基本路径至少被执行一次。

下面分别对这三种测试方法进行详细描述：

- 代码检查法：

通过检查函数实现是否符合设计要求，是否存在逻辑错误、语法错误等问题来测试函数的正确性。

- 逻辑覆盖法：

逻辑覆盖法是一种黑盒测试方法，通过设计测试用例，保证每个分支和语句至少被执行一次，从而达到测试函数的正确性的目的。对于本题的函数，根据控制流程图，可以设计以下测试用例：

| 测试编号 | 输入 | 期望输出 |
| -------- | ---- | -------- |
| 1 | 2021, 2, 28 | 2021, 3, 1 |
| 2 | 2021, 12, 31 | 2022, 1, 1 |
| 3 | 2021, 4, 30 | 2021, 5, 1 |
| 4 | 2021, 2, 29 | None |
| 5 | 2021, 13, 1 | None |
| 6 | 2021, 0, 1 | None |
| 7 | 2020, 2, 29 | 2020, 3, 1 |
| 8 | 1900, 2, 28 | 1900, 3, 1 |
| 9 | 2021, 2, 31 | None |

- 基本路径测试法：

基本路径测试法也是一种黑盒测试方法，根据函数的控制流程图，设计测试用例，保证每个基本路径至少被执行一次，从而达到测试函数的正确性的目的。对于本题的函数，根据控制流程图，可以设计以下测试用例：

| 测试编号 | 输入 | 期望输出 |
| -------- | ---- | -------- |
| 1 | 2021, 2, 28 | 2021, 3, 1 |
| 2 | 2021, 12, 31 | 2022, 1, 1 |
| 3 | 2021, 4, 30 | 2021, 5, 1 |
| 4 | 2021, 2, 29 | None |
| 5 | 2021, 13, 1 | None |
| 6 | 2021, 0, 1 | None |
| 7 | 2020, 2, 29 | 2020, 3, 1 |
| 8 | 1900, 2, 28 | 1900, 3, 1 |
| 9 | 2021, 2, 31 | None |