arXiv:2507.05125cs.RO2025-07被引 2

用行为驱动开发自动测试机器人系统,提升可靠性。

Automated Behaviour-Driven Acceptance Testing of Robotic Systems

  • 用领域语言和知识图谱构建可组合的测试模型
  • 在Isaac Sim中自动执行测试,验证抓取放置任务表现
  • 适合机器人研发团队用于自动化验收测试

机器人应用的需求定义与验证需跨越需求描述与系统化测试之间的鸿沟。这一过程常依赖人工且易出错,随着需求、设计与实现的演进而愈发复杂。为系统性解决此问题,我们提出将行为驱动开发(BDD)扩展至机器人系统,以定义和验证验收标准。通过领域特定建模,将可组合的BDD模型表示为知识图谱,支持鲁棒查询与操作,促进可执行测试模型的生成。领域特定语言可高效指定机器人验收标准。我们设计了一套软件架构,集成BDD框架、Isaac Sim与模型转换,聚焦于抓取放置应用的验收标准自动化生成与执行。使用现有抓取放置实现进行测试,评估结果显示,不同智能体与环境配置下系统行为与失败模式存在差异。该研究推动了机器人系统的严谨与自动化评估,增强了其可靠性和可信度。

原文摘要 · Abstract (English)

The specification and validation of robotics applications require bridging the gap between formulating requirements and systematic testing. This often involves manual and error-prone tasks that become more complex as requirements, design, and implementation evolve. To address this challenge systematically, we propose extending behaviour-driven development (BDD) to define and verify acceptance criteria for robotic systems. In this context, we use domain-specific modelling and represent composable BDD models as knowledge graphs for robust querying and manipulation, facilitating the generation of executable testing models. A domain-specific language helps to efficiently specify robotic acceptance criteria. We explore the potential for automated generation and execution of acceptance tests through a software architecture that integrates a BDD framework, Isaac Sim, and model transformations, focusing on acceptance criteria for pick-and-place applications. We tested this architecture with an existing pick-and-place implementation and evaluated the execution results, which shows how this application behaves and fails differently when tested against variations of the agent and environment. This research advances the rigorous and automated evaluation of robotic systems, contributing to their reliability and trustworthiness.

机器人测试行为驱动自动化验证

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