Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing

  • Matthieu Petit
  • Arnaud Gotlieb
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3132)


Probabilistic Concurrent Constraint Programming (PCCP) [3] is an extension of Concurrent Constraint Programming (CCP) [5] 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 [4] with probabilistic choice operators.

Our aim is to define probabilistic choice operators as global constraints of the CCP over finite domains paradigm [4] and to apply this framework to deal with a specific Software Testing problem [1]. 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.


  1. 1.
    DeMillo, R.A., Jefferson Offutt, A.: Constraint-based automatic test data generation. IEEE Trans. Softw. Eng. 17(9), 900–910 (1991)CrossRefGoogle Scholar
  2. 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. 3.
    Gupta, V., Jagadeesan, R., Panangaden, P.: Stochastic processes as concurrent constraint programs. In: Symposium on POPL, pp. 189–202 (1999)Google Scholar
  4. 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. 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. 6.
    Thévenod-Fosse, P., Waeselynck, H.: An Investigation of Statistical Software Testing. Journal of Software Testing, Verification and Reliability (1991)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Matthieu Petit
    • 1
  • Arnaud Gotlieb
    • 1
  1. 1.IRISA-INRIARennes cedexFrance

Personalised recommendations