使用代码检查法，逻辑覆盖法，基本路径测试法对函数nextDate（）进行测试

首先需要了解一下函数nextDate()的功能：给定年、月、日三个参数，函数返回下一个日期。

接下来，我们使用不同的测试方法对该函数进行测试。

1. 代码检查法

代码检查法是最简单的测试方法，它只需要检查代码是否存在语法错误和潜在的逻辑错误。

由于我们无法看到函数的实现，所以无法使用代码检查法进行测试。

2. 逻辑覆盖法

逻辑覆盖法是一种黑盒测试方法，目的是通过测试用例覆盖所有可能的情况，从而发现潜在的错误。

根据函数的功能，我们可以将输入参数进行分类，包括：

- 年份为闰年，月份为2月，且为29号。
- 年份为闰年，月份为2月，且不为29号。
- 年份为平年，月份为2月，且为28号。
- 年份为平年，月份为2月，且不为28号。
- 月份为31天的月份，且为31号。
- 月份为31天的月份，且不为31号。
- 月份为30天的月份，且为30号。
- 月份为30天的月份，且不为30号。
- 月份为非法月份。
- 日份为非法日份。

针对以上分类，我们可以设计如下测试用例：

| 年份 | 月份 | 日份 | 期望结果 |
| -------- | ---- | ---- | -------- |
| 2020 | 2 | 29 | 2020-03-01 |
| 2020 | 2 | 28 | 2020-02-29 |
| 2021 | 2 | 28 | 2021-03-01 |
| 2021 | 2 | 29 | 非法输入 |
| 2020 | 3 | 31 | 2020-04-01 |
| 2020 | 4 | 30 | 2020-05-01 |
| 2020 | 4 | 31 | 非法输入 |
| 2020 | 5 | 30 | 2020-05-31 |
| 2020 | 13 | 1 | 非法输入 |
| 2020 | 5 | 32 | 非法输入 |

需要注意的是，由于函数nextDate()中可能会判断是否为闰年，因此测试用例中需要包含闰年和平年的情况。

3. 基本路径测试法

基本路径测试法是一种白盒测试方法，其目的是覆盖所有可能的路径，从而发现潜在的错误。

首先，我们需要找出函数的所有路径。由于函数nextDate()比较简单，其中的控制流程也比较简单，因此只有一条路径，如下所示：

1. 判断输入的年份、月份、日份是否合法
2. 判断是否为2月份
3. 判断是否为闰年
    a. 是，判断日份是否为29号
        i. 是，返回3月1日
        ii. 否，返回下一天的日期
    b. 否，判断日份是否为28号
        i. 是，返回3月1日
        ii. 否，返回下一天的日期
4. 判断是否为31天的月份
    a. 是，判断日份是否为31号
        i. 是，返回下一月1号
        ii. 否，返回下一天的日期
    b. 否，判断是否为30天的月份
        i. 是，判断日份是否为30号
            1. 是，返回下一月1号
            2. 否，返回下一天的日期
        ii. 否，返回非法输入

接下来，我们需要构造测试用例来覆盖所有的路径：

| 年份 | 月份 | 日份 | 期望结果 |
| ---- | ---- | ---- | -------- |
| 非法输入 | | | 非法输入 |
| 2020 | 非法输入 | | 非法输入 |
| 2020 | 2 | 非法输入 | 非法输入 |
| 2020 | 2 | 29 | 2020-03-01 |
| 2020 | 2 | 28 | 2020-02-29 |
| 2021 | 2 | 28 | 2021-03-01 |
| 2021 | 2 | 29 | 非法输入 |
| 2020 | 3 | 31 | 2020-04-01 |
| 2020 | 4 | 30 | 2020-05-01 |
| 2020 | 4 | 31 | 非法输入 |
| 2020 | 5 | 30 | 2020-05-31 |
| 非法输入 | 非法输入 | 非法输入 | 非法输入 |

以上就是对函数nextDate()的三种测试方法的测试用例设计。在实际测试中，我们可以结合使用这三种方法，从而提高测试覆盖率和测试效果。