uqac.ca

web

8INF958

Spécification, test et vérification

(3.0 cr.)

Méthodes de spécification formelle: automates, expressions régulières, logiques classiques et temporelles, notation B, Z et CCS. Génération automatique de tests, notions de couverture, exécution symbolique dynamique. Le monitoring et l'analyse de traces: exemples, algorithme. Outils de monitoring: Java-MOP, BeepBeep. Le modèle checking et la vérification statique: exemples, algorithmes. Méthodes de réduction de l'espace d'état, abstraction et raffinement. Outils de vérification: Concurrency Workbench, Java Pathfinder, SPIN et NuSMV.

(06/2012)

Appartenance départementale

Informatique et mathématique

Programmes dans lesquels se trouve ce cours

0784 Programme court de deuxième cycle en informatique pour étudiants en séjour d'études
1537 Maîtrise en informatique (jeux vidéo)
3017 Maîtrise en informatique
3037 Maîtrise en informatique
3775 Diplôme de deuxième cycle en informatique appliquée
À propos du site Web institutionnel - © UQAC 2017. Tous droits réservés.