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

Ce cours est offert au trimestre suivant:

Été 2018

Groupe 01 (CHICOUTIMI JOUR) - RÉSERVÉ

le mercredi 02-05-2018       de 13:00 à 15:45 Local: H1-1140
le jeudi 03-05-2018       de 09:00 à 11:45 Local: H1-1140
le mercredi 16-05-2018       de 13:00 à 15:45 Local: H1-1140
le jeudi 17-05-2018       de 09:00 à 11:45 Local: H1-1140
le mercredi 23-05-2018       de 13:00 à 15:45 Local: H1-1140
le jeudi 24-05-2018       de 09:00 à 11:45 Local: H1-1140
le mercredi 30-05-2018       de 13:00 à 15:45 Local: H1-1140
le jeudi 31-05-2018       de 09:00 à 11:45 Local: H1-1140
le vendredi 01-06-2018       de 13:00 à 15:45 Local: H1-1140
le mercredi 06-06-2018       de 13:00 à 15:45 Local: H1-1140
le jeudi 07-06-2018       de 09:00 à 11:45 Local: H1-1140
le mercredi 13-06-2018       de 13:00 à 15:45 Local: H1-1140
le jeudi 14-06-2018       de 09:00 à 11:45 Local: H1-1140
le mercredi 20-06-2018       de 13:00 à 15:45 Local: H1-1140
le jeudi 21-06-2018       de 09:00 à 11:45 Local: H1-1140
© UQAC 2018. Tous droits réservés.