Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2014

Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue

Delphine Longuet

Résumé

The ioco relation has become a standard in model-based conformance testing. The co-ioco conformance relation is an extension of this relation to concurrent systems specified with true-concurrency models. This relation assumes a global control and observation of the system under test, which is not usually realistic in the case of physically distributed systems. Such systems can be partially observed at each of their points of control and observation by the sequences of inputs and outputs exchanged with their environment. Unfortunately, in general, global observation cannot be reconstructed from local ones, so global conformance cannot be decided with local tests. We propose to append time stamps to the observable actions of the system under test in order to regain global conformance from local testing.
Fichier principal
Vignette du fichier
ictac2014.pdf (273.75 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00996002 , version 1 (26-05-2014)
hal-00996002 , version 2 (08-12-2014)

Identifiants

  • HAL Id : hal-00996002 , version 1

Citer

Hernán Ponce de León, Stefan Haar, Delphine Longuet. Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue. [Research Report] 2014. ⟨hal-00996002v1⟩
241 Consultations
214 Téléchargements

Partager

Gmail Facebook X LinkedIn More