Validation des résultats des logiciels scientifiques - Approche stochastique

Abstract

La methode CESTAC (Controle et estimation stochastique des arrondis de calculs) consiste a evaluer la fiabilite des resultats fournis par l'ordinateur. En effet, celui-ci realise des calculs utilisant une representation finie (nombres a virgules flottantes) des nombres reels, alors que ces nombres sont non finis. D'ou resultats avec incertitudes, erreurs d'arrondis et risque d'invalidation. Cette methode permet grâce a un procede statistique dynamique, de determiner le nombre de chiffres decimaux significatifs exacts dans les resultats fournis par un programme de calcul scientifique. Cet article decrit le principe de la methode ainsi que des exemples d'utilisation du logiciel CADNA (logiciel permettant cette validation numerique).