7.3设计验证确认程序k