loading...
Uniform Selection of Feasible Paths as a Stochastic Constraint Problem
Portland, Oregon, USA October 11-October 12
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QSIC.2007.67Seventh International Conference on Q ...
 This Article 
 
PDF
HTML
IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Matthieu Petit, IRISA / INRIA Campus Beaulieu 35042 Rennes cedex, FRANCE
Arnaud Gotlieb, IRISA / INRIA Campus Beaulieu 35042 Rennes cedex, FRANCE
Automatic structural test data generation is a real challenge of Software Testing. Statistical structural testing has been proposed to address this problem. This testing method aims at building an input probability distribution to maximize the coverage of some structural criteria. Under the all paths testing objective, statistical structural testing aims at selecting each feasible path of the program with the same probability. In this paper, we propose to model a uniform selector of feasible paths as a stochastic constraint program. Stochastic constraint programming is an interesting framework which combines stochastic decision problem and constraint solving. This paper reports on the translation of uniform selection of feasible paths problem into a stochastic constraint problem. An implementation which uses the library PCC(FD) of SICStus Prolog designed for this problem is detailed. First experimentations, conducted over a few academic examples, show the interest of our approach.
Citation:
Matthieu Petit, Arnaud Gotlieb, "Uniform Selection of Feasible Paths as a Stochastic Constraint Problem," qsic, pp.280-285, Seventh International Conference on Quality Software (QSIC 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.