Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/68515
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Santos, André | por |
dc.contributor.author | Cunha, Alcino | por |
dc.contributor.author | Macedo, Nuno | por |
dc.date.accessioned | 2020-12-11T16:57:32Z | - |
dc.date.available | 2020-12-11T16:57:32Z | - |
dc.date.issued | 2018 | - |
dc.identifier.citation | 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 | por |
dc.identifier.isbn | 9781450360531 | por |
dc.identifier.uri | https://hdl.handle.net/1822/68515 | - |
dc.description.abstract | 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. | por |
dc.description.sponsorship | The authors would like to thank the anonymous referees for their valuable comments and helpful suggestions. This work is financed by the ERDF – European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia within project PTDC/CCI-INF/29583/2017 (POCI-01-0145-FEDER-029583). | por |
dc.language.iso | eng | por |
dc.publisher | Association for Computing Machinery (ACM) | por |
dc.relation | PTDC/CCI-INF/29583/2017 | por |
dc.rights | openAccess | por |
dc.subject | Property-based testing | por |
dc.subject | Robot operating system | por |
dc.subject | Software testing | por |
dc.subject | Test automation | por |
dc.title | Property-based testing for the robot operating system | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | https://dl.acm.org/doi/10.1145/3278186.3278195 | por |
oaire.citationStartPage | 56 | por |
oaire.citationEndPage | 62 | por |
dc.date.updated | 2020-12-11T15:26:50Z | - |
dc.identifier.doi | 10.1145/3278186.3278195 | por |
dc.subject.fos | Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática | por |
dc.subject.wos | Science & Technology | - |
sdum.export.identifier | 7591 | - |
sdum.conferencePublication | A-TEST 2018 - Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation, Co-located with FSE 2018 | por |
sdum.bookTitle | PROCEEDINGS OF THE 9TH ACM SIGSOFT INTERNATIONAL WORKSHOP ON AUTOMATING TEST CASE DESIGN, SELECTION, AND EVALUATION (A-TEST '18) | por |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
a-test18.pdf | 728,53 kB | Adobe PDF | Ver/Abrir |