8.2 归纳法调试