Analyser, valider et vérifier des résultats complexes
Description
- Analyser les résultats d’une solution proposée en relation avec un domaine d’application et du point de vue étudié (performance, scalabilité, sécurité, consommation d’énergie…).
- Analyser, interpréter et synthétiser les résultats issus de systèmes informatiques complexes.
- Caractériser les résultats obtenus en sortie des systèmes informatiques complexes mis en place.
- Valider le fonctionnement d’un système informatique complexe par des tests et par l’analyse des résultats produits.
- Veiller à l’évolution dans le temps des systèmes mis en place.
Vérifier une solution (preuve de correction, invariant de boucle) afin de garantir son adéquation au problème.
Comparer les résultats (tests unitaires, profilage) afin d’en évaluer l’efficacité et les limites.
Présenter une démonstration et une étude de cas (automate, algorithme de tri) afin de justifier les choix.
Assurer une veille scientifique afin d’actualiser les contenus pédagogiques.
Public
Licence en informatique
- Nombre d’ECTS
- 30
- Code répertoire
- RNCP39278BC07
- Date de début de validité