Colloque

Analyse dynamique du logiciel: principes et bénéfices potentiels

Jean-Sébastien Neveu

Pierre Robillard

Membre a labase

Jean-Sébastien Neveu

Résumé du colloque

Une composante logicielle peut être analysée selon deux points de vue: l'analyse statique et l'analyse dynamique. La première est de loin la plus populaire à ce jour. Elle est toutefois limitée quant à l'information qu'on peut en obtenir. On réalise en effet plus ou moins qu'une caractérisation du comportement dynamique des composants logiciels pourrait être fort utile, et ce à bien des égards, dans le cycle de vie du logiciel. L'application sans doute la plus typique est la détermination du taux de couverture réalisé par un ensemble de cas de tests effectués sur une composante donnée. L'incrédulité de confiance des résultats des tests est en effet fonction du taux de couverture des tests. On peut aussi envisager caractériser des concepts tels que couplage et cohésion en termes de comportement dynamique. Ces deux exemples, choisis parmi bien d'autres, ne servent qu'à illustrer la pertinence, dès le plus avant, d'une analyse dynamique. L'étape préalable à une analyse dynamique d'un composant logiciel consiste à instrumenter ce composant. Une fois cette instrumentation établie, le code source est désigné ainsi, au moment de l'exécution (donc dynamique) du composant, à émettre des traces, les branches du graphe de contrôle qui furent empruntées lors de cette exécution particulière et dans quel ordre. C'est souvent à partir de ces traces qu'il est possible de reconstituer des informations pertinentes quant au comportement dynamique de la composante. L'outil présenté a été développé au laboratoire de Recherche en Génie Logiciel de l'École Polytechnique. Il est étroitement relié à Turing, un analyseur statique (maintenant aussi dynamique) de code source également développé à ce même endroit. Tous ces travaux sont réalisés dans le cadre d'une collaboration avec Bell Canada.

Contexte

Section :

Informatique et recherche opérationnelle

Thème du colloque :

Informatique et recherche opérationnelle

Hôte : Université du Québec à Rimouski

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Informatique et recherche opérationnelle

Pourquoi des connaissances explicites pour résoudre le problème de la Reconnaissance Automatique de…

Abdelkader Betari

Résolution d'un Problème Statique d'Allocation Armes-Menaces par Réseau de Neurones

Jean Berger

Le parallélisme dans le standard graphique "PHIGS"

Sébastien Dupont

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Informatique et recherche opérationnelle

Appliquer l'approche connexionniste à la mesure du logiciel

Jean-Sébastien Neveu

Analyse dynamique du logiciel: principes et bénéfices potentiels

Jean-Sébastien Neveu