Skip to main content
SpringerLink
Log in

Coverage Criteria Based Testing of IoT Applications

  • Conference paper
  • First Online:
Distributed Computing and Intelligent Technology (ICDCIT 2024)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 14501))

  • 201 Accesses

Abstract

IoT applications are ubiquitous and many of them are large in scale, involving processing and storage of real-time sensor data and various events. Many such applications are safety-critical in nature demanding rigorous testing to eliminate as many errors as possible. We propose a coverage criteria-based white-box testing framework for large-scale IoT applications. Our criteria are derived from the underlying architecture of these applications. We present two different views of the IoT applications architecture and coverage criteria are defined based on these two views Event coverage, functionality coverage, and end-to-end flow coverage are some of the proposed criteria, we illustrate their use in detecting subtle errors in the underlying IoT applications. Our framework has been prototyped on the AWS IoT free-tier services, one of the most popular IoT application development frameworks.

This work is sponsored by a cluster project on Interdisciplinary Cyber-Physical systems, Department of Science and Technology, Government of India.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 74.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

References

  1. AWS IoT Core Documentation, June 2022. https://docs.aws.amazon.com/iot/index.html

  2. Azure IoT Documentation (2022). https://azure.microsoft.com/en-in/solutions/iot/#overview

  3. Google Cloud IoT Documentation (2022). https://cloud.google.com/iot/docs

  4. Mocha - The fun, simple, flexible JavaScript test framework (2022). https://mochajs.org

  5. Samsung SmartThings Developers Documentation (2022). https://developer-preview.smartthings.com/

  6. Bala, R., Gill, B., Smith, D., Wright, D., Ji, K.: Magic quadrant for cloud infrastructure and platform services, July 2021. https://www.gartner.com/doc/reprints?id=1-271OE4VR &ct=210802 &st=sb

  7. Celik, Z.B., Fernandes, E., Pauley, E., Tan, G., McDaniel, P.: Program analysis of commodity IoT applications for security and privacy: challenges and opportunities. ACM Comput. Surv. 52(4) (2019). https://doi.org/10.1145/3333501

  8. Celik, Z.B., McDaniel, P., Tan, G.: SOTERIA: automated IoT safety and security analysis. In: Proceedings of the 2018 USENIX Conference, pp. 147–158. USENIX ATC ’18, USENIX Association, USA (2018)

    Google Scholar 

  9. Chi, H., Zeng, Q., Du, X., Yu, J.: Cross-app interference threats in smart homes: categorization, detection and handling. In: 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 411–423 (2020). https://doi.org/10.1109/DSN48063.2020.00056

  10. Diwan, M., D’Souza, M.: A framework for modeling and verifying IoT communication protocols. In: Larsen, K.G., Sokolsky, O., Wang, J. (eds.) SETTA 2017. LNCS, vol. 10606, pp. 266–280. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-69483-2_16

    Chapter  Google Scholar 

  11. Fortas, A., Kerkouche, E., Chaoui, A.: Formal verification of IoT applications using rewriting logic: an MDE-based approach. Sci. Comput. Program. 222(C) (2022). https://doi.org/10.1016/j.scico.2022.102859

  12. Jin, Z., Offutt, J.: Deriving tests from software architectures. In: 12th International Symposium on Software Reliability Engineering (ISSRE), China, pp. 308–313. IEEE Computer Society (2001). https://doi.org/10.1109/ISSRE.2001.989484

  13. Jorgensen, P.C.: Software Testing: A Craftsman’s Approach, 4th edn. Auerbach Publications, Boca Raton (2014)

    Google Scholar 

  14. Madsen, M., Tip, F., Lhoták, O.: Static analysis of event-driven node.js javascript applications 50(10) (2015). https://doi.org/10.1145/2858965.2814272

  15. Obetz, M., Das, A., Castiglia, T., Patterson, S., Milanova, A.: Formalizing event-driven behavior of serverless applications. In: Brogi, A., Zimmermann, W., Kritikos, K. (eds.) ESOCC 2020. LNCS, vol. 12054, pp. 19–29. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-44769-4_2

    Chapter  Google Scholar 

  16. Winzinger, S., Wirtz, G.: Applicability of coverage criteria for serverless applications. In: 2020 IEEE International Conference on Service Oriented Systems Engineering (SOSE), pp. 49–56 (2020). https://doi.org/10.1109/SOSE49046.2020.00013

Download references

Author information

Authors and Affiliations

  1. International Institute of Information Technology, Bangalore, India

    S. R. Nagalakshmi & Meenakshi D’Souza

Authors
  1. S. R. Nagalakshmi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Meenakshi D’Souza
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to S. R. Nagalakshmi .

Editor information

Editors and Affiliations

  1. University of Picardie Jules Verne, Amiens, France

    Stéphane Devismes

  2. Indian Institute of Technology Guwahati, Guwahati, India

    Partha Sarathi Mandal

  3. Indian Institute of Technology Guwahati, Guwahati, India

    V. Vijaya Saradhi

  4. Florida Agricultural and Mechanical University, Tallahassee, FL, USA

    Bhanu Prasad

  5. Indian Statistical Institute, Kolkata, India

    Anisur Rahaman Molla

  6. Kent State University, Kent, OH, USA

    Gokarna Sharma

Rights and permissions

Reprints and permissions

Copyright information

© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Nagalakshmi, S.R., D’Souza, M. (2024). Coverage Criteria Based Testing of IoT Applications. In: Devismes, S., Mandal, P.S., Saradhi, V.V., Prasad, B., Molla, A.R., Sharma, G. (eds) Distributed Computing and Intelligent Technology. ICDCIT 2024. Lecture Notes in Computer Science, vol 14501. Springer, Cham. https://doi.org/10.1007/978-3-031-50583-6_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-50583-6_7

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-50582-9

  • Online ISBN: 978-3-031-50583-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation