基于C-V2X日志的车路协同场景数据分析方法及验证系统

本发明公开了一种基于C‑V2X日志的车路协同场景数据分析方法及验证系统，该方法包括：步骤S1：采用形式化框架建立针对待测操作的扩展有限状态机模型EFSM，以该状态机作为测试准则test oracle；步骤S2：从C‑V2X系统实时日志中提取相关信息发送给EFSM模型程序；步骤S3：EFSM模型对接收到的C‑V2X系统信息分类处理，并分别进行状态迁移分析，对C‑V2X系统的操作中潜在的不当行为进行测试分析。该系统用来实施上述方法。本发明具有原理简单、适用范围广、操作简便等优点。