Skip to Main content Skip to Navigation
Theses

Model-Based Testing for IoT Systems : Methods and tools

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, healthcare, etc. The Gartner Group estimates an increase up to 21 billion connected things by 2020. The large span of "things" introduces problematic aspects, such as conformance and interoperability due to the heterogeneity of communication protocols and the lack of a globally-accepted standard. The large span of usages introduces problems regarding secure deployments and scalability of the network over large-scale infrastructures. This thesis deals with the problem of the validation of the Internet of Things to meet the challenges of IoT systems. For that, we propose an approach using the generation of tests from models (MBT). We have confronted this approach through multiple experiments using real systems thanks to our participation in international projects. The important effort which is needed to be placed on the testing aspects reminds every IoT system developer that doing nothing is more expensive later on than doing it on the go.
Complete list of metadatas

Cited literature [87 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-02078372
Contributor : Abes Star :  Contact
Submitted on : Monday, March 25, 2019 - 11:42:08 AM
Last modification on : Tuesday, October 20, 2020 - 11:26:28 AM
Long-term archiving on: : Wednesday, June 26, 2019 - 1:54:25 PM

File

these_AHMAD_Abbas_2018.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-02078372, version 1

Citation

Abbas Ahmad. Model-Based Testing for IoT Systems : Methods and tools. Automatic Control Engineering. Université Bourgogne Franche-Comté, 2018. English. ⟨NNT : 2018UBFCD008⟩. ⟨tel-02078372⟩

Share

Metrics

Record views

155

Files downloads

3211