Analyse statique

L´analyse statique de code correspond à une analyse du logiciel réalisée sans exécuter le programme.
L´expression "analyse statique" est généralement utilisée pour l´analyse automatisée par un outil. La vérification du code de façon manuelle est appelée revue de code.
Le but de l´analyse statique est de trouver les défauts présents dans le logiciel.
Elle permet également de s´assurer que le code est écrit selon des régles de programmations définis, comme par exemple les règles MISRA-C. L´analyse statique mesure aussi la compléxité du code.

L´analyse statique de code est avant tout utilisée pour le développement de logiciels critiques. Par exemple, le "U.S. Food and Drug Administration (FDA)" conseille l´analyse statique de code afin d´améliorer la qualité des logiciels.

Outils

Testwell CMT++ Outil de mesure de complexité de code pour C, C++
Testwell CMTJava Outil de mesure de complexité de code pour Java
Imagix 4D Contrôles et mesures statiques
CodeSonar® (pour C, C++, Java et C#)