Towards Automated Testing of the Internet of Things: Results Obtained with the TESTAR Tool

Mirella Martınez, Anna Esparcia-Alcazar, Tanja Vos, P.K. Aho, Joan Fons i Cors

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Abstract

As the Internet of Things (IoT) becomes a reality, the need of ensuring the security and reliability of massively interconnected devices becomes a pressing necessity. A means of satisfying this need would be automated testing of IoT devices; however, this presents many difficulties, such as the lack of standards, multitude of manufacturers, restricted capabilities (such as power), etc. In this work we present the first results on using TESTAR tool for automating IoT testing of smart home devices. TESTAR is a tool for automated testing at the Graphical User Interface (GUI) level of an application. The tool uses the Accessibility API the obtain information about the GUI and derive actions that can be executed in test sequences.
Many IoT systems use the REST API to access the resources that compose the system. Consequently, this paper looks into IoT system testing as a natural field for extending the TESTAR philosophy from GUI (Accesibility) to IoT (REST) APIs. The results show the potential of TESTAR in this new environment.
Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Subtitle of host publication8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
EditorsTiziana Margaria, Bernhard Steffen
Place of PublicationCham
PublisherSpringer Nature Switzerland AG
Chapter25
Pages375-385
Number of pages11
ISBN (Electronic)9783030034245
ISBN (Print)9783030034238
DOIs
Publication statusPublished - Nov 2018
EventInternational Symposium on Leveraging Applications of Formal Methods: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - Limassol, Cyprus
Duration: 5 Nov 20189 Nov 2018
https://link.springer.com/book/10.1007/978-3-030-03418-4

Publication series

SeriesLecture Notes in Computer Science
Volume11246

Conference

ConferenceInternational Symposium on Leveraging Applications of Formal Methods
Abbreviated titleISoLA 2018
CountryCyprus
CityLimassol
Period5/11/189/11/18
Internet address

    Fingerprint

Cite this

Martınez, M., Esparcia-Alcazar, A., Vos, T., Aho, P. K., & Fons i Cors, J. (2018). Towards Automated Testing of the Internet of Things: Results Obtained with the TESTAR Tool. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (pp. 375-385). Springer Nature Switzerland AG. Lecture Notes in Computer Science, Vol.. 11246 https://doi.org/10.1007/978-3-030-03424-5_25