Top

Published in:

2016 | OriginalPaper | Chapter

Model-Based Testing as a Service for IoT Platforms

Authors : Abbas Ahmad, Fabrice Bouquet, Elizabeta Fourneret, Franck Le Gall, Bruno Legeard

Published in: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

The Internet of Things (IoT) has increased its footprint becoming globally a ‘must have’ for today’s most innovative companies. Applications extend to multitude of domains, such as smart cities, healthcare, logistics, manufacturing, etc. Gartner Group estimates an increase up to 21 billion connected things by 2020. To manage ‘things’ heterogeneity and data streams over large scale and secured deployments, IoT and data platforms are becoming a central part of the IoT. To respond to this fast growing demand we see more and more platforms being developed, requiring systematic testing. Combining Model-Based Testing (MBT) technique and a service-oriented solution, we present Model-Based Testing As A Service (MBTAAS) for testing data and IoT platforms. In this paper, we present a first step towards MBTAAS for data and IoT Platforms, with experimentation on FIWARE, one of the EU most emerging IoT enabled platforms.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

previous chapter Data Science Challenges to Improve Quality Assurance of Internet of Things Applications

next chapter Handling Domain Knowledge in Formal Design Models: An Ontology Based Approach

https://www.w3.org/XML/.

http://www.json.org.

http://193.48.247.210/egm_taas/users/login (for reviewing purpose login:isola, password:isola).

FIWARE test repository and requirements matrix. http://fiware.eglobalmark.com/html/. Accessed 29 Apr 2016

Open Mobile Alliance. http://technical.openmobilealliance.org/Technical/technical-information/release-program/current-releases/ngsi-v1-0. Accessed 18 Apr 2016

Reinhart Richter, Xcerra Corporation: Does the Internet of Things force us to rethink our test strategies? http://xcerra.com/ep_doestheinternetofthingsforceustorethinkourteststrategies-vision

The FIWARE Project. https://www.fiware.org/2015/03/27/build-your-own-iot-platform-with-fiware-enablers/. Accessed 8 Apr 2016

Ahmad, A.: Lot interoperability model-based testing, a fiware case study: poster at UCAAT. ETSI, Sophia-Antipolis, France (2015)

Amalfitano, D., Fasolino, A.R., Tramontana, P., De Carmine, S., Memon, A.M.: Using GUI ripping for automated testing of android applications. In: 27th IEEE/ACM ICSE, ASE 2012, NY, USA, pp. 258–261. ACM, New York (2012). http://doi.acm.org/10.1145/2351676.2351717

Bernabeu, G., Jaffuel, E., Legeard, B., Peureux, F.: MBT for global platform compliance testing: experience report and lessons learned. In: 25th IEEE ISSRE Workshops, Naples, Italy, pp. 66–70 (2014)

Botella, J., Bouquet, F., Capuron, J., Lebeau, F., Legeard, B., Schadle, F.: Model-based testing of cryptographic components - lessons learned from experience. In: 6th IEEE ICST, Luxembourg, pp. 192–201 (2013)

Chan, W.K., Mei, L., Zhang, Z.: Modeling and testing of cloud applications. In: Services Computing Conference, APSCC 2009, IEEE Asia-Pacific, pp. 111–118, December 2009

10.

Incki, K., Ari, I., Sozer, H.: A survey of software testing in the cloud. In: 6th IEEE International Conference, SERE-C, pp. 18–23, June 2012

11.

Kramer, A., Legeard, B.: Model-Based Testing Essentials - Guide to the ISTQB Certified Model-Based Tester: Foundation Level. Wiley, Hoboken (2016)CrossRef

12.

Legeard, B., Bouzy, A.: Smartesting CertifyIt - model-based testing for enterprise IT. In: ICST 2013, 6th IEEE International Conference on Software Testing, Verification and Validation, Testing Tool Track, pp. 192–201. IEEE, Luxembourg (2013)

13.

Nebut, C., Traon, Y.L., Jezequel, J.M.: System testing of product lines: from requirements to test cases. In: Käköla, T., Duenas, J.C. (eds.) Software Product Lines, pp. 447–478. Springer, Heidelberg (2006). http://dx.doi.org/10.1007/978-3-540-33253-4_12 CrossRef

14.

Riungu, L.M., Taipale, O., Smolander, K.: Research issues for software testing in the cloud. In: 2nd IEEE International Conference CloudCom, pp. 557–564, November 2010

15.

Salva, S., Zafimiharisoa, S.R.: Data vulnerability detection by security testing for android applications. In: Information Security for South Africa, pp. 1–8. IEEE (2013)

16.

Utting, M., Legeard, B., Bouquet, F., Fourneret, E., Peureux, F., Vernotte, A.: Chapter 2 - Recent advances in model-based testing. Adv. Comput. 101, 53–120 (2016). http://dx.doi.org/10.1016/bs.adcom.2015.11.004 CrossRef

17.

Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. STVR 22(5), 297–312 (2012). http://dx.doi.org/10.1002/stvr.456

18.

Zech, P., Felderer, M., Breu, R.: Towards a model based security testing approach of cloud computing environments. In: 6th International Conference SERE-C, pp. 47–56 (2012)

19.

Zech, P., Kalb, P., Felderer, M., Breu, R.: Chapter 40 - Threatening the cloud: securing services and data by continuous, model-driven negative security testing. Transportation Systems and Engineering: Concepts, Methodologies, Tools, and Applications, vol. 3, pp. 789–814 (2015)

Title: Model-Based Testing as a Service for IoT Platforms
Authors: Abbas Ahmad
Fabrice Bouquet
Elizabeta Fourneret
Franck Le Gall
Bruno Legeard
Publisher: Springer International Publishing
Book: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
Print ISBN: 978-3-319-47168-6

Electronic ISBN: 978-3-319-47169-3

Copyright Year: 2016
DOI: https://doi.org/10.1007/978-3-319-47169-3_55

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner