Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Enterprise Systems for Networked Smart Cities Read chapter Read first chapter

2020 | OriginalPaper | Chapter

24. Towards a Runtime Testing Framework for Dynamically Adaptable Internet of Things Networks in Smart Cities

Authors : Moez Krichen, Mariam Lahami

Published in: Smart Infrastructure and Applications

Publisher: Springer International Publishing

Log in

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

search-config
loading …

Abstract

In this work, we propose a standard-based test execution platform for dynamically adaptable IoT networks in smart cities which affords a platform-independent test system for isolating and executing runtime tests. This platform uses the TTCN3 standard and considers both structural and behavioral adaptations. Moreover, our platform is equipped with a test isolation layer that reduces the risk of interference between testing processes and business processes. We also compute a minimal subset of test cases to run and efficiently distribute them among the execution nodes. The minimal subset of test cases is obtained using a smart generation algorithm which keeps old tests cases which are still valid and replaces invalid ones by new generated or updated test cases.

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 Big Data and HPC Convergence for Smart Infrastructures: A Review and Proposed Architecture
next chapter HCDSR: A Hierarchical Clustered Fault Tolerant Routing Technique for IoT-Based Smart Societies
Literature
1.
Alhazbi, S., Jantan, A.: Dependencies management in dynamically updateable component-based systems. J. Comput. Sci. 3(7), 499–505 (2007)CrossRef
2.
Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004. Revised Lectures. LNCS, vol. 3185, pp. 200–237. Springer, Berlin (2004)
3.
Blom, J., Hessel, A., Jonsson, B., Pettersson, P.: Specifying and generating test cases using observer automata. In: Proceeding of the 5th International Workshop on Formal Approaches to Software Testing (FATES’05), pp. 125–139 (2005)CrossRef
4.
Chen, I.-Y., Tsai, C.-H.: Pervasive digital monitoring and transmission of pre-care patient biostatics with an OSGi, MOM and SOA based remote health care system. In: Proceeding of the 6th Annual IEEE International Conference on Pervasive Computing and Communications (PerCom’06), pp. 704–709 (2008)
5.
Ghédira, K., Dubuisson, B.: Foundations of CSP. In: Constraint satisfaction problems, pp. 1–28. Wiley, New York (2013)CrossRef
6.
Hessel, A.: Model-Based Test Case Generation for Real-Time Systems. Ph.D. thesis, Uppsala University, Sweden (2007)
7.
Hessel, A., Pettersson, P.: CO√ER a real-time test case generation tool. In: Proceeding of the 7th International Workshop on Formal Approaches to Testing of Software (FATES’07) (2007)
8.
Ioannidis, Y.E., Rantakrishnan, R.: Efficient transitive closure algorithms. In: Proceedings of the 14th International Conference on Very Large Databases (VLDB’88) (1988)
9.
Joachim, W.: Internet-of-Things architecture IoTA project deliverable D1.2 – Initial Architectural Reference Model for IoT 07 (2018)
10.
Kienzle, J., Guelfi, N., Mustafiz, S.: Crisis management systems: a case study for aspect-oriented modeling. In: Transactions on Aspect-Oriented Software Development VII: A Common Case Study for Aspect-Oriented Modeling, pp. 1–22. Springer, Berlin (2010)
11.
Lahami, M., Fakhfakh, F., Krichen, M., Jmaïel, M.: Towards a TTCN-3 test system for runtime testing of adaptable and distributed systems. In: Proceedings of the 24th IFIP WG 6.1 International Conference Testing Software and Systems (ICTSS’12), pp. 71–86 (2012)CrossRef
12.
Lahami, M., Krichen, M., Bouchakwa, M., Jmaïel, M.: Using Knapsack problem model to design a resource aware test architecture for adaptable and distributed systems. In: Proceedings of the 24th IFIP WG 6.1 International Conference Testing Software and Systems (ICTSS’12), pp. 103–118 (2012)CrossRef
13.
Larsson, M., Crnkovic, I.: Configuration management for component-based systems. In: Proceeding of the 10th International Workshop on Software configuration Management (SCM’01) (2001)
14.
Leung, H.K.N., White, L.: Insights into regression testing [software testing]. In: Proceedings of the International Conference on Software Maintenance (ICSM’89), pp. 60–69 (1989)
15.
Li, B., Zhou, Y., Wang, Y., Mo, J.: Matrix-based component dependence representation and its applications in software quality assurance. ACM SIGPLAN Not. 40(11), 29–36 (2005)CrossRef
16.
Qu, B., Liu, Q., Lu, Y.: A framework for dynamic analysis dependency in component-based system. In: 2nd International Conference on Computer Engineering and Technology (ICCET’10), pp. 250–254 (2010)
17.
Rothermel, G., Harrold, M.J.: Analyzing regression test selection techniques. IEEE Trans. Softw. Eng. 22(8), 529–551 (1996)CrossRef
18.
Schieferdecker, I., Vassiliou-Gioles, T.: Realizing distributed TTCN-3 test systems with TCI. In: Proceedings of the 15th IFIP International Conference on Testing of Communicating Systems (TestCom’03) (2003)
19.
20.
Vassiliou, T., Rennoch, A., Desroches, C., Schieferdecker, I.: TTCN-3 Quick Reference Card (2016)
Metadata
Title
Towards a Runtime Testing Framework for Dynamically Adaptable Internet of Things Networks in Smart Cities
Authors
Moez Krichen
Mariam Lahami
Copyright Year
2020
Book
Smart Infrastructure and Applications

Print ISBN: 978-3-030-13704-5

Electronic ISBN: 978-3-030-13705-2

Copyright Year: 2020

DOI
https://doi.org/10.1007/978-3-030-13705-2_24