Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing
Probabilistic Concurrent Constraint Programming (PCCP)  is an extension of Concurrent Constraint Programming (CCP)  where probabilistic choice operators are introduced to represent the randomness or uncertain behaviour of processes. A probabilistic choice between two processes can be though of as flipping a coin : head the first process is triggered, tail it is the second. Based on this theoretical framework, it seems possible to extend the classical CCP over finite domains framework  with probabilistic choice operators.
Our aim is to define probabilistic choice operators as global constraints of the CCP over finite domains paradigm  and to apply this framework to deal with a specific Software Testing problem . Global constraints are a good way for giving global semantics to complex constraints. Furthermore, such operators appear to the user like single constraints and so can be awaked and treated efficiently by the constraint propagation algorithm. A part of our work is to establish the relationships between probabilistic choice operators, global constraints and the PCCP semantic framework.
- 2.Gotlieb, A., Botella, B., Rueher, M.: A clp framework for computing structural test data. In: Computational Logic (CL). LNCS (LNAI), vol. 1891, pp. 399–413 (2000)Google Scholar
- 3.Gupta, V., Jagadeesan, R., Panangaden, P.: Stochastic processes as concurrent constraint programs. In: Symposium on POPL, pp. 189–202 (1999)Google Scholar
- 4.Van Hentenryck, P., Saraswat, V.A., Deville, Y.: Design, implementation, and evaluation of the constraint langage cc(FD). Journal of Logic Programming (1998)Google Scholar
- 5.Saraswat, V.A., Rinard, M., Panangaden, P.: Semantic foundations of concurrent constraint programming. In: Symposium on POPL, pp. 333–352 (1991)Google Scholar
- 6.Thévenod-Fosse, P., Waeselynck, H.: An Investigation of Statistical Software Testing. Journal of Software Testing, Verification and Reliability (1991)Google Scholar