UE Validation d'algorithmes et modèles statistiques

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

• 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.