Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
DeMillo, R.A., Jefferson Offutt, A.: Constraint-based automatic test data generation. IEEE Trans. Softw. Eng. 17(9), 900–910 (1991)
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)
Gupta, V., Jagadeesan, R., Panangaden, P.: Stochastic processes as concurrent constraint programs. In: Symposium on POPL, pp. 189–202 (1999)
Van Hentenryck, P., Saraswat, V.A., Deville, Y.: Design, implementation, and evaluation of the constraint langage cc(FD). Journal of Logic Programming (1998)
Saraswat, V.A., Rinard, M., Panangaden, P.: Semantic foundations of concurrent constraint programming. In: Symposium on POPL, pp. 333–352 (1991)
Thévenod-Fosse, P., Waeselynck, H.: An Investigation of Statistical Software Testing. Journal of Software Testing, Verification and Reliability (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Petit, M., Gotlieb, A. (2004). Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing. In: Demoen, B., Lifschitz, V. (eds) Logic Programming. ICLP 2004. Lecture Notes in Computer Science, vol 3132. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27775-0_43
Download citation
DOI: https://doi.org/10.1007/978-3-540-27775-0_43
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22671-0
Online ISBN: 978-3-540-27775-0
eBook Packages: Springer Book Archive