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...
Shranjeno v:
| Glavni avtor: | |
|---|---|
| Drugi avtorji: | |
| Format: | Thèse et Mémoire papier |
| Jezik: | Français |
| Izdano: |
1999.
|
| Teme: | |
| Sporočilo: |
Thèse reproduite |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Conformance testing for automata-based specifications :, a game-theretic approach |