Recette et validation

Le dossier de recette OC2-Edge compte 721 exigences réparties sur 23 domaines. Il rattache ces exigences à 1 896 références de test. Les chiffres proviennent de la matrice de traçabilité générée.

Statuts

Statut	Signification	Conséquence
IMPLÉMENTÉ	Le comportement est codé et couvert par au moins un test automatisé passant.	Recevable immédiatement.
PARTIEL	Le cœur de logique est codé et testé. Un maillon d’intégration reste à réaliser.	Recette partielle.
PLANIFIÉ	Le comportement est spécifié. Le code n’est pas encore écrit.	Recette différée.

Le statut est factuel. Il découle du code et des tests, pas d’une appréciation.

Synthèse

Indicateur	Valeur
Domaines spécifiés	23
Exigences totales	721
IMPLÉMENTÉ	553
PARTIEL	132
PLANIFIÉ	36
Exigences couvertes par au moins un test	686
Références de test	1 896

Codification

Chaque exigence suit le format :

SPEC-<DOM>-<NNN>

Chaque test suit le format :

TST-<DOM>-<NNN><lettre>

Un identifiant ne doit pas être recyclé. Une exigence supprimée retire son numéro de la circulation.

Gabarit d’exigence

### SPEC-<DOM>-<NNN> : <titre court>

- Statut : IMPLÉMENTÉ | PARTIEL | PLANIFIÉ
- Source : Spécifiée | Non spécifiée, reconstituée depuis le code
- Implémentation : <crate / package / fichier(:ligne)>
- Priorité recette : critique | majeure | mineure

**Exigence.** <énoncé unique, prescriptif, vérifiable, acteur nommé.>

**Couverture.** <cas nominal, cas limites, cas d'erreur, comportement dégradé.>

Une exigence sans test automatisé doit indiquer Aucun test automatisé rattaché et le motif.

Vérification par un intégrateur

Un intégrateur doit pouvoir choisir une exigence, lire son implémentation, exécuter le test cité et obtenir le résultat attendu. La documentation doit donc publier des chemins de preuve, pas seulement des assertions.