Points essentiels
- L’analyse statique trouve valeurs manquantes, doublons et cours non dotés.
- L’analyse dynamique teste données et contraintes ensemble.
- Les problèmes critiques se corrigent avant optimisation.
- La validation augmente la probabilité, pas la certitude.
Que détecte l’analyse statique?
Elle vérifie si les données brutes sont utilisables: valeurs manquantes, doublons et cours non dotés avant le solveur.
Que vérifier avant optimisation?
Priorisez ce qui bloque la création.
- Valeurs manquantes
- Enseignants, salles, groupes ou cours en doublon
- Cours non dotés
- Conflits de contraintes
- Problèmes de block build, combing chart et clash table
- Messages critiques
Comment valider le modèle?
Utilisez la validation comme porte.
- Lancer l’analyse statique.
- Corriger manquants, doublons et cours non dotés.
- Lancer l’analyse dynamique.
- Résoudre les problèmes critiques.
- Revoir block builds et clash tables.
- Générer seulement quand les problèmes restants sont compris.
Comment entrent les contrôles de planification?
Block build, combing charts et clash tables testent la structure avant le placement des cours. S’ils montrent déjà un clash, corrigez d’abord la structure.
Que doit dire le résultat?
Il doit pointer vers une cause corrigeable.
- Donnée ou contrainte
- Entité touchée
- Blocage ou attente possible
- Sortie de planification à revoir
- Besoin de revalider
- Possibilité de générer
Questions sur la validation
Qu’est-ce que la validation statique?
Elle contrôle les données seules: valeurs manquantes, doublons et cours non dotés.
Qu’est-ce que la validation dynamique?
Elle contrôle données et contraintes ensemble et révèle des problèmes de placement.
Garantit-elle la réussite?
Non. Certains conflits apparaissent pendant le placement.