Probabilistic Choice Operators as Constraint Combinators: Application to the Statistical Structural Testing Problem - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2007

Probabilistic Choice Operators as Constraint Combinators: Application to the Statistical Structural Testing Problem

Matthieu Petit
  • Fonction : Auteur
  • PersonId : 945280
Arnaud Gotlieb
  • Fonction : Auteur
  • PersonId : 830099

Résumé

Probabilistic Concurrent Constraint Programming (PCCP) extends concurrent constraint languages by providing probabilistic choice operators. These operators have proved to be useful in implementing randomized algorithms as well as stochastic processes. In this report, we present an instance of PCCP where probabilistic choice operators are modelled with constraint combinators. This modeling allow us to deal with a new kind of problems where the probabilistic choice is only partially known. An implementation under the form of a library of SICStus Prolog is in progress. The major practical application of our work is the statistical structural testing problem in software testing.
Fichier principal
Vignette du fichier
RR-6223.pdf (204.49 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00156049 , version 1 (19-06-2007)
inria-00156049 , version 2 (20-06-2007)
inria-00156049 , version 3 (25-06-2007)

Identifiants

  • HAL Id : inria-00156049 , version 3

Citer

Matthieu Petit, Arnaud Gotlieb. Probabilistic Choice Operators as Constraint Combinators: Application to the Statistical Structural Testing Problem. [Research Report] RR-6223, INRIA. 2007. ⟨inria-00156049v3⟩
118 Consultations
65 Téléchargements

Partager

Gmail Facebook X LinkedIn More