Test de conformité pour des spécifications à base d'automates : une approche par la théorie des jeux
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 utilisa...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | |
| Format: | Thèse et Mémoire papier |
| Langue: | Français |
| Publié: |
1999.
|
| Sujets: | |
| Note: |
Thèse reproduite |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Conformance testing for automata-based specifications :, a game-theretic approach |
| 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. 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. |
|---|---|
| Description: | Thèse reproduite |
| Description matérielle: | 1 vol. (96 p.) : ill. ; 30 cm. |
| Bibliographie: | Bibliogr. p. 89-96 |