Abstract FR:

Le test de conformité est l'activité qui consiste à confronter l'implantation d'un système à sa spécification initiale au moyen de tests, afin de s'assurer de sa correction. Le modèle des automates est sous-jacent à la sémantique des langages de spécification usuels. Leur utilisation dans la phase de spécification d'un système permet d'étudier le problème du test de conformité par l'approche dite des "méthodes formelles". Cette thèse aborde ce problème dans le cadre de cette approche.