Skip to Main content Skip to Navigation
Reports

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.
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00156049
Contributor : Matthieu Petit <>
Submitted on : Tuesday, June 19, 2007 - 6:20:40 PM
Last modification on : Thursday, November 15, 2018 - 11:57:08 AM
Document(s) archivé(s) le : Thursday, April 8, 2010 - 8:50:37 PM

Files

RR_PCCFD_apply.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00156049, version 1

Citation

Matthieu Petit, Arnaud Gotlieb. Probabilistic Choice Operators as Constraint Combinators: Application to the Statistical Structural Testing Problem. [Research Report] 2007. ⟨inria-00156049v1⟩

Share

Metrics

Record views

2

Files downloads

29