arXiv:2506.22068cs.AI2025-06被引 1

用逻辑查询统一测试智能座舱、车辆与道路数据,提升自动驾驶验证效率。

Query as Test: An Intelligent Driving Test and Data Storage Method for Integrated Cockpit-Vehicle-Road Scenarios

  • 提出‘查询即测试’理念,以逻辑查询替代传统固定测试用例。
  • 设计可扩展场景符号(ESN)框架,统一表示多源异构数据。
  • 支持灵活查询与隐私保护,适合自动驾驶系统验证与开发迭代。

随着人工智能在交通领域的深入应用,智能座舱、自动驾驶与智能道路网络快速发展,但三者数据生态系统日益碎片化且不兼容。现有测试方法依赖数据堆叠,难以覆盖边缘情况,灵活性差。本文提出“查询即测试”(Query as Test, QaT)概念,将测试重点从预设用例转向对统一数据表示的动态逻辑查询。为此,我们提出“可扩展场景符号”(Extensible Scenarios Notations, ESN),一种基于答案集编程(ASP)的声明式数据框架,将座舱、车辆与道路的异构多模态数据统一为逻辑事实与规则集合。该方法实现数据深层语义融合,具备三大优势:(1)通过逻辑推理支持复杂灵活的语义查询;(2)提供决策过程的自然可解释性;(3)通过逻辑规则实现按需数据抽象,支持细粒度隐私保护。进一步,我们将QaT范式应用于自动驾驶系统的功能验证与安全合规检查,将其转化为对ESN数据库的逻辑查询,显著提升测试表达力与形式化程度。最后,提出“验证驱动开发”(Validation-Driven Development, VDD)理念,主张在大语言模型时代以逻辑验证引导开发,加速迭代进程。

原文摘要 · Abstract (English)

With the deep penetration of Artificial Intelligence (AI) in the transportation sector, intelligent cockpits, autonomous driving, and intelligent road networks are developing at an unprecedented pace. However, the data ecosystems of these three key areas are increasingly fragmented and incompatible. Especially, existing testing methods rely on data stacking, fail to cover all edge cases, and lack flexibility. To address this issue, this paper introduces the concept of "Query as Test" (QaT). This concept shifts the focus from rigid, prescripted test cases to flexible, on-demand logical queries against a unified data representation. Specifically, we identify the need for a fundamental improvement in data storage and representation, leading to our proposal of "Extensible Scenarios Notations" (ESN). ESN is a novel declarative data framework based on Answer Set Programming (ASP), which uniformly represents heterogeneous multimodal data from the cockpit, vehicle, and road as a collection of logical facts and rules. This approach not only achieves deep semantic fusion of data, but also brings three core advantages: (1) supports complex and flexible semantic querying through logical reasoning; (2) provides natural interpretability for decision-making processes; (3) allows for on-demand data abstraction through logical rules, enabling fine-grained privacy protection. We further elaborate on the QaT paradigm, transforming the functional validation and safety compliance checks of autonomous driving systems into logical queries against the ESN database, significantly enhancing the expressiveness and formal rigor of the testing. Finally, we introduce the concept of "Validation-Driven Development" (VDD), which suggests to guide developments by logical validation rather than quantitative testing in the era of Large Language Models, in order to accelerating the iteration and development process.

自动驾驶数据融合逻辑查询测试框架

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。