Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/68515
Título: | Property-based testing for the robot operating system |
Autor(es): | Santos, André Cunha, Alcino Macedo, Nuno |
Palavras-chave: | Property-based testing Robot operating system Software testing Test automation |
Data: | 2018 |
Editora: | Association for Computing Machinery (ACM) |
Citação: | André Santos, Alcino Cunha, and Nuno Macedo. 2018. Property-Based Testing for the Robot Operating System. In Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST ’18), November 5, 2018, Lake Buena Vista, FL, USA. ACM, New York, NY, USA, 7 pages. https://doi.org/10.1145/3278186.3278195 |
Resumo(s): | 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. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/68515 |
ISBN: | 9781450360531 |
DOI: | 10.1145/3278186.3278195 |
Versão da editora: | https://dl.acm.org/doi/10.1145/3278186.3278195 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
a-test18.pdf | 728,53 kB | Adobe PDF | Ver/Abrir |