Test de conformité pour des spécifications à base d'automates : une approche par la théorie des jeux

par Solofo Ramangalahy

Thèse de doctorat en Informatique

Sous la direction de Siva Anantharaman.

Soutenue en 1999

à Orléans .

mots clés

• Automates
• Théorie des jeux

Résumé

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.

Pas de résumé disponible.

Résumé

Conformance testing aims at applying test cases to a system in order to study its correction with respect to its specification. The automaton model underlies the semantics of the usual formal specification languages. Its use in the specification phase allow the study of the conformance testing problem with the so-called "formal methods" framework. The thesis study this problem in this framework.