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

doi:10.1007/978-3-030-03424-5_25

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 proceeding › Conference Article in proceeding › Academic › peer-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 language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Subtitle of host publication	8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
Editors	Tiziana Margaria, Bernhard Steffen
Place of Publication	Cham
Publisher	Springer Nature Switzerland AG
Chapter	25
Pages	375-385
Number of pages	11
ISBN (Electronic)	9783030034245
ISBN (Print)	9783030034238
DOIs	https://doi.org/10.1007/978-3-030-03424-5_25
Publication status	Published - Nov 2018
Event	International Symposium on Leveraging Applications of Formal Methods: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - Limassol, Cyprus Duration: 5 Nov 2018 → 9 Nov 2018 https://link.springer.com/book/10.1007/978-3-030-03418-4

Publication series

Series	Lecture Notes in Computer Science
Volume	11246

Conference

Conference	International Symposium on Leveraging Applications of Formal Methods
Abbreviated title	ISoLA 2018
Country/Territory	Cyprus
City	Limassol
Period	5/11/18 → 9/11/18
Internet address	https://link.springer.com/book/10.1007/978-3-030-03418-4

Keywords

Automated testing
Internet of Things
IoT

Access to Document

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

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. https://doi.org/10.1007/978-3-030-03424-5_25

Martınez, Mirella ; Esparcia-Alcazar, Anna ; Vos, Tanja et al. / 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, Vol. 11246).

@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.",

keywords = "Automated testing, Internet of Things, IoT",

author = "Mirella Martınez and Anna Esparcia-Alcazar and Tanja Vos and P.K. Aho and {Fons i Cors}, Joan",

year = "2018",

month = nov,

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",

note = "International Symposium on Leveraging Applications of Formal Methods : Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, ISoLA 2018 ; Conference date: 05-11-2018 Through 09-11-2018",

url = "https://link.springer.com/book/10.1007/978-3-030-03418-4",

}

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. Springer Nature Switzerland AG, Cham, Lecture Notes in Computer Science, vol. 11246, 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 et al.
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 proceeding › Conference Article in proceeding › Academic › peer-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.

KW - Automated testing

KW - Internet of Things

KW - IoT

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

T2 - International Symposium on Leveraging Applications of Formal Methods

Y2 - 5 November 2018 through 9 November 2018

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, Vol. 11246). doi: 10.1007/978-3-030-03424-5_25

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

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this