Property-Based Testing for the Robot Operating System

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2018

Autores

Santos, A (Autor) Outra; Cunha, A (Autor) Outra; Macedo, N (Autor) Outra

Ata de Conferência Internacional

Título: Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation - A-TEST 2018

Páginas: 56-62

Indexação

ISI Web of Knowledge - 2 Citações

Scopus - 4 Citações

Outras Informações

ID Authenticus: P-00P-ZEZ

DOI: 10.1145/3278186.3278195

Abstract (EN): The Robot Operating System (ROS) is an open source framework for the development of robotic software, in which a typical system consists of multiple processes communicating under a publisher-subscriber architecture. A great deal of development time goes into orchestration and making sure that the communication interfaces comply with the expected contracts (e.g. receiving a message leads to the publication of another message). Orchestration mistakes are only detected during runtime, stressing the importance of component and integration testing in the verification process. Property-based Testing is fitting in this context, since it is based on the specification of contracts and treats tested components as black boxes, but there is no support for it in ROS. In this paper, we present a first approach towards automatic generation of test scripts for property-based testing of various configurations of a ROS system.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 7