Authors:
Jun Yoneyama
1
;
Cyrille Artho
2
;
Yoshinori Tanabe
3
and
Masami Hagiya
1
Affiliations:
1
Dept. of Computer Science, The University of Tokyo, Tokyo and Japan
;
2
School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology, Stockholm and Sweden
;
3
Dept. of Library, Archival and Information Studies, Tsurumi University, Yokohama and Japan
Keyword(s):
Software Testing, Model-based Testing, Model-based Simulation, Fault Injection, Internet of Things, MQTT.
Related
Ontology
Subjects/Areas/Topics:
Cross-Feeding between Data and Software Engineering
;
Model-Driven Engineering
;
Software Engineering
;
Software Engineering Methods and Techniques
Abstract:
IoT devices operate in environments where networks may be unstable. They rely on transport protocols to deliver data with given quality-of-service settings. To test an implementation of the popular MQTT protocol thoroughly, we extend the model-based test framework “Modbat” to simulate unstable networks by taking into account delays and transmission failures. Our proxy-based technology requires no changes to the IoT software, while the model allows the user to define stateless or stateful types or fault patterns. We evaluate our methods on a client-server library for MQTT, a transport protocol designed for IoT.