National audienceNous présentons une méthode ainsi qu'une architecture et les premières briques d'une plate-forme pour le test de cartes hybrides. L'accent est mis sur la modélisation fonctionnelle des cartes et sur les stratégies de test fonctionnel développées pour le test en maintenance. Ces stratégies s'expriment en termes de contraintes et leur mise en œuvre repose sur la programmation logique par contraintes. Pour finir, nous évoquons une étude de cas industrielle, puis l'état d'avancement actuel de la plate-forme et ses évolutions futures sont discutées