随着自动驾驶技术的不断发展,高级别自动驾驶车辆逐步在限定区域开展实际道路测试,确保和提高自动驾驶系统安全驾驶能力是当前研究、测试和工程开发的热点难点.面对自动驾驶车辆将长期与人类驾驶车辆混行,并与其他交通参与者遵守同样交通规则的现实需要,提出一种验证和测试自动驾驶系统交通规则符合性的方法,以期降低多车混行条件下的交通安全风险.针对各类交通法律法规语义自动解析技术瓶颈,提出规范化-逻辑化两阶段交通规则数字化模型,基于改进谓词度量时序逻辑框架(Metric　Temporal　Logic,MTL),将自然语言交通规则转换为命题、逻辑连接词和时序算子组成的逻辑编码,生成了自动驾驶系统可理解、可执行、可验证的数字化交通规则,并构建了交通规则命题的分级分类体系.提出了一套基于自动驾驶车辆高精度运动轨迹的交通规则符合性验证算法,并搭建仿真试验平台,在高速公路交通场景下开展了试验验证.理论分析与试验表明:精简命题空间、新增时序算子和谓词逻辑词等改进有效提高了原有MTL框架的时间表现能力,解决了时序逻辑性不足等问题,大幅提高了交通规则数字化转换效率,对地方性交通法规和未来交通法规修订提供了良好的兼容性.提出的交通规则符合性验证方法及试验平台可以有效测试自动驾驶系统对现有交通规则的遵守能力,相关成果对提高自动驾驶系统安全性能和未来混行交通安全管控水平具有重要意义.