Projet : LANDE - lande

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00033000000000000000" id= "SECTION00033000000000000000">Débogage</a></h2>  <a name="LANDE_fondements_module-5" id= "LANDE_fondements_module-5"></a> <p><a name="Lange-debogage-didactique" id= "Lange-debogage-didactique"></a></p> <p><strong>Mots clés :</strong> <i>environnement de programmation, analyse de programme, sémantique .</i></p> <div id="glossaire" style= "margin-left: 2em;margin-right: 2em;"> <hr /> <dl title="Glossaire"> <dt><b>Erreur</b></dt> <dd><i>Une erreur est une action humaine qui fait qu'un résultat incorrect est produit par un programme. Par exemple, une erreur peut être d'intervertir deux variables A et B.</i></dd> <dt><b>Faute</b></dt> <dd><i>Une faute est une étape, un processus ou une définition de données erronés dans un programme. Une erreur peut générer une ou plusieurs fautes. Par exemple, une faute induite par l'erreur citée plus haut peut être qu'un test d'arrêt d'une boucle se fait sur A qui n'est pas mise à jour.</i></dd> <dt><b>Panne</b></dt> <dd><i>Une panne est l'incapacité d'un programme à effectuer ses fonctionnalités requises. Une faute peut générer une ou plusieurs pannes [<a href= "bibliographie_Toc.html#ansi83" target= "contents">ANS</a>]. Un exemple de panne résultant de la faute citée plus haut est que le programme ne termine pas.</i></dd> </dl> <hr /> </div> <h3>Résumé :</h3> <div class="ABSTRACT"> <i>Le débogage consiste à localiser et corriger les fautes qui sont responsables des pannes logicielles. Le débogage est une activité cognitive complexe qui nécessite, en général, de remonter jusqu'à l'erreur humaine pour comprendre les raisons des fautes qui ont engendré les pannes.</i> <p><i>Il existe des outils, communément appelés <em>débogueurs</em>, qui aident le programmeur à identifier les comportements non-attendus du programme. Ces outils donnent une image (appelée <em>trace</em>) des détails de l'exécution des programmes. On peut identifier trois tâches principales pour la réalisation d'un véritable débogueur. La première tâche consiste à déterminer les informations qui doivent apparaître dans la trace. La deuxième tâche est la mise en oeuvre des traceurs. La troisième tâche consiste à automatiser le filtrage et l'analyse des traces d'exécution afin de donner des informations pertinentes au programmeur qui peut ainsi se concentrer sur le processus cognitif.</i></p> </div> <p>Le débogage consiste à localiser et corriger les fautes qui sont responsables des pannes logicielles. Une panne peut être détectée après une exécution, par exemple à la suite de phases de test (cf module <a href= "fonde_module-6_Toc.html#letest">3.4</a>) ou lors d'une phase de vérification formelle. La première situation, la plus fréquente dans la pratique actuelle, correspond à ce qu'on appelle le <em>débogage dynamique</em> ; la seconde sera qualifiée de <em>débogage statique</em>. Dans les deux cas, l'objectif visé est de faire cesser les pannes identifiées.</p> <p>Le débogage est une activité cognitive complexe qui nécessite, en général, de remonter jusqu'à l'erreur humaine pour comprendre les raisons des fautes qui ont engendré les pannes. Une panne est un symptÔme de faute qui se manifeste en un comportement erroné du programme. Bien souvent le programmeur ne maîtrise pas toutes les facettes du comportement d'un programme. Par exemple, des points de sémantique opérationnelle du langage peuvent lui échapper, le programme peut être trop complexe, ou les librairies utilisées peuvent avoir une documentation obscure. Nous présentons dans un premier temps la problématique du débogage dynamique avant de résumer les particularités introduites par le débogage statique.</p> <p>Pour ce qui est du débogage dynamique, il existe des outils, communément appelés <em>débogueurs</em>, qui aident le programmeur à identifier les comportements du programme qui ne correspondent pas à l'idée qu'il s'en faisait. Ces outils, qui devraient plutÔt s'appeler <em>traceurs</em>, donnent une image (appelée <em>trace</em>) des détails de l'exécution des programmes. Une trace est composée d' <em>événements</em> remarquables.</p> <p>On peut identifier trois tâches principales pour la réalisation d'un véritable débogueur dynamique :</p> <ol> <li>La première tâche consiste à déterminer les informations qui doivent apparaître dans la trace. La trace est calquée sur la sémantique opérationnelle du langage sans forcément en donner tous les détails. Elle fournit une abstraction des étapes de calcul dont l'objectif est la compréhension par l'utilisateur du comportement des programmes. Elle dépend donc du langage et du type d'utilisateur potentiel.</li> <li>La deuxième tâche est la mise en oeuvre des traceurs qui nécessite l'insertion d'instructions de trace dans les mécanismes d'exécution des programmes (appelée <em>instrumentation</em> dans la suite). Cette instrumentation peut se faire à différents niveaux : dans le code source, dans le compilateur ou dans l'émulateur quand il en existe un. La pratique courante consiste à instrumenter à un niveau bas [<a href= "bibliographie_Toc.html#rosenberg96" target= "contents">Ros96</a>] mais plus l'instrumentation est faite à un niveau haut, plus elle est portable.</li> <li>Quand le programmeur dispose d'un traceur, il lui reste à analyser les traces pour comprendre les comportements des programmes et localiser les fautes. Cependant ces traces donnent souvent trop de détails par rapport à la panne analysée. La troisième tâche consiste à automatiser le filtrage et l'analyse des traces d'exécution afin de donner des informations plus pertinentes au programmeur qui peut ainsi se concentrer sur son processus cognitif.</li> </ol> <p>La dichotomie débogueur statique / débogueur dynamique reflète tout à fait la distinction introduite plus haut (module <a href= "fonde_module-4_Toc.html#analyse-programmes">3.2</a>) entre analyse statique et analyse dynamique. De fait, un débogueur statique peut être vu comme un analyseur statique dédié à la vérification de certaines classes de propriétés et intégré dans un outil interactif. L'interaction doit permettre à l'utilisateur de vérifier certaines hypothèses sur le comportement du programme et d'identifier d'éventuelles causes de dysfonctionnement sans exécuter le programme. Les trois tâches identifiées plus haut pour le débogage dynamique se retrouvent <em>mutatis mutandis</em> dans le contexte du débogage statique : les traces sont alors des abstractions de la sémantique opérationnelle du langage (cf module <a href="fonde_module-3_Toc.html#semantiques">3.1</a>) et le filtrage réalise une approximation permettant de rendre décidable la propriété recherchée.</p> </body>