Un ensemble de procédures formalisées qui vérifient si un algorithme de détermination d'orbite, sa base de code et ses sorties sont conformes aux exigences spécifiées, aux documents de conception et aux normes d'implémentation.

Principe

Confirmer, par vecteurs de test, inspections de code, suites de régression et entrées déterministes, que l'implémentation se comporte comme prévu par la spécification, indépendamment de sa représentativité du monde réel.

Démonstration

Exécuter des tests unitaires pour les noyaux de propagation d'orbite, lancer des tests software-in-the-loop avec des entrées fixes pour vérifier des sorties répétables, effectuer une revue de code pour la stabilité numérique et vérifier que les sorties d'API respectent les formats et unités documentés.

Mauvaise application

S'appuyer uniquement sur la vérification pour prétendre à l'aptitude opérationnelle ; la réussite des tests de vérification ne garantit pas que le modèle capture les biais du monde réel ou les dynamiques non modélisées.

Conséquence

Apporte la confiance que l'implémentation correspond à sa spécification, réduit les défauts logiciels et permet des pipelines reproductibles pour des activités ultérieures de validation ou de certification.

Inversion

En inversant le concept on obtient un système non spécifié ou implémenté de manière inconsistante, où les sorties peuvent varier avec des entrées identiques et la traçabilité aux exigences est perdue.

Limite

Ciblé sur la conformité : correction du code, implémentation numérique, interfaces et couverture de test. Ne prouve pas à lui seul l'adéquation à la mission ni la fidélité du modèle aux mesures physiques.

Tension sémantique

La tension provient de la validation : la vérification demande « l'avons-nous bien construit ? » tandis que la validation demande « avons-nous construit la bonne chose ? » ; les deux sont nécessaires mais distinctes.

Synthèse

Un protocole de vérification garantit que le livrable de détermination d'orbite implémente correctement la conception et les interfaces, constituant la base fiable nécessaire avant une validation plus large face à la réalité physique.