Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Enterprise Systems for Networked Smart Cities Kapitel lesen Erstes Kapitel lesen

2020 | OriginalPaper | Buchkapitel

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

verfasst von : Moez Krichen, Mariam Lahami

Erschienen in: Smart Infrastructure and Applications

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren
Vorheriges Kapitel Big Data and HPC Convergence for Smart Infrastructures: A Review and Proposed Architecture
Nächstes Kapitel HCDSR: A Hierarchical Clustered Fault Tolerant Routing Technique for IoT-Based Smart Societies
Literatur
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)
Metadaten
Titel
Towards a Runtime Testing Framework for Dynamically Adaptable Internet of Things Networks in Smart Cities
verfasst von
Moez Krichen
Mariam Lahami
Copyright-Jahr
2020
Buch
Smart Infrastructure and Applications

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

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

Copyright-Jahr: 2020

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

Neuer Inhalt

    Bildnachweise