7.4.3 设计验证