Abstract FR:

Le travail presente dans ce document a ete realise au sein du gerii, dans le cadre d'une collaboration menee avec le groupe d'experts 9 de l'union technique de l'electricite sur la normalisation des outils de controle. Il concerne l'etude et la realisation d'un outil informatique, integre au projet soline, permettant la comprehension et la validation des sequences de test des circutis integres complexes. L'analyse critique des differentes methodes de generation des sequences de test fonctionnel des circuits complexes montre la necessite de valider ces sequences apres leur elaboration. L'approche utilisee ici est basee sur l'identification du circuit etudie a partir des relations entrees/sorties definies par la sequence de test: les solutions (modelisees par des graphes cartesiens) deduites de l'identification sont comparees au modele bon. Plusieurs jeux de contraintes permettent d'adapter l'analyse au niveau de connaissance apportee par le modele du circuit. Le logiciel realise a ete utilise pour valider une sequence de test d'un circuit integre reel (6800). Nous concluons sur la faisabilite d'une telle approche qui met en uvre des processus combinatoires complexes