Test basé sur un modèle de systèmes réactifs

Tests des machines à états finis. I. Tests des machines à états finis. 1. Séquences de retour à l'état initial et de synchronisation. 2. Identification des états. 3. Vérification des états. 4. Tests de conformité. II. Tests des systèmes de transitions étiquetés. 5. Relations de préordre. 6. Algorithmes de génération de tests basés sur les relations de préordre. 7. Tests basés sur des automates d'entrée/sortie. 8. Dérivation de tests à partir d'automates temporisés. 9. Théorie des tests pour les systèmes probabilistes. III. Génération de cas de test basée sur des modèles. 10. Problèmes méthodologiques dans les tests basés sur des modèles. 11. Évaluation des tests basés sur la couverture. 12. Technologie de génération de cas de test. 13. Tests de systèmes en temps réel et hybrides. IV. Outils et études de cas. 14. Outils pour la génération de cas de test. 15. Études de cas. V. Notation de test standardisée et architecture d'exécution. 16. TTCN-3. 17. Profil de test UML 2.0. VI. Au-delà des tests. 18. Vérification à l'exécution. 19. Vérification de modèle. VII. Annexes. 20. Tests basés sur des modèles - Un glossaire. 21. Machines à états finis. 22. Systèmes de transitions étiquetés.