CPTEST (a TESTINg framework)

The goal of our experimental evaluation was to check that CPTEST is able to detect faults in OPL programs. We fed CPTEST with faulty models coming from initial constraint program development. Indeed, we developed optimized models of two well-known CP problems, namely the Golomb rulers and the car sequencing problem, and we kept first versions of these models for which faults were found.

All our experiments were performed on Intel Core2 Duo CPU 2.40Ghz machine with 2.00 GB of RAM.