Observing interoperability of IoT systems through model-based testing

Name: Observing interoperability of IoT systems through model-based testing
Author: İnçki, Koray, Arı, İsmail

İsim	Observing interoperability of IoT systems through model-based testing
Yazar	İnçki, Koray, Arı, İsmail
Basım Tarihi:	2018
Basım Yeri	- Springer Nature
Konu	Internet of things, Model-based testing, Constrained-application protocol, Runtime verification, Complex-event processing
Tür	Belge
Dil	İngilizce
Dijital	Evet
Yazma	Hayır
Kütüphane:	Özyeğin Üniversitesi
Demirbaş Numarası	978-331993796-0
Kayıt Numarası	05db9e22-cb94-4103-9f7f-7aa0f17e4c14
Lokasyon	Computer Science
Tarih	2018
Örnek Metin	Internet of Things (IoT) has drastically modified the industrial services provided through autonomous machine-to-machine interactions. Such systems comprise of devices manufactured by various suppliers. Verification is a challenge due to high heterogeneity of composing devices. In this paper, we present initial results of model-based interoperability testing for IoT systems to facilitate automatic test case generation. We utilize messaging model of Constrained Application Protocol so as to deduce complex relations between participating devices. We use Complex-Event Processing (CEP) techniques in order to streamline the verification process after generating proper runtime monitors from sequence diagrams. We demonstrate our solution on a fictitious healthcare system.
Editör	Fortino, G., Palau, C. E., Guerrieri, A., Cuppens, N., Cuppens, F., Cuppens, H., Gabillon, A.
DOI	10.1007/978-3-319-93797-7_8
Cilt	242

Kaynağa git Özyeğin Üniversitesi

Aramaya Dön

Özyeğin Üniversitesi

Kaynağa git

Observing interoperability of IoT systems through model-based testing

Yazar İnçki, Koray, Arı, İsmail

Basım Tarihi 2018

Basım Yeri - Springer Nature

Konu Internet of things, Model-based testing, Constrained-application protocol, Runtime verification, Complex-event processing

Tür Belge

Dil İngilizce

Dijital Evet

Yazma Hayır

Kütüphane Özyeğin Üniversitesi

Demirbaş Numarası 978-331993796-0

Kayıt Numarası 05db9e22-cb94-4103-9f7f-7aa0f17e4c14

Lokasyon Computer Science

Tarih 2018

Örnek Metin Internet of Things (IoT) has drastically modified the industrial services provided through autonomous machine-to-machine interactions. Such systems comprise of devices manufactured by various suppliers. Verification is a challenge due to high heterogeneity of composing devices. In this paper, we present initial results of model-based interoperability testing for IoT systems to facilitate automatic test case generation. We utilize messaging model of Constrained Application Protocol so as to deduce complex relations between participating devices. We use Complex-Event Processing (CEP) techniques in order to streamline the verification process after generating proper runtime monitors from sequence diagrams. We demonstrate our solution on a fictitious healthcare system.

Editör Fortino, G., Palau, C. E., Guerrieri, A., Cuppens, N., Cuppens, F., Cuppens, H., Gabillon, A.

DOI 10.1007/978-3-319-93797-7_8

Cilt 242