13.6 设计验证