Tests et préparation à la production
Statut documentaire : guide. Les tests sont des contrats exécutables ; une requête réussie ne garantit pas la préparation à la production.
Tester les frontières
| Frontière | Contrat de test représentatif |
|---|---|
| Métadonnées → APPLICATION | Héritage, classes résolues, champs, actions et visibilité |
| APPLICATION → Objets | Création, modification des propriétés, découverte d'actions et identité |
| SEMANTIC → H-Logic | Parsing, validation, relation typée, commit, provenance et rejet |
| Providers → Datasets | Filtres, tri, pagination, transactions et posting |
| FPL / ABI | Résolution linker, sous-ensemble marshaling, erreur et libération de handle |
| Services / Remote | Configuration, délai, réessais, fermeture et durée de vie des callbacks |
| Numérique / LLM | Disponibilité backend, fallback, reset de session et gestion des candidats périmés |
Privilégier de petites fixtures déclarées pour les tests unitaires et de frontière ; réserver les packages complets aux smoke tests. Le livre traite les transitions valides et interdites comme des contrats. Une extension qui compile mais contourne un garde-fou de validation n'est pas correcte.
État Runtime observable minimal
Identifier le build déployé, la version du package/modèle activé, les endpoints de services, le provider/la base choisis, les canaux distants, l'état des queues et l'identifiant de corrélation. En présence d'exécution numérique, enregistrer backend et fallback. Exposer la phase d'arrêt (accepting, draining, stopping, stopped). Ne pas publier de performance sans charge, matériel et mesures reproductibles.
Checklist de production
- [ ] Relier chaque capacité à ses interfaces, manifests et preuves de plateforme versionnés.
- [ ] Valider au démarrage prérequis, providers, services et endpoints nécessaires.
- [ ] Définir délais, idempotence et séparation des pannes métier/techniques.
- [ ] Observer queues, canaux, callbacks, sessions et corrélation d'erreurs.
- [ ] Tester réessai, doublon, réponse périmée, arrêt et redémarrage.
- [ ] Confirmer propriété/libération et absence de workers actifs après arrêt.
Suite
Tests d'ingénierie · Diagnostics opérationnels · Checklist de reproduction · Maturité et preuves
Sources LaTeX : testing-runtime-modules.tex ; production-readiness.tex ; engine-validation-and-neurosymbolic-test-contracts.tex.