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.

• 1. Introduction
• 2. Principe général et utilisation pour la vérification
  • 2.1. La Méthode des Solutions Manufacturées en thermique
  • 2.2. Techniques de vérification
  • 2.3. Aspects informatiques
• 3. Bibliographie