On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems

Marco Bernardo 1 Davide Sangiorgi 2, 3 Valeria Vignudelli 2, 3
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : Testing equivalences have been deeply investigated on fully nondeterministic processes, as well as on processes featuring probabilities and internal nondeterminism. This is not the case with reactive probabilistic processes, for which it is only known that the discriminating power of probabilistic bisimilarity is achieved when admitting a copying capability within tests. In this paper, we introduce for reactive probabilistic processes three testing equivalences without copying, which are respectively based on reactive probabilistic tests, fully nondeterministic tests, and nondeterministic and probabilistic tests. We show that the three testing equivalences are strictly finer than probabilistic failure-trace equivalence, and that the one based on nondeterministic and probabilistic tests is strictly finer than the other two, which are incomparable with each other. Moreover, we provide a number of facts that lead us to conjecture that (i) may testing and must testing coincide on reactive probabilistic processes and (ii) nondeterministic and probabilistic tests reach the same discriminating power as probabilistic bisimilarity.
Type de document :
Communication dans un congrès
QEST 2014, Sep 2014, Florence, Italy. 8657, pp.281 - 296, 2014, Lecture Notes in Computer Science. 〈http://www.qest.org/qest2014/〉. 〈10.1007/978-3-319-10696-0_23〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01089484
Contributeur : Vignudelli Valeria <>
Soumis le : lundi 1 décembre 2014 - 18:27:15
Dernière modification le : samedi 27 janvier 2018 - 01:30:55
Document(s) archivé(s) le : lundi 2 mars 2015 - 13:37:54

Fichier

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

Identifiants

Collections

Citation

Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli. On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems. QEST 2014, Sep 2014, Florence, Italy. 8657, pp.281 - 296, 2014, Lecture Notes in Computer Science. 〈http://www.qest.org/qest2014/〉. 〈10.1007/978-3-319-10696-0_23〉. 〈hal-01089484〉

Partager

Métriques

Consultations de la notice

206

Téléchargements de fichiers

80