类 ara::diag::SovdServiceValidation

类 ara::diag::SovdServiceValidation 用于在传入 SOVD 服务请求时对访问权限和前置条件进行应用程序特定的检查（[SWS_DM_01822]）。在端口实例化并通过 Offer() 显式激活后，Diagnostic Management 会针对每个请求的资源调用异步验证方法 Validate()（[SWS_DM_01827]）。只要验证对哪怕单个子资源返回错误值，系统就会立即中止整个处理过程并拒绝客户端请求。尽管实例化是线程安全的，但诸如 Offer() 和 StopOffer() 等方法必须由调用方进行同步。

更多 ›

上下文

在 Adaptive Platform 中，类 ara::diag::SovdServiceValidation 用于在诊断应用程序内为 Service-Oriented Vehicle Diagnostics (SOVD) 提供特定于制造商和供应商的检查（[SWS_DM_01822]）。虽然标准化前置条件和环境条件在 SOVD 协议框架内由 Diagnostic Management (DM) 在方法执行之前进行评估（[SWS_DM_01468]），但该接口将自定义验证逻辑直接转移到了自适应应用程序中。

服务验证涉及三个核心参与方：

• SOVD 客户端：通过 HTTP 方法向车辆系统发起诊断请求。
• Diagnostic Management (DM)：接收 SOVD 请求，检查上层条件，并将验证委托给已配置的端口映射（[SWS_DM_01467]、SWS Diagnostics §7.3.3.2.3 “SOVD – Validation of Environmental Conditions”）。
• 验证 Handler：实现 SovdServiceValidation 的应用程序特定特化，并决定所请求操作的许可性（[SWS_DM_01822]、[SWS_DM_01827]）。

上下文图：SOVD 服务验证中的组件和接口关系。来源：[SWS_DM_01822]、[SWS_DM_01823]、SWS Diagnostics §7.3.3.2.3 “SOVD – Validation of Environmental Conditions”

生命周期

验证 Handler 的实例化通过 SovdServiceValidation 的构造函数进行，该构造函数通过 ara::core::InstanceSpecifier 绑定到在清单中建模的 PortPrototype（[SWS_DM_01823]）。此处的端口必须由 DiagnosticSovdServiceValidationInterface 类型化（[SWS_DM_01823]）。应用程序通过参数 ConcurrencyType 具有约束力地定义其实现是设计用于并发调用（kConcurrent）还是必须非并发处理（kNotConcurrent）（[SWS_DM_01823]）。

成功构造后，实例处于初始化状态。DM 对请求的转发必须通过调用 Offer() 显式激活（[SWS_DM_01825]）。如果要中断或终止转发，应用程序需通过 StopOffer() 将其停用（[SWS_DM_01826]）。虚析构函数 ~SovdServiceValidation() 会干净地终止 Handler 的生命周期（[SWS_DM_01824]）。虽然构造函数本身被规范为线程安全的，但 Offer()、StopOffer() 以及析构函数不是线程安全的，不得并发调用（[SWS_DM_01823]、[SWS_DM_01824]、[SWS_DM_01825]、[SWS_DM_01826]）。

使用路径

验证的典型流程分为以下几个阶段：

1. 初始化与注册：应用程序实例化特化类，并通过 Offer() 为 DM 启用服务（[SWS_DM_01823]、[SWS_DM_01825]）。解释：这通常在启动应用程序的诊断功能时执行。 问题 (未决)
2. 请求处理：当 SOVD 消息到达诊断服务器时，诊断服务器会针对 DiagnosticServiceValidationConfiguration 中配置的每个端口映射按指定顺序调用方法 Validate（SWS Diagnostics §7.3.3.2.3 “SOVD – Validation of Environmental Conditions”）。
3. 资源检查：如果调用涉及资源集合（Resource Collection），DM 会多次调用 Validate：针对集合本身恰好调用一次，随后针对集合中包含的每个资源各调用一次（[SWS_DM_01827]）。当前被检查资源的路径分别在 ara::diag::MetaInfo 中传递（SWS Diagnostics §7.3.3.2.3 “SOVD – Validation of Environmental Conditions”）。
4. 异步结果：该方法返回一个 ara::core::Future<void>（[SWS_DM_01827]）。如果检查成功，Future 将在没有错误值的情况下得到解决，DM 继续处理请求（SWS Diagnostics §7.3.3.2.3 “SOVD – Validation of Environmental Conditions”）。
5. 服务停用：在终止之前或发生配置更改时，应用程序调用 StopOffer()（[SWS_DM_01826]）。

时序图：通过 Validate 进行 SOVD 请求检查的流程，包含资源迭代和错误处理。来源：[SWS_DM_01827]、SWS Diagnostics §7.3.3.2.3 “SOVD – Validation of Environmental Conditions”

错误场景

错误可能在初始化和执行的不同阶段发生：

• 构造违规：如果 InstanceSpecifier 在模型中无法解析或未指向 PortPrototype，则会报告 InstanceSpecifierMappingIntegrityViolation（[SWS_DM_01823]）。如果端口不符合接口 DiagnosticSovdServiceValidationInterface，则会发生 PortInterfaceMappingViolation（[SWS_DM_01823]）。在缺少进程映射时会出现 ProcessMappingViolation，如果多次使用相同的标识符，则会导致 InstanceSpecifierAlreadyInUseViolation（[SWS_DM_01823]）。
• Offer 时的注册错误：如果服务已被主动提供，Offer() 将返回错误 DiagOfferErrc::kAlreadyOffered（[SWS_DM_01825]）。如果配置偏离 DEXT 建模，则会导致错误 DiagOfferErrc::kConfigurationMismatch（[SWS_DM_01825]）。
• 业务验证错误：方法 Validate 通过来自 DiagSovdErrc 的错误代码报告不合规情况（[SWS_DM_01827]）。其中包括客户端权限不足时的 DiagSovdErrc::kInsufficientAccessRights、前置条件不满足时的 DiagSovdErrc::kPreconditionNotFulfilled、临时不可用（例如缺少在线令牌验证）时的 DiagSovdErrc::kTemporarilyNotAvailable 或配置错误时的 DiagSovdErrc::kSovdServerMisconfigured（[SWS_DM_01827]）。
• 子资源出错时立即中止：哪怕资源集合中仅有一个所包含资源的验证失败，DM 也会立即中止整个请求的处理，并直接向客户端返回错误消息（SWS Diagnostics §7.3.3.2.3 “SOVD – Validation of Environmental Conditions”）。