.. _U2.08.08: **u2.08.08** Utilisation de la Méthode des Solutions Manufacturées pour la vérification logicielle ================================================================================================== **Résumé :** Ce document présente l'utilisation de la Méthode des Solutions Manufacturées pour la validation logicielle de *Code_Aster* . Le principe de cette méthode est détaillé sur un exemple simple de diffusion thermique. Cet exemple nous permet de préciser l'intérêt de cette approche et particulièrement de présenter la démarche de validation qui peut être mise en œuvre. Enfin, l'implantation informatique de la Méthode des Solutions Manufacturées, basée sur l'utilisation du calcul symbolique, est détaillée. .. toctree:: :hidden: self .. toctree:: :maxdepth: 2 :numbered: Introduction Principe_g_n_ral_et_utilisation_pour_la_v_rification Bibliographie