Interoperability, Safety and Security in IoT. Third International Conference, InterIoT 2017, and Fourth International Conference, SaSeIot 2017, Valencia, Spain, November 6-7, 2017, Proceedings

Research Article

Observing Interoperability of IoT Systems Through Model-Based Testing

Download54 downloads
  • @INPROCEEDINGS{10.1007/978-3-319-93797-7_8,
        author={Koray Incki and Ismail Ari},
        title={Observing Interoperability of IoT Systems Through Model-Based Testing},
        proceedings={Interoperability, Safety and Security in IoT. Third International Conference, InterIoT 2017, and Fourth International Conference, SaSeIot 2017, Valencia, Spain, November 6-7, 2017, Proceedings},
        proceedings_a={INTERIOT \& SASEIOT},
        year={2018},
        month={7},
        keywords={Internet of Things Model-based testing Constrained-Application Protocol Runtime verification Complex-event processing},
        doi={10.1007/978-3-319-93797-7_8}
    }
    
  • Koray Incki
    Ismail Ari
    Year: 2018
    Observing Interoperability of IoT Systems Through Model-Based Testing
    INTERIOT & SASEIOT
    Springer
    DOI: 10.1007/978-3-319-93797-7_8
Koray Incki1,*, Ismail Ari1
  • 1: Özyeğin University
*Contact email: ben@korayincki.com

Abstract

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.