Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue

Hernán Ponce de León 1, 2 Stefan Haar 2 Delphine Longuet 3
1 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
3 ForTesse
LRI - Laboratoire de Recherche en Informatique
Abstract : 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.
Type de document :
Communication dans un congrès
Theoretical Aspects of Computing, Sep 2014, Bucharest, Romania. 2014, 〈10.1007/978-3-319-10882-7_22〉
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00996002
Contributeur : Hernan Ponce de Leon <>
Soumis le : lundi 8 décembre 2014 - 18:18:52
Dernière modification le : jeudi 5 avril 2018 - 16:52:38
Document(s) archivé(s) le : lundi 9 mars 2015 - 12:26:49

Fichier

ictac2014.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Hernán Ponce de León, Stefan Haar, Delphine Longuet. Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue. Theoretical Aspects of Computing, Sep 2014, Bucharest, Romania. 2014, 〈10.1007/978-3-319-10882-7_22〉. 〈hal-00996002v2〉

Partager

Métriques

Consultations de la notice

215

Téléchargements de fichiers

96