(第1空)在V模型中，( )是对详细设计进行验证，( )与需求分析相对应。