Abstract not available.
视觉-语言-动作（VLA）模型是多模态机器人任务控制器，在给定指令和视觉输入的情况下，生成一系列低级控制动作（或运动指令），使机器人能够在物理环境中执行所请求的任务。这些系统从多个角度面临测试预言问题。一方面，必须为每个指令提示定义测试预言，这是一种复杂且不可泛化的方法。另一方面，当前最先进的预言通常捕获世界的符号表示（例如，机器人和对象状态），从而能够评估任务的正确性，但无法评估其他关键方面，例如VLA赋能机器人执行任务的质量。本文探讨了蜕变测试（MT）是否能在这一背景下缓解测试预言问题。为此，我们提出了两种蜕变关系模式和五种蜕变关系，以评估测试输入的更改是否影响VLA赋能机器人的原始轨迹。一项涉及五个VLA模型、两个模拟机器人和四个机器人任务的实证研究表明，MT能够通过自动检测多种类型的故障（包括但不限于未完成的任务）有效缓解测试预言问题。更重要的是，所提出的蜕变关系具有泛化性，使得该方法适用于不同的VLA模型、机器人和任务，即使在缺乏测试预言的情况下也是如此。