Validation et plan de tests

Statut documentaire : tutorial — voir Maturité et preuves.

Utiliser de petits jeux de faits avec déductions attendues explicites avant de générer les modèles applicatifs.

Scénario de référence

Pour le produit P1, l’entrepôt W1 et l’instant T1, supposons un stock physique de 10, réservé de 4, disponible de 6 et un seuil de 7. Les relations de support établissent la soustraction et la comparaison. Les résultats attendus sont ConsistentStockPosition, BelowReorderThreshold, ReorderRequired et la projection indexée correspondante.

Pour un état invalide avec physique 5 et réservé 7, le diagnostic attendu est InvalidStockPosition.

Campagne de validation moteur

Tester la classification des mouvements, l’évaluation des relations arithmétiques, l’unification temporelle entre position et politique, la propagation du réapprovisionnement, les états invalides, la création des tuples indexés, la gestion des doublons, les justifications multiples, la rétraction après disparition de la dernière justification et l’absence de cycles de projection auto-recréants.

Le domaine doit aussi confirmer la sémantique temporelle, le stockage ou calcul du disponible, le caractère diagnostique ou bloquant des états invalides, la pertinence des ordres de requête et le besoin éventuel de contexte fournisseur ou délai.

Rapporter explicitement : parseur accepté, résolution sémantique passée, propagation passée ou capacité encore en attente.