Chapter One
Model-Based Testing for Internet of Things Systems
Abbas Ahmad*,‡; Fabrice Bouquet*; Elizabeta Fourneret†; Bruno Legeard*,† * Institut FEMTO-ST – UMR CNRS 6174, Besançon, France† Smartesting Solutions & Services – 18, Besançon, France‡ Easy Global Market, Valbonne, France
Abstract
The Internet of Things (IoT) is nowadays globally a mean of innovation and transformation for many companies. Applications extend to a large number of domains, such as smart cities, smart homes, and health care. The Gartner Group estimates an increase up to 21 billion connected things by 2020. The large span of “things” introduces problematic aspects, such as interoperability due to the heterogeneity of communication protocols and the lack of a globally ...
