CPTEST: A Framework for the Automatic Fault Detection, Localization and Correction of Constraint Programs

摘要

Constraint programs, such as those written in high level constraint modeling languages, e.g., OPL (Optimization Programming Language), are more and more used in business critical programs. As any other critical programs, they require to be thoroughly tested and corrected to prevent catastrophic loss of money. This paper is a demonstrations tool of CPTEST, a first testing tool for constraint programs. In particular, the paper presents the design of CPTEST and the implementation of our approaches enabling so automatic detection, localization and correction of faults in OPL programs.