1.8.3 设计是一个跳跃性过程，验证设计是一个推理过程