| L'analyse statique est au cœur des problématiques de maintenance du logiciel, ainsi que de celui de la qualité du logiciel. Il s'agit d'analyser le code source d'applications cibles à la recherche d'information à même de diminuer les coûts de maintenance, mais aussi d'estimer la qualité du produit en question. Le but est de capturer une certaine information pour la représenter sous la forme flot de données et de contrôle, d'autres pour faciliter la compréhension des programmes et supporter la maintenance des applications, et enfin d'autres, de nature numérique, sont utilisées pour estimer différents attributs de qualité.; langages. Nous pensons cependant, qu'il est possible via un modèle générique d'applications orientées objets (Java, C++, etc.), de réduire cette dépendance (jusqu'à un certain point).; Il s'agit donc de vérifier cette hypothèse et de proposer une approche supportant cette solution. |
