Étude de mesures de testabilité de systèmes logiques

Ce memoire est consacre a l'etude de mesures de testabilite de systemes logiques et a l'introduction de ces mesures dans un outil de generation de programmes de test. Un etat de l'art sur la testabilite est fait, ainsi qu'une analyse critique des principaux programmes operationnels : TMEAS, CAMELOT et SCOAP. Une description d'un systeme operationnel d'aide a la specification automatique de programmes de test : CATA, est donnee. Nous formalisons des mesures de controlabilite, observabilite et testabilite. Puis nous nous interessons a la determination d'une strategie de test, definissant un ensemble minimal et ordonne d'ecoulements permettant le test complet d'un systeme, au vu des mesures definies.