Examiner un calcul nécessite de connaître les données, règles et version du moteur qui ont produit le résultat. Le reproduire ultérieurement nécessite aussi de conserver les conditions d’exécution qui influencent le calcul.

Enregistrements et contrôles d’intégrité

Un enregistrement de calcul peut comprendre les données versionnées, le profil contractuel sélectionné, les règles d’arrondi, la version du moteur et le résultat. Une empreinte enregistrée permet de détecter une modification des entrées sérialisées ou des résultats. Pour en identifier la cause, il faut comparer les enregistrements versionnés ; l’empreinte seule n’indique pas quelle entrée a changé.

Tests de répétabilité

Un test de répétabilité exécute un jeu de données fixe dans des conditions définies et compare le résultat à une sortie attendue. Toute modification de cette sortie nécessite une justification examinée. La reproductibilité entre plateformes requiert également des contrôles sur les plateformes prises en charge.

Fixer l’ordre d’accumulation lorsque les arrondis en virgule flottante peuvent affecter les résultats.
Définir les points d’arrondi et les règles de sérialisation.
Enregistrer la version du moteur et les dépendances d’exécution pertinentes.
Distinguer l’égalité des résultats numériques de l’identité binaire des fichiers PDF ou tableurs, qui peuvent contenir des métadonnées variables.

Contexte produit

L’exemple fourni de Road Designer propose des données d’entrée et des livrables pour évaluation. Cet exemple seul ne démontre pas l’identité binaire des résultats entre machines. Le processus de calcul de paiement versionné de Maître d’Ouvrage est un objectif de développement, et non une fonction actuellement déployée.

Reproductibilité et justesse

Un résultat reproductible peut rester erroné. La justesse nécessite une validation sur des cas de référence, les règles applicables et les hypothèses du projet. Les contrôles provisoires de SmartBar restent donc soumis à validation technique et à l’examen d’un ingénieur structure.