4.2.2 系统设计验证