NF ISO 17534-1, S31-137-1 (08/2015)

Le présent document décrit les exigences de qualité et les mesures permettant de s'assurer, d'indiquer et de vérifier le degré de conformité d'un logiciel à une méthode/procédure de calcul pouvant être implémentée de façon cohérente. Le principal objectif est de s'assurer que l'application d'une méthode de calcul pouvant être implémentée de façon cohérente par différents logiciels de qualité certifiée sur un ensemble identique de données d'entrée produira les mêmes résultats dans un intervalle défini d'écarts acceptables. Il permet au développeur de ce type de logiciel de déclarer et de démontrer l'implémentation correcte d'une méthode de calcul et à l'utilisateur du logiciel de le vérifier sans nécessiter de certification par une tierce partie. Il tient compte du fait que les développeurs et utilisateurs de logiciels sont des membres de la même communauté scientifique-technique et offre des moyens et des mesures leur permettant de communiquer de façon transparente et ouverte. Le présent document ne couvre pas la question de l'exactitude de la méthode de calcul elle-même, c'est-à-dire notamment que l'accord entre les résultats calculés et les résultats obtenus par des mesures n'est pas évoqué.