Utilisation de la programmation synchrone pour la spécification et la validation de services interactifs
Ce travail porte sur le test automatique de systèmes interactifs. L'approche proposée est basée sur des techniques de test de systèmes réactifs synchrones. Le comportement de systèmes synchrones, qui est constitué de cycles commençant par la lecture d'une entrée et finissant par l'émi...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
2007
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00250225 http://tel.archives-ouvertes.fr/docs/00/25/02/25/PDF/theseLayaMadani-finale.pdf http://tel.archives-ouvertes.fr/docs/00/25/02/25/ANNEX/theseExpose.pdf |