使用白盒测试方法测试nextdate函数测试计划，使用代码检查法，逻辑覆盖法，基本路径测试方法附带代码

代码：

def nextdate(year, month, day):
    if year < 1812 or year > 2012 or month < 1 or month > 12 or day < 1 or day > 31:
        return "invalid input"
    elif month == 2 and day > 29:
        return "invalid input"
    elif month == 4 or month == 6 or month == 9 or month == 11:
        if day > 30:
            return "invalid input"
        elif day == 30:
            return str(year) + "-" + str(month+1) + "-" + "1"
        else:
            return str(year) + "-" + str(month) + "-" + str(day+1)
    elif month == 2:
        if day == 28:
            if year % 4 == 0 and (year % 100 != 0 or year % 400 == 0):
                return str(year) + "-" + str(month) + "-" + "29"
            else:
                return str(year) + "-" + str(month+1) + "-" + "1"
        elif day == 29:
            return "invalid input"
        else:
            return str(year) + "-" + str(month) + "-" + str(day+1)
    else:
        if day == 31:
            if month == 12:
                return str(year+1) + "-" + "1" + "-" + "1"
            else:
                return str(year) + "-" + str(month+1) + "-" + "1"
        else:
            return str(year) + "-" + str(month) + "-" + str(day+1)

使用代码检查法，逻辑覆盖法，基本路径测试方法进行白盒测试。

## 代码检查法

首先使用代码检查法，检查代码中是否有语法错误，是否符合编码规范，是否容易理解等问题。对于本代码，可以检查变量名是否清晰，是否有注释解释函数的作用等。

## 逻辑覆盖法

接着使用逻辑覆盖法，对代码进行测试。逻辑覆盖法是一种结构化测试方法，其目标是确保程序的每个分支至少被执行一次。因此，我们需要设计测试用例，使得每个分支都至少被执行一次。

针对本代码，我们可以设计以下测试用例：

1. 输入年份小于1812，月份和日份在[1,31]之间：返回"invalid input"，该分支被执行；
2. 输入年份大于2012，月份和日份在[1,31]之间：返回"invalid input"，该分支被执行；
3. 输入月份小于1或大于12，年份和日份在[1,31]之间：返回"invalid input"，该分支被执行；
4. 输入日份小于1或大于31，年份和月份在[1,12]之间：返回"invalid input"，该分支被执行；
5. 输入年份和月份均为2，且日份大于29：返回"invalid input"，该分支被执行；
6. 输入年份和月份均为4、6、9或11，且日份大于30：返回"invalid input"，该分支被执行；
7. 输入年份和月份均为2，且日份为28、29：分别测试闰年和平年，该分支被执行；
8. 输入年份和月份均为2，且日份为1~27：分别测试1~27日，该分支被执行；
9. 输入年份和月份在[1,12]之间，且日份为31：分别测试12月和非12月，该分支被执行；
10. 输入年份和月份在[1,12]之间，且日份在[1,30]之间：分别测试1~30日，该分支被执行。

## 基本路径测试方法

最后使用基本路径测试方法进行测试。基本路径测试方法是一种基于控制流程图的测试方法，其目标是覆盖程序中所有的基本路径。对于本代码，我们可以画出如下的控制流程图：


其中圆圈表示判断条件，矩形表示执行语句，三角形表示结束语句。

根据控制流程图，我们可以列出如下的基本路径：

1. 1-2-3-4-5-6-7-8-9-10-11-12-13-14-15-16；
2. 1-2-3-4-5-6-7-8-9-10-11-12-13-14-15-17；
3. 1-2-3-4-5-6-7-8-9-10-11-12-13-18-19；
4. 1-2-3-4-5-6-7-8-9-10-11-12-13-20-21；
5. 1-2-3-4-5-6-7-8-9-10-11-12-13-22-23；
6. 1-2-3-4-5-6-7-8-9-10-11-12-13-24-25；
7. 1-2-3-4-5-6-7-8-9-10-11-12-13-26-27；
8. 1-2-3-4-5-6-7-8-9-10-11-12-13-28-29；
9. 1-2-3-4-5-6-7-8-9-10-11-12-13-30-31；
10. 1-2-3-4-5-6-7-8-9-10-11-12-13-32-33-34-16；
11. 1-2-3-4-5-6-7-8-9-10-11-12-13-32-33-35-16；
12. 1-2-3-4-5-6-7-8-9-10-11-12-13-32-36-37-38-39-40-41-16；
13. 1-2-3-4-5-6-7-8-9-10-11-12-13-32-36-37-38-39-42-43-16；
14. 1-2-3-4-5-6-7-8-9-10-11-12-13-32-36-37-38-44-45-46-47-16；
15. 1-2-3-4-5-6-7-8-9-10-11-48-49-50-51-11-12-13-14-15-16；
16. 1-2-3-4-5-6-7-8-9-10-11-48-49-50-52-53-11-12-13-14-15-16；
17. 1-2-3-4-5-6-7-8-9-10-54-55-56-57-11-12-13-14-15-16；
18. 1-2-3-4-5-6-7-8-9-10-54-55-58-59-60-61-11-12-13-14-15-16；
19. 1-2-3-4-5-6-7-8-9-10-54-55-58-62-63-64-65-66-67-16；
20. 1-2-3-4-5-6-7-8-9-10-54-55-68-69-70-71-72-73-16。

其中数字表示控制流程图中的节点编号。

以上就是对nextdate函数进行白盒测试的方法和测试用例。