V模型指出，（ ）对概要设计进行验证，（请作答此空）对详细设计进行验证，（ ）当追朔到用户需求说明。

在 V 模型中， ( ) 是对详细设计进行验证 。 概要设计说明书应在（请作答此空）阶段完成，详细设计说明书应在（ ）阶段完成。 概要设计说明书应在（ ）阶段完成，详细设计说明书应在（请作答此空）阶段完成。 在V模型中，（）是对概要设计进行验证，（）与编码相对应 在 V 模型中， 集成测试 是对详细设计进行验证， ( ) 与需求分析相对应。 在V模型中，(31)是对详细设计进行验证，(32)与需求分析相对应。(31) 详细设计是在概要设计之后进行的，它利用概要设计的结果，对系统中每个模块给出足够的过程性描述。 详细设计是在概要设计之后进行的，它利用概要设计的结果，对系统中的每个模块给出足够的过程性描述。 关系模型是采用（请作答此空）结构表达实体类型及实体间联系的数据模型。在数据库设计过程中，设计用户外模式属于（ ）。 关系模型是采用（ ）结构表达实体类型及实体间联系的数据模型。在数据库设计过程中，设计用户外模式属于（请作答此空）。 中国大学MOOC: 软件的结构化设计方法中，一般分为概要设计和详细设计两阶段，其中详细设计主要是对（ ）进行设计。 确定系统边界应在数据库设计的（请作答此空）阶段进行；关系规范化是在数据库设计的（ ）阶段进行。 确定系统边界应在数据库设计的（ ）阶段进行；关系规范化是在数据库设计的（请作答此空）阶段进行。 在数据库逻辑结构设计阶段，需要（ 请作答此空）阶段形成的（）作为设计依据。 在数据库逻辑结构设计阶段，需要（）阶段形成的（ 请作答此空）作为设计依据。 数字签名通常采用（ ）对消息摘要进行加密，接收方采用（请作答此空）来验证签名。 数字签名通常采用（请作答此空）对消息摘要进行加密，接收方采用（ ）来验证签名。 ASCII码是对（请作答此空）进行编码的一种方案，它是（ ）的缩写。 ASCII码是对（ ）进行编码的一种方案，它是（请作答此空）的缩写。 根据软件测试V模型，下列哪项是针对设计进行的验证（）