UE Validation d'algorithmes et modèles statistiques

Diplômes intégrant cet élément pédagogique :

Organisation de l'enseignement :

Descriptif

La maîtrise de la recherche de solutions algorithmiques et de la programmation s'appuie  sur l'étude des langages et moyens d'expression utilisés en informatique et sur la compréhension des modèles de calcul sous-jacents.

Programme résumé du cours de validation d'algorithme :
1. Modèles de calcul et expressivités :
a. Automates à états finis et rappel sur langages réguliers
b. Automates à pile et rappel sur les langages algébriques
c. Machines de Turing
d. Problèmes indécidables

2. Correction et analyse d'algorithmes :
a. Preuve d'invariants
b. Preuve de terminaison
c. Evaluation de coûts



Compétences visées

  • Analyser formellement un problème algorithmique et construire une solution algorithmique quand possible
  • Analyser des algorithmiques (correction, terminaison, coût)
  • Vérifier des programmes en utilisant des méthodes logiques : préconditions-postconditions, recherche d'invariants, automatisation des preuves.
  • Valider un logiciel à l'aide des tests: test boite-noire, test boite-blanche, recherche des données de tests, test appliqué aux logiciels réactifs.

Informations complémentaires

Méthode d'enseignement : En présence
Lieu(x) : Grenoble - Domaine universitaire
Langue(s) : Français