15.2 设计验证的使用