Model-Based Testing of Internet of Things Protocols

• Published in: Formal Methods for Industrial Critical Systems Vol. 13487; pp. 172 - 189
• Main Authors: Dommelen, Xavier Manuel van, Bijl, Machiel van der, Pimentel, Andy
• Format: Book Chapter
• Language: English
• Published: Switzerland Springer International Publishing AG 2022; Springer International Publishing
• Series: Lecture Notes in Computer Science
• Subjects: Bluetooth Low Energy; Communication Protocol; Embedded Systems; Internet of Things; Model-Based Testing
• ISBN: 9783031150074; 3031150074
• ISSN: 0302-9743; 1611-3349
• DOI: 10.1007/978-3-031-15008-1_12

Internet of Things (IoT) is a popular term to describe systems/devices that connect and interact with each other through a network, e.g., the Internet. These devices communicate with each other via a communication protocol, such as Zigbee or Bluetooth Low Energy (BLE), the subject of this paper. Communication protocols are notoriously hard to implement correctly and a large set of test-cases is needed to check for conformance to the standard. Many of us have encountered communication problems in practice, such as random mobile phone disconnects, difficulty obtaining a Bluetooth connection, etc. In this paper, we research the application of industry strength Model-Based Testing (MBT) within the IoT domain. This technique contributes to higher quality specifications and more efficient and more thorough conformance testing. We show how we can model part of the BLE protocol specification using the Axini Modeling Platform (AMP). Based on the model, AMP is then able to automatically test the conformance of a BLE device. With this approach, we found specification flaws in the official BLE specifications as well as conformance errors on a certified BLE system.