## Fair Testing Through Probabilistic Testing (1999)

Citations: | 2 - 1 self |

### BibTeX

@MISC{Nunez99fairtesting,

author = {Manuel Nunez and David Ruperez},

title = {Fair Testing Through Probabilistic Testing},

year = {1999}

}

### OpenURL

### Abstract

In this paper we define a probabilistic testing semantics which can be used to alternatively characterize fair testing. The key idea is to define a probabilistic semantics in such a way that two non-probabilistic processes are fair equivalent iff any probabilistic version of both processes are equivalent in our probabilistic testing semantics. In order to get this result we define a simple probabilistic must semantics by saying that a probabilistic process must pass a test iff the probability with which the process passes the test equals 1. Finally, we present an algorithm for deciding whether the probability with which a finite-state process passes a finite-state test equals 1. Alternatively, this algorithm can be used for computing whether a finite-state process fairly passes a finite-state test. Keywords: Testing semantics, fair testing, probabilistic processes. 1. INTRODUCTION Formal models of concurrency have been proved to be very useful to properly specify concurrent and distr...