uqac.ca

web

8INF958

Spécification, test et vérification

(3.0 cr.)

Méthodes de spécification formelle

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.

Formule pédagogique : Cours Magistral

(06/2020)

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 (professionnel)
3081 Doctorat en sciences et technologies de l'information
3775 Diplôme d'études supérieures spécialisées en informatique appliquée

Ce cours est offert au trimestre suivant:

Été 2020

Groupe 01 (CHICOUTIMI JOUR) - RÉSERVÉ

le mercredi 06-05-2020       de 13:00 à 15:45 Local: à venir
le jeudi 07-05-2020       de 09:00 à 11:45 Local: à venir
le mercredi 13-05-2020       de 13:00 à 15:45 Local: à venir
le jeudi 14-05-2020       de 09:00 à 11:45 Local: à venir
le jeudi 21-05-2020       de 09:00 à 11:45 Local: à venir
le mercredi 27-05-2020       de 09:00 à 11:45 Local: à venir
le jeudi 28-05-2020       de 09:00 à 11:45 Local: à venir
le mercredi 03-06-2020       de 09:00 à 11:45 Local: à venir
le jeudi 04-06-2020       de 09:00 à 11:45 Local: à venir
le mercredi 10-06-2020       de 09:00 à 11:45 Local: à venir
le jeudi 11-06-2020       de 09:00 à 11:45 Local: à venir
le mercredi 17-06-2020       de 09:00 à 11:45 Local: à venir
le jeudi 18-06-2020       de 09:00 à 11:45 Local: à venir
le lundi 22-06-2020       de 13:00 à 15:45 Local: à venir
le jeudi 25-06-2020       de 09:00 à 11:45 Local: à venir
Remarque : Les cours se donneront en prestation virtuelle
© UQAC 2020. Tous droits réservés.