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
ATZ-Fachkongress

Chassis.tech plus 2024


4 Kongresse in einer Veranstaltung

Treffen Sie in München die Fachleute von Chassis, Lenkung, Bremsen sowie Reifen/Räder.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Fragility-Oriented Testing with Model Execution and Reinforcement Learning Kapitel lesen Erstes Kapitel lesen

2017 | OriginalPaper | Buchkapitel

Constraint-Based Oracles for Timed Distributed Systems

verfasst von : Nassim Benharrat, Christophe Gaston, Robert M. Hierons, Arnault Lapitre, Pascale Le Gall

Erschienen in: Testing Software and Systems

Verlag: Springer International Publishing

Einloggen

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

search-config
loading …

Abstract

This paper studies the situation in which the system under test and the system model are distributed and have the same structure; they have corresponding remote components that communicate asynchronously. In testing, a component with interface \(C_i\) has its own local tester that interacts with \(C_i\) and this local tester observes a local trace consisting of inputs, outputs and durations as perceived by \(C_i\). An observation made in testing is thus a multi-trace: a tuple of (timed) local traces, one for each \(C_i\). The conformance relation for such distributed systems combines a classical unitary conformance relation for localised components and the requirement that the communication policy was satisfied. By expressing the communication policy as a constraint satisfaction problem, we were able to implement the computation of test verdicts by orchestrating localised off-line testing algorithms and the verification of constraints defined by message passing between components. Lastly, we illustrate our approach on a telecommunications system.

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 GREP: Games for the Runtime Enforcement of Properties
Nächstes Kapitel Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles
Fußnoten
1
When the processes are intertwined testing is on-line; otherwise it is off-line.
 
2
\(E^*\) is the set of finite sequences of elements in E with \(\varepsilon \) as neutral element for sequence concatenation.
 
4
Due to the lack of space.
 
5
In accordance with the tioco conformance relation.
 
7
using the Yices SMT solver [5].
 
8
using the CVC4 solver [2] embedded in the Diversity platform.
 
Literatur
1.
Bannour, B., Escobedo, J.P., Gaston, C., Gall, L.P.: Off-line test case generation for timed symbolic model-based conformance testing. In: Nielsen, B., Weise, C. (eds.) ICTSS 2012. LNCS, vol. 7641, pp. 119–135. Springer, Heidelberg (2012). doi:10.​1007/​978-3-642-34691-0_​10 CrossRef
2.
Barrett, C., Conway, C.L., Deters, M., Hadarean, L., Jovanović, D., King, T., Reynolds, A., Tinelli, C.: CVC4. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 171–177. Springer, Heidelberg (2011). doi:10.​1007/​978-3-642-22110-1_​14 CrossRef
3.
Brinksma, E., Heerink, L., Tretmans, J.: Factorized test generation for multi-input/output transition systems. In: FIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), vol. 131 of IFIP Conference Proceedings, pp. 67–82. Kluwer (1998)
4.
Clarke, D., Jéron, T., Rusu, V., Zinovieva, E.: STG: a symbolic test generation tool. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, pp. 470–475. Springer, Heidelberg (2002). doi:10.​1007/​3-540-46002-0_​34 CrossRef
5.
6.
Gaston, C., Hierons, R.M., Gall, L.P.: An implementation relation and test framework for timed distributed systems. In: Yenigün, H., Yilmaz, C., Ulrich, A. (eds.) ICTSS 2013. LNCS, vol. 8254, pp. 82–97. Springer, Heidelberg (2013). doi:10.​1007/​978-3-642-41707-8_​6 CrossRef
7.
Gotlieb, A.: Constraint-based testing: an emerging trend in software testing. Adv. Comput. 99, 67–101 (2015)CrossRef
8.
Grieskamp, W., Kicillof, N., Stobie, K., Braberman, V.: Model-based quality assurance of protocol documentation: tools and methodology. J. Softw. Testing Verification Reliab. 21(1), 55–71 (2011)CrossRef
9.
Hierons, R.M., Merayo, M.G., Núñez, M.: Implementation relations for the distributed test architecture. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) FATES/TestCom -2008. LNCS, vol. 5047, pp. 200–215. Springer, Heidelberg (2008). doi:10.​1007/​978-3-540-68524-1_​15 CrossRef
10.
Hierons, R.M., Merayo, M.G., Núñez, M.: Using time to add order to distributed testing. In: Giannakopoulou, D., Méry, D. (eds.) FM 2012. LNCS, vol. 7436, pp. 232–246. Springer, Heidelberg (2012). doi:10.​1007/​978-3-642-32759-9_​20 CrossRef
11.
Joint Technical Committee ISO/IEC JTC 1. International Standard ISO/IEC 9646–1. Information Technology - Open Systems Interconnection - Conformance testing methodology, framework - Part 1: General concepts. ISO/IEC (1994)
12.
Jourdan, G.-V., Ural, H., Yenigün, H., Zhu, D.: Using a SAT solver to generate checking sequences. In: The 24th International Symposium on Computer and Information Sciences, ISCIS 2009, pp. 549–554. IEEE (2009)
13.
Krichen, M.: A formal framework for black-box conformance testing of distributed real-time systems. Int. J. Crit. Comput. Based Syst. 3(1/2), 26–43 (2012)CrossRef
14.
15.
Krichen, M., Tripakis, S.: Conformance testing for real-time systems. Form. Methods Syst. Des. 34(3), 238–304 (2009)CrossRefMATH
16.
Nguyen, H.N., Zaïdi, F., Cavalli, A.R.: A framework for distributed testing of timed composite systems. In: 21st Asia-Pacific Software Engineering Conference, APSEC, pp. 47–54. IEEE (2014)
17.
Petrenko, A., Yevtushenko, N.: Testing from partial deterministic FSM specifications. IEEE Trans. Comput. 54(9), 1154–1165 (2005)CrossRef
18.
Ericsson International report. Investigation on how to integrate Diversity (MBT tool) and Titan (TTCN-3 executor) to provide an open source MBT tool chain (2016)
19.
Sarikaya, B., von Bochmann, G.: Synchronization and specification issues in protocol testing. IEEE Trans. Commun. 32, 389–395 (1984)CrossRef
20.
21.
Tretmans, J.: Model based testing with labelled transition systems. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) Formal Methods and Testing. LNCS, vol. 4949, pp. 1–38. Springer, Heidelberg (2008). doi:10.​1007/​978-3-540-78917-8_​1 CrossRef
22.
Vain, J., Halling, E., Kanter, G., Anier, A., Pal, D.: Automatic distribution of local testers for testing distributed systems. In: 12th International Baltic Conference on Databases and Information Systems IX, vol. 291, pp. 297–310. IOS Press (2016)
Metadaten
Titel
Constraint-Based Oracles for Timed Distributed Systems
verfasst von
Nassim Benharrat
Christophe Gaston
Robert M. Hierons
Arnault Lapitre
Pascale Le Gall
Copyright-Jahr
2017
Buch
Testing Software and Systems

Print ISBN: 978-3-319-67548-0

Electronic ISBN: 978-3-319-67549-7

Copyright-Jahr: 2017

DOI
https://doi.org/10.1007/978-3-319-67549-7_17

Premium Partner

    Bildnachweise