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 Access content directly
Reports (Research Report) Year : 2007

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

Matthieu Petit
  • Function : Author
  • PersonId : 945280
Arnaud Gotlieb
  • Function : Author
  • PersonId : 830099

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.
Fichier principal
Vignette du fichier
RR_PCCFD_apply.pdf (204.91 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : inria-00156049 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More