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

NameLecture 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

Testing
Graphical user interfaces
Application programming interfaces (API)
Internet of things

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). (Lecture Notes in Computer Science; Vol. 11246). Cham: Springer Nature Switzerland AG. https://doi.org/10.1007/978-3-030-03424-5_25
Martınez, Mirella ; Esparcia-Alcazar, Anna ; Vos, Tanja ; Aho, P.K. ; Fons i Cors, Joan. / Towards Automated Testing of the Internet of Things: Results Obtained with the TESTAR Tool. Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III. editor / Tiziana Margaria ; Bernhard Steffen. Cham : Springer Nature Switzerland AG, 2018. pp. 375-385 (Lecture Notes in Computer Science).
@inproceedings{b246cecbc07548c5a5ddb36a96533301,
title = "Towards Automated Testing of the Internet of Things: Results Obtained with the TESTAR Tool",
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.",
author = "Mirella Martınez and Anna Esparcia-Alcazar and Tanja Vos and P.K. Aho and {Fons i Cors}, Joan",
year = "2018",
month = "11",
doi = "10.1007/978-3-030-03424-5_25",
language = "English",
isbn = "9783030034238",
series = "Lecture Notes in Computer Science",
publisher = "Springer Nature Switzerland AG",
pages = "375--385",
editor = "Tiziana Margaria and Bernhard Steffen",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems",
address = "Switzerland",

}

Martınez, M, Esparcia-Alcazar, A, Vos, T, Aho, PK & 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. Lecture Notes in Computer Science, vol. 11246, Springer Nature Switzerland AG, Cham, pp. 375-385, International Symposium on Leveraging Applications of Formal Methods, Limassol, Cyprus, 5/11/18. https://doi.org/10.1007/978-3-030-03424-5_25

Towards Automated Testing of the Internet of Things: Results Obtained with the TESTAR Tool. / Martınez, Mirella ; Esparcia-Alcazar, Anna; Vos, Tanja; Aho, P.K.; Fons i Cors, Joan.

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III. ed. / Tiziana Margaria; Bernhard Steffen. Cham : Springer Nature Switzerland AG, 2018. p. 375-385 (Lecture Notes in Computer Science; Vol. 11246).

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

TY - GEN

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

AU - Martınez, Mirella

AU - Esparcia-Alcazar, Anna

AU - Vos, Tanja

AU - Aho, P.K.

AU - Fons i Cors, Joan

PY - 2018/11

Y1 - 2018/11

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-030-03424-5_25

DO - 10.1007/978-3-030-03424-5_25

M3 - Conference article in proceeding

SN - 9783030034238

T3 - Lecture Notes in Computer Science

SP - 375

EP - 385

BT - Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer Nature Switzerland AG

CY - Cham

ER -

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