1. Introduction

La vérification d’un logiciel scientifique consiste à s’assurer de l’absence d’erreur dans la programmation de la modélisation implantée. Une approche classique et très fiable consiste à comparer le résultat du logiciel à celui d’une solution analytique. Malheureusement, pour les problèmes complexes et/ou non-linéaires, les solutions analytiques deviennent très difficile à obtenir. C’est dans ce cadre que la Méthode des Solutions Manufacturées est particulièrement intéressante.

La Méthode des Solutions Manufacturées est une méthode de vérification de logiciels scientifiques. Il s’agit d’une méthode systématique d’obtention de solutions analytiques pour des problèmes qui peuvent être très complexes et non-linéaire. Son principe est simple: on se donne explicitement la solution à chercher sous la forme d’une expression analytique et, à partir de cette solution, on construit les données (blocages, chargements) nécessaires à l’obtention de cette solution.

Il est intéressant de noter que cette méthode est très couramment utilisée en mécanique des fluides. Ainsi l’«American Institute of Aeronautics and Astronautics» (AIAA) l’a incluse dans ses normes d’assurance qualité logicielle en 1998 [bib1] Cette pratique est beaucoup plus rare en mécanique des solides ; ainsi l’«American Society of Mechanical Engineers» (ASME) ne l’a intégrée dans sa norme qu’en 2006 [bib2], soit beaucoup plus récemment. Cela n’est pas lié à une difficulté particulière, des études poussées en mécanique des solides ayant été menées grâce à cette méthode [bib3].

Dans la suite de ce document, nous allons exposer le principe de cette méthode sur un exemple simple puis la démarche de validation applicable. Nous détaillerons ensuite la mise en œuvre informatique dans Code_Aster .