Les exigences AQAP 2110 et DEF STAN utilisent des identifiants normalisés (EXG-####). InnooForge extrait automatiquement chaque exigence, croise spec ↔ plan de test ↔ rapport de vérification, et construit une matrice de traçabilité bidirectionnelle exacte. Aucune exigence oubliée, aucun test orphelin.
Chaque exigence (EXG-####) doit être couverte par un test, chaque test doit pointer vers une exigence. Les audits OTAN exigent une matrice complète.
Des centaines d'exigences « shall / must / doit » dispersées dans des specs de centaines de pages. L'extraction manuelle est lente et source d'erreurs.
Les specs militaires interdisent certains termes ambigus (« environ », « should », « may »). Les auditeurs vérifient le respect du vocabulaire contrôlé.
Extrait automatiquement toutes les phrases « shall / must / doit / ne doit pas » avec numéros de ligne, plus un index des identifiants EXG-####. Pattern : \bEXG-[A-Z]{2,4}-\d{3,4}\b.
Croise spec, plan de test et rapport de vérification. Résultat : couvertes, orphelines (test sans exigence), non testées (exigence sans test). Couverture % exacte.
Linter de vocabulaire contrôlé : signale les termes interdits (environ, should, may, adequate) avec lignes exactes. Liste personnalisable selon le référentiel OTAN.
See how InnooForge and InnooTools bring deterministic, auditable verification to your regulated workflows.