一. 代码复审Check List 1.概要部分 代码能符合需求和规格说明么? 对-c的测试: 可以看到程序不支持1000000的数独终局输出,读源码发现常量MaxCounts定义为了100000,导致无法计算十万以上的数独终局. 另外,实际命令行运行发现程序无法自行停止,查源码发现最后的getchar()导致这一问题. 对-s的测试:发现输出的文件为空,不符合要求,交流后了解到是由于审题有错,导致读取文件时按用空格表示数独的空(而不是0)的格式读取,于是程序无法处理数字间有空格的正确格式文件.…