Nous 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 oeuvre repose sur la programmation logique par contraintes. Pour finir, l'etat actuel de la plate-forme et ses évolutions futures sont présentées.