以 Agentic AI 连接需求、模型与验证证据

演讲通过坡道驻车辅助示例，结合 AI 任务拆解、建模规则检查、死逻辑检测和基于需求的测试，以追溯性、覆盖率、缺陷归属与人工评审组织验证证据，未提供车辆认证结果。