Skip to main content

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 9953))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

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

  2. 2.

    http://www.json.org.

  3. 3.

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

References

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

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

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

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

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

    Google Scholar 

  6. 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

  7. 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)

    Google Scholar 

  8. 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)

    Google Scholar 

  9. 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

    Google Scholar 

  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

    Google Scholar 

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

    Book  Google Scholar 

  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)

    Google Scholar 

  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

    Chapter  Google Scholar 

  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

    Google Scholar 

  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)

    Google Scholar 

  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

    Article  Google Scholar 

  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

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

Download references

Acknowledgments

This research was supported by the projectS FP7 FI-CORE & H2020 ARMOUR.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Abbas Ahmad .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing AG

About this paper

Cite this paper

Ahmad, A., Bouquet, F., Fourneret, E., Le Gall, F., Legeard, B. (2016). Model-Based Testing as a Service for IoT Platforms. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. ISoLA 2016. Lecture Notes in Computer Science(), vol 9953. Springer, Cham. https://doi.org/10.1007/978-3-319-47169-3_55

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-47169-3_55

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-47168-6

  • Online ISBN: 978-3-319-47169-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics