TENIR Labs · Portefeuille
REG+ et RFC · contrats et fondations
Sur cette page
Cadre et recherche
À quelles conditions une garantie tient-elle ?
Une garantie annoncée ne dit pas encore dans quelle configuration elle tient, ni quels tests permettent de la vérifier.
- Ce que vous recevez
- Références, profils candidats, résultats de vérification attribués et limites non résolues.
Explication ou démonstration sur ce site.
RESSOURCE ACCESSIBLEConsulter le standard REG
Accéder à la ressource ↗Références et contrats, non une validation
Pour savoir si cela vous correspond
- Cela peut vous aider si…
- Pour vérifier un invariant, un profil, un test ou les conditions de déploiement dont dépend une garantie.
- Ce qu’il faut pour commencer
- Version du contrat, hypothèses, source/commit de l’implémentation, manifeste, jeux de tests et preuves disponibles.
- Ce que l’on examine
- RFC-0 à RFC-7, profils REG+, compatibilité de configurations, contrats de preuve et tests de conformité limités.
- La question de départ
- Une garantie annoncée ne dit pas encore dans quelle configuration elle tient, ni quels tests permettent de la vérifier.
- Les liens avec les autres approches
- Fonde Translation, Mediation, REG-ARCH et TENIR-Gov ; l’outil publié REG Conformance v0.6.1 possède une fiche distincte.
- Disponibilité et maturité
- Dépôts publics en évolution. Catalogue signalant 144 configurations dont 42 admissibles structurellement ; cela ne prouve aucune garantie effective.
- Les limites à connaître
- Admissibilité structurelle ≠ conformité effective ; tests laboratoire ≠ certification ; dépendance au manifeste de déploiement.
- Une suite possible
- Vérifier les versions des RFC, profils et tests avant de conclure sur une implémentation particulière.
Lire les sources et les repères de version
Les disponibilités et les limites ci-dessus reflètent les sources citées. Les révisions d’artefacts non vérifiées restent indiquées.