Systematic Testing of a ROS Interface Specification Backend
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Abstract
Code generators are frequently used when language-independent specifications are compiled into client libraries to support multiple languages. One example is the message definition specification of the Robot Operating System (ROS). This work discusses how a configurable code generator for reconfigurable hardware built using a model-based toolchain based on attribute grammars is tested during development. It supports multiple input and output variants for different source and target languages. To ensure the correctness of all potentially generatable code, a modular test toolchain is provided that can be extended to support different client libraries. Using it, we can identify bugs concerning specification divergence of the tool under test for all current ROS distributions. In this work, we present insights obtained during the design and execution of the test system.
Details
Originalsprache | Englisch |
---|---|
Titel | Proceedings - 2024 IEEE/ACM 6th International Workshop on Robotics Software Engineering, RoSE 2024 |
Herausgeber (Verlag) | Association for Computing Machinery, Inc |
Seiten | 25-30 |
Seitenumfang | 6 |
ISBN (elektronisch) | 9798400705663 |
Publikationsstatus | Veröffentlicht - 15 Apr. 2024 |
Peer-Review-Status | Ja |
Publikationsreihe
Reihe | International Conference on Software Engineering (ICSE) |
---|
Konferenz
Titel | 6th International Workshop on Robotics Software Engineering, RoSE 2024, co-located with the 46th International Conference on Software |
---|---|
Dauer | 15 April 2024 |
Stadt | Lisbon |
Land | Portugal |
Externe IDs
ORCID | /0000-0003-2571-8441/work/172082308 |
---|---|
ORCID | /0000-0002-3247-0264/work/172084634 |
ORCID | /0000-0002-3513-6448/work/172085084 |
Schlagworte
ASJC Scopus Sachgebiete
Schlagwörter
- Code Generation, Robot Operating System, Specification Testing