9.7 设计验证