arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2511.14432cs.RO
收藏

工业机器人系统的变异测试

Mutation Testing for Industrial Robotic Systems

Université du Québec à Chicoutimi(魁北克大学希库蒂米分校);École de technologie supérieure(高等技术学院)

Marcela Gonçalves dos Santos, Sylvain Hallé, Fábio Petrillo

AI总结:

针对传统变异测试不适配工业机器人系统的问题,本文提出领域特定变异算子与高层读写操作层面的变异体生成方法,实证证明其可提升变异体质量、减少无效案例,助力提升系统可靠性。

摘要:

工业机器人系统(IRS)正越来越多地部署在各类环境中,其故障可能导致严重事故与代价高昂的停机,因此保障控制这类系统的软件可靠性至关重要。变异测试是软件工程领域广泛应用的技术,通过向代码中引入小故障(即变异体)来评估测试套件的有效性。然而传统变异算子并不适配机器人程序,这类程序包含基于消息的指令以及与物理世界的交互。本文通过定义能够捕捉机器人动作与传感器读数语义的领域特定变异算子,探索变异测试在工业机器人系统中的适配方案。我们提出了一种在高层读写操作层面生成有意义变异体的方法,覆盖运动、夹爪动作以及传感器噪声注入等场景。在取放场景上开展的实证研究表明,与传统算子相比,本方法生成的变异体能提供更多信息,同时减少了无效或等价案例的数量。研究结果凸显了变异测试在提升测试套件质量、助力构建更安全可靠的工业机器人系统方面的潜力。

英文摘要:

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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑