Analyse Statique De Programmes


Analyse Statique De Programmes

Analyse statique de programmes

En informatique, la notion d'analyse statique de programmes couvre une variété de méthodes utilisées pour obtenir des informations sur le comportement d'un programme lors de son éxécution sans réellement l'exécuter. C'est cette dernière restriction qui distingue l'analyse statique des analyses dynamiques (comme le débogage ou le profiling) qui sont concernés par le suivi de l'exécution du programme.

L'analyse statique est utilisée pour repérer des erreurs de programmation ou de conception, mais aussi pour déterminer la facilité ou la difficulté à maintenir le code.

Sommaire

Méthodes formelles

L'analyse statique englobe une famille de méthodes formelles qui dérivent automatiquement de l'information sur le comportement de logiciels ou de matériels informatiques. Une application possible de l'analyse statique est l'aide automatisée au débogage, en particulier la recherche d'erreurs à l'exécution – grosso modo, des évènements qui forcent le programme à « planter ».

L'analyse de programmes – y compris la recherche d'erreurs possibles à l'exécution – est indécidable : il n'existe aucune méthode « mécanique » qui peut toujours répondre sans se tromper au vu d'un programme si celui-ci peut ou non produire des erreurs à l'exécution. Ceci est un résultat mathématique fondé sur des résultats d'Alonzo Church, Kurt Gödel et Alan Turing dans les années 1930 (voir le problème de l'arrêt et le théorème de Rice).

Cependant, l'application d'un certain nombre de principes lors du codage permet de réduire le risque d'erreurs à l'exécution et ont en outre l'avantage de faciliter la maintenance du code. Par exemple, le fait de ne pas combiner une affectation et un test réduit le risque lié à l'ordre dans lequel les instructions sont exécutées. Autre exemple, le fait d'avoir des instructions de branchement imbriquées sur trop de niveaux est généralement l'indice d'une complexité du code, qui induit une difficulté à le comprendre et à le tester par la suite. Ce genre de motifs (ou patterns en anglais) sont retrouvés en analysant l'arbre syntaxique du code à l'aide d'un parser, de règles de codage et de métriques.

Il existe deux grandes familles d'analyses statiques formelles de programmes :

Relecture de code

Une autre méthode d'analyse statique, parmi les plus empiriques, consiste à faire lire le code source d'une application par une personne expérimentée mais extérieure à l'équipe de développement. Ceci permet de porter un regard neuf sur le code, du point de vue de sa conception comme de sa réalisation.

La relecture de code peut être guidée par des résultats obtenus par des méthodes d'analyse automatique du code, notamment parmi celles qui cherchent à évaluer la complexité du code et le respect de règles éventuelles de codage.

Outils d'analyse statique

L'intérêt du monde industriel pour des outils d'analyse statique, spécialement pour le développement de logiciels critiques, s'est développé à la suite de l'explosion du vol inaugural de la fusée Ariane 5 à cause d'un bogue informatique – sans doute un des bogues les plus chers de l'histoire[1].

Voir aussi

Liens externes


Notes et références

Ce document provient de « Analyse statique de programmes ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Analyse Statique De Programmes de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Analyse statique de programmes — En informatique, la notion d analyse statique de programmes couvre une variété de méthodes utilisées pour obtenir des informations sur le comportement d un programme lors de son exécution sans réellement l exécuter. C est cette dernière… …   Wikipédia en Français

  • Analyse dynamique de programmes — L analyse dynamique de programmes est une analyse réalisées sur un programme informatique en l exécutant sur un vrai processeur ou un processeur virtuel. Pour que l analyse dynamique de programme produise des résultats intéressants, le programme… …   Wikipédia en Français

  • Analyse Des Logiques Subjectives — L analyse des logiques subjectives est une méthode originale d’analyse du discours. Sommaire 1 Présentation sommaire de l’Analyse des Logiques Subjectives (A.L.S.) 1.1 Définition 1.2 Les séries (déf …   Wikipédia en Français

  • Analyse des Logiques Subjectives — L analyse des logiques subjectives est une méthode originale d’analyse du discours. Sommaire 1 Présentation sommaire de l’Analyse des Logiques Subjectives (A.L.S.) 1.1 Définition 1.2 Les séries (déf …   Wikipédia en Français

  • Analyse des logiques subjectives — L analyse des logiques subjectives est une méthode originale d’analyse du discours. Sommaire 1 Présentation sommaire de l’Analyse des Logiques Subjectives (A.L.S.) 1.1 Définition 1.2 Les séries (déf …   Wikipédia en Français

  • Dualité dans les programmes d'optimisation — Multiplicateur de Lagrange Pour les articles homonymes, voir Théorème de Lagrange. La méthode des multiplicateurs de Lagrange permet de trouver un optimum, sur la figure le point le …   Wikipédia en Français

  • FRANCE - Analyse institutionnelle et politique (1970-1988) — La Ve République continue. La formule, qui aurait pu être utilisée en 1969, après la démission du général de Gaulle, s’impose quelque vingt ans plus tard, après la réélection du plus constant de ses adversaires, François Mitterrand. Ainsi les… …   Encyclopédie Universelle

  • Contrôle de code — Analyse statique de programmes En informatique, la notion d analyse statique de programmes couvre une variété de méthodes utilisées pour obtenir des informations sur le comportement d un programme lors de son éxécution sans réellement l exécuter …   Wikipédia en Français

  • Sonar (Qualité logicielle) — Tableau de bord Sonar …   Wikipédia en Français

  • FindBugs — Développeur William Pugh (Université du Maryland) Dernière version …   Wikipédia en Français