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

Matthieu Petit 1 Arnaud Gotlieb 1
1 Lande - Logiciel : ANalyse et DEveloppement
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : 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.
Type de document :
Rapport
[Research Report] RR-6223, INRIA. 2007
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00156049
Contributeur : Matthieu Petit <>
Soumis le : lundi 25 juin 2007 - 10:27:29
Dernière modification le : mercredi 16 mai 2018 - 11:23:03
Document(s) archivé(s) le : jeudi 23 septembre 2010 - 16:29:11

Fichiers

RR-6223.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00156049, version 3

Citation

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〉

Partager

Métriques

Consultations de la notice

220

Téléchargements de fichiers

77