Th orie de Test Des Programmes Contraintes

Le d veloppement des langages de mod lisation des programmes
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 probl mes du monde r el. De plus, ces langages commencent

tre utilis s dans des applications critiques comme la gestion et le contr le du trafic a rien, le e-commerce et le d veloppement de programmes critiques. D'autre part, il est connu que tout processus de d veloppement logiciel effectu dans un cadre industriel inclut imp rativement une phase de test, de v rification formelle et/ou de validation. Par ailleurs, ces langages ne connaissent pas d'innovations majeures en termes de v rification et de mise au point. Ceci ouvre la voie
des recherches orient es vers les aspects g nie logiciel d di s
la PPC (programmation par contraintes). Le travail majeur de cette th se pose les jalons d'une th orie du test des programmes
contraintes ainsi qu'un cadre conceptuel pour la mise-au-point de ce type de programmes avec une m thodologie de localisation et de correction automatique.