Processus visant à vérifier qu'une implémentation informatique résout correctement et fidèlement le modèle mathématique visé, sans erreurs de code, défauts numériques ni incohérences algorithmiques.

Principe

Montrer que les méthodes numériques et le code reproduisent des solutions connues, convergent avec la résolution et respectent des propriétés de conservation ou de consistance ; utiliser des tests unitaires, la méthode des solutions fabriquées et des revues de code.

Démonstration

Un solveur éléments finis pour le transfert de chaleur est vérifié en reproduisant une distribution de température analytique et en montrant des taux de convergence attendus lorsque le maillage est raffiné.

Mauvaise application

Considérer que la vérification prouve que le modèle représente la réalité, sauter la vérification parce que les résultats « semblent plausibles », ou utiliser des contrôles ad hoc qui n'exercent pas les chemins critiques du code.

Conséquence

Une vérification correcte réduit le risque d'erreurs d'implémentation non détectées, fournit des tests reproductibles pour prévenir les régressions et augmente la confiance pour la validation et l'analyse d'incertitude ultérieures.

Inversion

L'échec de la vérification révèle des défauts de code ou numériques qui invalident toutes les conclusions tirées de l'implémentation ; confondre vérification et validation entraîne une confiance mal placée.

Limite

La vérification porte sur la conformité de l'implémentation au modèle mathématique spécifié ; elle ne teste pas l'adéquation de la forme du modèle, des choix de paramètres ou la capacité prédictive dans le monde réel.

Tension sémantique

Une tension apparaît avec la validation et la calibration lorsque la terminologie est imprécise ; la vérification est souvent confondue avec la validation ou omise sous la pression du temps.

Synthèse

La vérification de modèle est l'assurance méthodique que le code et les algorithmes résolvent fidèlement le modèle mathématique énoncé, constituant la base technique de la validation et des analyses ultérieures.