Property-Based Testing for the Robot Operating System

• Type: Article in International Conference Proceedings Book
• Date: 2018

Authors

Santos, A (Author) Other; Cunha, A (Author) Other; Macedo, N (Author) Other

Conference proceedings International

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

Pages: 56-62

Indexing

ISI Web of Knowledge - 2 Citations

Scopus - 4 Citations

Other information

Authenticus ID: 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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 7