INTRODUCTION
Les chapitres suivants sont consacrés à l'approche stochastique de la propagation des erreurs d'arrondi et de l'influence des incertitudes des données sur les résultats fournis par un programme scientifique.
C'est la seule méthode permettant à chaque ingénieur de répondre à la question posée précédemment qui en substance est : « Quel est le nombre de chiffres décimaux significatifs exacts dans les résultats fournis par un programme de calcul scientifique ? »
Ainsi, la méthode CESTAC (Contrôle et estimation stochastique des arrondis de calculs) est détaillée au chapitre 2, puis l'arithmétique stochastique est présentée au chapitre 3.
Le chapitre 4 est consacré à la description et à l'utilisation du logiciel CADNA (« Control of Accuracy and Debugging of Numerical Algorithms »). Ce logiciel met en œuvre la méthode CESTAC et l'arithmétique stochastique discrète.
Les chapitres 5 et 6 sont dédiés à l'apport du logiciel CADNA aux diverses méthodes de calcul numérique (directes, itératives et approchées) et à des exemples d'utilisation de ce logiciel. La conclusion constitue le chapitre 7.
Toute l'introduction de ces questions est faite dans le dossier 
[AF 1 470], la documentation est regroupée dans Validation des résultats des logiciels scientifiques[Doc. AF 1 470].
