PD-235 — Scénarios de tests contractuels¶

TEST-ID: TC-NOM-01
Référence spec: Flux F1, INV-01, CA-01

GIVEN
  - Un environnement "E" (non-prod ou prod) déclaré comme opérationnel
WHEN
  - Le document de découverte OIDC de l’environnement "E" est demandé
THEN
  - Le document de découverte est accessible
AND
  - Le document de découverte contient des métadonnées OIDC exploitables (issuer, endpoints et référence JWKS)
AND
  - L’issuer publié est stable et cohérent pour l’environnement "E"

TEST-ID: TC-NOM-02
Référence spec: Flux F2/F3, INV-04, INV-06, CA-02

GIVEN
  - Un token "T" émis par l’IdP de l’environnement "E"
WHEN
  - La signature du token "T" est vérifiée à l’aide du JWKS publié par l’environnement "E"
THEN
  - La vérification cryptographique du JWT réussit
AND
  - La vérification est réalisable sans appel en ligne à l’IdP (hors récupération du JWKS)

AND (contrôle négatif intégré)
  - Si la signature de "T" est altérée, la vérification échoue de manière déterministe

TEST-ID: TC-NOM-03
Référence spec: Flux F3, INV-03, CA-03

GIVEN
  - Deux environnements isolés "A" et "B"
  - Un token "T_A" émis par l’IdP de l’environnement "A"
WHEN
  - Le token "T_A" est présenté comme preuve d’identité dans le contexte de consommation de l’environnement "B"
THEN
  - Le token est rejeté par les règles de validation de l’environnement "B"
AND
  - Aucun accès n’est accordé sur la base de "T_A" dans l’environnement "B"

TEST-ID: TC-NEG-05
Référence spec: INV-IAM-08, CA-03

GIVEN
  - Un token "T_A" émis par l’issuer autorisé de l’environnement "A"
WHEN
  - Le token "T_A" est présenté dans l’environnement "B"
THEN
  - Le token est rejeté car son `iss` ne correspond pas à l’environnement "B"
AND
  - Aucun accès n’est accordé

TEST-ID: TC-NOM-04
Référence spec: INV-05, CA-04

GIVEN
  - Une instance IdP déployée pour l’environnement "E"
WHEN
  - Les paramètres de configuration et artefacts d’exploitation de l’IdP sont inspectés (configuration, variables d’environnement, secrets référencés, export de configuration)
THEN
  - Aucune clé de chiffrement applicative ProbatioVault et aucun secret applicatif ProbatioVault n’est présent dans l’IdP
AND
  - Les seuls secrets présents sont strictement nécessaires au fonctionnement IdP (ex: secrets propres à l’IdP)
AND
  - Une politique de rétention des journaux est documentée et applicable
AND
  - Les journaux historiques sont consultables sur la période de rétention exigée

## 4. Scénarios de test – Cas d’erreur

## 5. Tests d’invariants (non négociables)

| Invariant | Test(s) dédiés | Observable | Commentaire |
| --------- | -------------- | ---------- | ----------- |
| INV-01 | TC-NOM-01 | Endpoint / contenu discovery | Socle transverse : exposition OIDC |
| INV-02 | TC-INV-02, TC-INV-03 | Artefacts d’exploitation | Auto-hébergement / contrôle opérationnel |
| INV-03 | TC-NOM-03, TC-NEG-05 | Rejet / absence d’accès | Isolation env (issuer distinct) |
| INV-04 | TC-NOM-02, TC-ERR-02 | Vérification crypto | JWT signés vérifiables |
| INV-05 | TC-NOM-04 | Inspection config / secrets | Pas de clés applicatives |
| INV-06 | TC-NOM-02, TC-NOM-05, TC-ERR-02 | Stabilité des rejets, logs | Déterminisme + audit |
| INV-IAM-01 | TC-NOM-02 | Claim iss autorisé | Issuer liste fermée |
| INV-IAM-02 | TC-NOM-02 | Audience autorisée | Audience liste fermée |
| INV-IAM-03 | TC-NOM-02 | Algorithme autorisé | Liste fermée |
| INV-IAM-04 | TC-NOM-02 | Claims requis présents | Claims obligatoires |
| INV-IAM-05 | TC-NOM-02 | Contraintes temporelles | exp/nbf/iat avec skew |
| INV-IAM-06 | TC-NOM-02 | Flux autorisé | Flux client ↔ token |
| INV-IAM-07 | TC-NOM-03, TC-NEG-05 | Isolation environnement | Rejet cross-env |
| INV-IAM-08 | TC-NEG-05 | iss autre environnement rejeté | Cloisonnement |
| INV-IAM-09 | TC-NOM-04, TC-NOM-05, TC-NOM-06, TC-NEG-06 | Logs structurés sans secrets + rétention démontrable | Journalisation normative |
| INV-IAM-10 | TC-INV-02, TC-INV-03 | Artefacts opposables disponibles | Preuve absence secrets appli |
| INV-IAM-11 | TC-ERR-03 | Signal indisponibilité observé | Fail-closed IdP |

## 6. Tests de non-régression

| Test ID | Objet | Observable | Commentaire |
| ------- | ----- | ---------- | ----------- |
| TC-NR-01 | Stabilité du discovery OIDC | Diff du document | Toute modification est détectable |
| TC-NR-02 | Stabilité du JWKS | Diff du JWKS / rotation | Rotation détectable et cohérente |
| TC-NR-03 | Isolement env | Rejet inter-env | Aucun contournement après changement infra |

## 7. Tests négatifs et adversariaux

| Test ID | Entrée invalide / abus | Résultat attendu | Observable |
| ------- | ---------------------- | ---------------- | ---------- |
| TC-NEG-01 | Token signé par un autre issuer | Rejet systématique | Vérification JWT + logs |
| TC-NEG-02 | Présentation d’un token expiré | Rejet systématique | Rejet + logs |
| TC-NEG-03 | Utilisation d’un token d’un autre environnement | Rejet systématique | Rejet + logs |
| TC-NEG-04 | Tentative d’obtenir un token sans identité valide | Aucun token émis | Absence de token + logs |
| TC-NEG-05 | Token avec `iss` d’un autre environnement | Rejet systématique | Rejet + logs |
| TC-NEG-06 | Journalisation contenant un token ou secret | Rejet / filtrage des logs | Logs/audit |