July 28, 2008 to Aug. 1, 2008
Path-oriented Random Testing (PRT) aims at generating a uniformly spread out sequence of random test data that activate a single control flow path within an imperative program. The main challenge of PRT is to build efficiently such a test suite in order to minimize the number of rejects (test data that activate another control flow path). We address this problem with an original technique based on constraint reasoning over finite domains, a well-recognized Constraint Programming technique. Our approach derives path conditions by using symbolic execution and computes an approximation of their associated subdomain by using constraint propagation and constraint refutation.
Random Testing, Path Testing, Constraint reasoning
Arnaud Gotlieb, Matthieu Petit, "Constraint Reasoning in Path-Oriented Random Testing", COMPSAC, 2008, 2013 IEEE 37th Annual Computer Software and Applications Conference, 2013 IEEE 37th Annual Computer Software and Applications Conference 2008, pp. 168-171, doi:10.1109/COMPSAC.2008.78