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...
Guardat en:
| Autor principal: | |
|---|---|
| Altres autors: | |
| Format: | Thèse et Mémoire papier |
| Idioma: | Français |
| Publicat: |
1999.
|
| Matèries: | |
| Nota: |
Thèse reproduite |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Conformance testing for automata-based specifications :, a game-theretic approach |
| LEADER | 02108nam a22002777a 4500 | ||
|---|---|---|---|
| 001 | 101405 | ||
| 008 | 010927s1999 xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN058476849 | ||
| 041 | 0 | |a fre |b fre | |
| 084 | |a 004 | ||
| 100 | 1 | |a Ramangalahy, Solofo. | |
| 240 | 1 | 0 | |a Conformance testing for automata-based specifications : |b a game-theretic approach |
| 245 | 1 | 0 | |a Test de conformité pour des spécifications à base d'automates : |b une approche par la théorie des jeux |c Solofo Ramangalahy ; sous la dir. de Siva Anantharaman. |
| 260 | |c 1999. | ||
| 300 | |a 1 vol. (96 p.) : |b ill. ; |c 30 cm. | ||
| 500 | |a Thèse reproduite | ||
| 502 | |a Thèse de doctorat. Informatique. Orléans. 1999 | ||
| 504 | |a Bibliogr. p. 89-96 | ||
| 520 | |a 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. | ||
| 520 | |a 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. | ||
| 650 | |a Automates | ||
| 650 | |a Théorie des jeux | ||
| 650 | |a Thèses et écrits académiques | ||
| 700 | 1 | |a Anantharaman, Siva, |d 19..-...., |c professeur en informatique. |4 ths | |
| 710 | 2 | |a Université d'Orléans. |4 dgg | |
| 997 | |0 101405 |1 Thèse et Mémoire papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Orléans, BU Sciences, Technologies, STAPS, TS 19-1999-73b |z Orléans, BU Sciences, Technologies, STAPS, TS 19-1999-73 | ||