Le developpement des langages de modelisation des programmes a contraintes a eu un grand impact dans le monde industriel comme OPL de IBM Ilog, Comet de Dynadec, Sicstus Prolog ou Gecode qui proposent des solutions robustes aux problemes du monde reel. De plus, ces langages commencent a etre utilises dans des applications critiques comme la gestion et le controle du trafic aerien, le e-commerce et le developpement de programmes critiques. D'autre part, il est connu que tout processus de developpement logiciel effectue dans un cadre industriel inclut imperativement une phase de test, de verification formelle et/ou de validation. Par ailleurs, ces langages ne connaissent pas d'innovations majeures en termes de verification et de mise au point. Ceci ouvre la voie a des recherches orientees vers les aspects genie logiciel dedies a la PPC (programmation par contraintes). Le travail majeur de cette these pose les jalons d'une theorie du test des programmes a contraintes ainsi qu'un cadre conceptuel pour la mise-au-point de ce type de programmes avec une methodologie de localisation et de correction automatique."