Nous élaborons un scénario général pour les tests des processus probabilistes qui nous amène à deux théories : une basée sur un point de vue optimiste, l'autre pessimiste.
Nous examinons la théorie algébrique de tests probabilistes et nous montrons que la majorité des axiomes de tests standards ne sont plus valides. Nous développons une méthode pour vérifier des inéquations pour les processus probabilistes, basée sur une notion de simulation. En utilisons cet outil nous obtenons une axiomatisation complète pour la théorie optimiste, appliquée à des processus finis.
Référence: Remarks on Testing Probabilistic processes, Yuxin Deng, Rob van Glabbeek, Matthew Hennessy, Carroll Morgan and Chenyi Zhang.