paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches

理解 ROS 中的配置错误:一项实证研究与当前方法
ISSTA Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis2024匹配度 3/10 · 该论文是对 ROS 配置错误的实证研究与检测技术覆盖度综述,属于软件工程/机器人软件领域的经验性研究,虽涉及“现有分析技术在某类问题上失效”的问题驱动视角,但既不涉及 PL 与 AI/LLM 的交叉(静态分析用于 ML 系统或 Agentic 程序、LLM 改进静态分析/形式化验证),也不涉及浮点或贝叶斯程序分析,且未提出新的分析技术或工具实现。引用 3 inbox
Paulo Canelas, Bradley Schmerl, Alcides Fonseca, Christopher S. Timperley
crossref: 2026-09-12

AI 速览

一句话:通过分析 ROS Answers 与文献,归纳 ROS 配置错误分类并评估现有检测技术的覆盖缺口。

ROS 是可复用组件搭建机器人软件系统的流行框架,组件通过配置文件定制和连接。由于组件假设常未被检查或明示,配置错误往往在部署后才暴露,可能引发不可预测甚至危险行为。本文对问答平台 ROS Answers 进行实证研究,识别并归类 ROS 开发中的配置错误,再通过文献综述评估现有检测技术对这些类别的覆盖情况。研究发现 12 个高层类别和 50 个子类别,其中 27 个类别尚无现有技术覆盖。最后讨论了未来工作的方向。

问题
ROS 开发中组件配置和连接依赖大量未检查、未明示的假设,导致配置错误常在部署后才发现,且可能造成危险行为。
方法
对 ROS Answers 问答平台开展实证研究以归纳配置错误类型,并综述现有检测技术评估其覆盖情况。
评估
共归纳 12 个高层类别和 50 个子类别,发现其中 27 个未被现有技术覆盖,并据此讨论未来方向。
原文摘要(Abstract)

The Robot Operating System (ROS) is a popular framework and ecosystem that allows developers to build robot software systems from reusable, off-the-shelf components. Systems are often built by customizing and connecting components via configuration files. While reusable components theoretically allow rapid prototyping, ensuring proper configuration and connection is challenging, as evidenced by numerous questions on developer forums. Developers must abide to the often unchecked and unstated assumptions of individual components. Failure to do so can result in misconfigurations that are only discovered during field deployment, at which point errors may lead to unpredictable and dangerous behavior. Despite misconfigurations having been studied in the broader context of software engineering, robotics software (and ROS in particular) poses domain-specific challenges with potentially disastrous consequences. To understand and improve the reliability of ROS projects, it is critical to identify the types of misconfigurations faced by developers. To that end, we perform a study of ROS Answers, a Q&A platform, to identify and categorize misconfigurations that occur during ROS development. We then conduct a literature review to assess the coverage of these misconfigurations by existing detection techniques. In total, we find 12 high-level categories and 50 sub-categories of misconfigurations. Of these categories, 27 are not covered by existing techniques. To conclude, we discuss how to tackle those misconfigurations in future work.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot8450,
  title = {Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches},
  author = {Paulo Canelas and Bradley Schmerl and Alcides Fonseca and Christopher S. Timperley},
  booktitle = {ISSTA},
  year = {2024},
  doi = {10.1145/3650212.3680350}
}