10.17 设计的处理与验证