Uniform Random Sampling of Traces in Very Large Models

Abstract : 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.
Type de document :
Communication dans un congrès
Johannes Mayer, Robert Merkel. First International Workshop on Random Testing, 2006, Portland, Maine, United States. ACM, pp.10-19, 2006
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00080471
Contributeur : Marie-Claude Gaudel <>
Soumis le : lundi 19 juin 2006 - 18:52:22
Dernière modification le : vendredi 4 janvier 2019 - 17:32:32
Document(s) archivé(s) le : lundi 5 avril 2010 - 22:59:22

Fichiers

Identifiants

Collections

Citation

Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lasseigne, Sylvain Peyronnet. Uniform Random Sampling of Traces in Very Large Models. Johannes Mayer, Robert Merkel. First International Workshop on Random Testing, 2006, Portland, Maine, United States. ACM, pp.10-19, 2006. 〈hal-00080471〉

Partager

Métriques

Consultations de la notice

482

Téléchargements de fichiers

80