Uniform Random Sampling of Traces in Very Large Models - Université Paris Cité Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Uniform Random Sampling of Traces in Very Large Models

Résumé

This paper presents some first results on how to perform uniform random walks (where every trace has the same probability to occur) in very large models. The models considered here are described in a succinct way as a set of communicating reactive modules. The method relies upon techniques for counting and drawing uniformly at random words in regular languages. Each module is considered as an automaton defining such a language. It is shown how it is possible to combine local uniform drawings of traces, and to obtain some global uniform random sampling, without construction of the global model.
Fichier principal
Vignette du fichier
paperRT6.pdf (224.15 Ko) Télécharger le fichier
Loading...

Dates et versions

hal-00080471 , version 1 (19-06-2006)

Identifiants

Citer

Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lasseigne, Sylvain Peyronnet. Uniform Random Sampling of Traces in Very Large Models. First International Workshop on Random Testing, 2006, Portland, Maine, United States. pp.10-19. ⟨hal-00080471⟩
306 Consultations
117 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More