arXiv:2511.14432cs.RO2025-11

为工业机器人系统设计专用突变测试方法,提升测试有效性。

Mutation Testing for Industrial Robotic Systems

  • 针对机器人程序特点设计高阶读写操作突变算子
  • 实验证明新方法减少无效突变,提高突变信息量
  • 适合关注机器人软件可靠性与测试质量的研究者

工业机器人系统(IRS)在多样环境中部署日益广泛,其软件故障可能导致严重事故和高昂停机成本。确保控制软件的可靠性至关重要。突变测试是一种广泛用于软件工程的测试评估技术,通过在代码中引入微小缺陷(突变体)来衡量测试套件的有效性。然而,传统突变算子不适用于涉及消息驱动命令和物理世界交互的机器人程序。本文探索将突变测试适配于IRS,提出捕捉机器人动作与传感器读数语义的领域特定突变算子。我们定义了一种在高层读写操作层面生成有意义突变的方法,包括运动、夹爪操作及传感器噪声注入。在抓取放置场景的实证研究显示,该方法产生的突变更具信息量,相比传统算子显著减少无效或等价突变。结果表明突变测试有望提升测试套件质量,助力构建更安全可靠的工业机器人系统。

原文摘要 · Abstract (English)

Industrial robotic systems (IRS) are increasingly deployed in diverse environments, where failures can result in severe accidents and costly downtime. Ensuring the reliability of the software controlling these systems is therefore critical. Mutation testing, a technique widely used in software engineering, evaluates the effectiveness of test suites by introducing small faults, or mutants, into the code. However, traditional mutation operators are poorly suited to robotic programs, which involve message-based commands and interactions with the physical world. This paper explores the adaptation of mutation testing to IRS by defining domain-specific mutation operators that capture the semantics of robot actions and sensor readings. We propose a methodology for generating meaningful mutants at the level of high-level read and write operations, including movement, gripper actions, and sensor noise injection. An empirical study on a pick-and-place scenario demonstrates that our approach produces more informative mutants and reduces the number of invalid or equivalent cases compared to conventional operators. Results highlight the potential of mutation testing to enhance test suite quality and contribute to safer, more reliable industrial robotic systems.

机器人测试突变测试软件可靠性

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