Sciweavers

FOSSACS
2010
Springer

Retaining the Probabilities in Probabilistic Testing Theory

14 years 4 months ago
Retaining the Probabilities in Probabilistic Testing Theory
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing equivalence is too strong and distinguishes between processes that are observationally equivalent. The problem arises from the observation that the classical composeand-schedule approach yields unrealistic overestimation of the probabilities, a phenomenon that has been recently well studied from the point of view of compositionality (de Alfaro/Henzinger/Jhala 2001, Cheung/Lynch/Segala/Vaandrager 2006), in the context of randomized protocols (Chatzikokolakis/Palamidessi 2007), and in probabilistic model checking (Giro/D’Argenio/Ferrer Fioriti 2009). To that end, we propose a new testing theory, aiming at preserving the probability information in a parallel context. The resulting testing equivalence is insensitive to the exact moment the internal and the probabilistic choices occur. We also give an alternativ...
Sonja Georgievska, Suzana Andova
Added 18 May 2010
Updated 18 May 2010
Type Conference
Year 2010
Where FOSSACS
Authors Sonja Georgievska, Suzana Andova
Comments (0)