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...
Gorde:
| Egile nagusia: | |
|---|---|
| Beste egile batzuk: | |
| Formatua: | Thèse et Mémoire papier |
| Hizkuntza: | Français |
| Argitaratua: |
1999.
|
| Gaiak: | |
| Oharra: |
Thèse reproduite |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Conformance testing for automata-based specifications :, a game-theretic approach |
Orléans - BU Sciences Technologies STAPS
| Kokapena | Sailkapena | Type de prêt | Egoera | |
|---|---|---|---|---|
| Magasin | TS 19-1999-73 | Eskuragarri | ||
| Magasin | TS 19-1999-73b |
A consulter sur place
|