Tests, diagnostic et validation
Référence : cette page est une synthèse technique fondée sur le chapitre LaTeX cité ci-dessous. Pour la syntaxe exacte, la disponibilité ou les signatures ABI, vérifier le source versionné, le manifeste et les tests exécutables.
Portée et frontière de la source
Diagnostiquer une application déclarative suppose de vérifier séparément validité des déclarations, assemblage, évaluation Runtime et résultats émis.
Les tests sémantiques vérifient règles du modèle, identités, contraintes et résultats d’Actions, et pas seulement réponses HTTP ou méthodes d’implémentation. La source préconise des tests des déclarations, de l’assemblage, de l’invocation Runtime et des contrats publiés. Un exemple validé apporte une preuve plus forte qu’un extrait illustratif.
Règles d’ingénierie
- Écrire des cas positifs, négatifs et limites pour les invariants métier.
- Séparer les échecs du modèle de ceux du Runtime, du transport et de l’adaptateur.
- Exécuter le même contrat sur chaque surface d’exécution prise en charge.
- Enregistrer source, version et environnement d’un exemple vérifié.
Plan du chapitre (intitulés LaTeX d’origine)
- Purpose
- What to Test
- Structure a Declarative Test Package
- Declare a Test Suite as a Model
- One Test Case per Declared Action
- Assertions in functionalP
Provenance LaTeX
Chapitre principal : Declarative Conceptual Programming with the logiCells Platform/developer-guide/chapters/testing-conceptual-models.tex.