9.2.5 设计检查的验证