An empirical study of the impact of two antipatterns on program comprehension

Les antipatrons sont de “mauvaises” solutions à des problèmes récurrents de conception logicielle. Leur apparition est soit due à de mauvais choix lors de la phase de conception soit à des altérations et des changements continus durant l’implantation des programmes. Dans la littérature, il est généralement admis que les antipatrons rendent la compréhension des programmes plus difficile. Cependant, peu d’études empiriques ont été menées pour vérifier l’impact des antipatrons sur la compréhension. Dans le cadre de ce travail de maîtrise, nous avons conçu et mené trois expériences, avec 24 sujets chacune, dans le but de recueillir des données sur la performance des sujets lors de tâches de compréhension et d’évaluer l’impact de l’existence de deux antipatrons, Blob et Spaghetti Code, et de leurs combinaisons sur la compréhension des programmes. Nous avons mesuré les performances des sujets en terme : (1) du TLX (NASA task load index) pour l’éffort ; (2) du temps consacré à l’exécution des tâches ; et, (3) de leurs pourcentages de réponses correctes. Les données recueillies montrent que la présence d’un antipatron ne diminue pas sensiblement la performance des sujets alors que la combinaison de deux antipatrons les entrave de façon significative. Nous concluons que les développeurs peuvent faire face à un seul antipatron, alors que la combinaison de plusieurs antipatrons devrait être évitée, éventuellement par le biais de détection et de réusinage.

A unified framework for the comprehension of software's time dimension

Les logiciels sont de plus en plus complexes et leur développement est souvent fait par des équipes dispersées et changeantes. Par ailleurs, de nos jours, la majorité des logiciels sont recyclés au lieu d’être développés à partir de zéro. La tâche de compréhension, inhérente aux tâches de maintenance, consiste à analyser plusieurs dimensions du logiciel en parallèle. La dimension temps intervient à deux niveaux dans le logiciel : il change durant son évolution et durant son exécution. Ces changements prennent un sens particulier quand ils sont analysés avec d’autres dimensions du logiciel. L’analyse de données multidimensionnelles est un problème difficile à résoudre. Cependant, certaines méthodes permettent de contourner cette difficulté. Ainsi, les approches semi-automatiques, comme la visualisation du logiciel, permettent à l’usager d’intervenir durant l’analyse pour explorer et guider la recherche d’informations. Dans une première étape de la thèse, nous appliquons des techniques de visualisation pour mieux comprendre la dynamique des logiciels pendant l’évolution et l’exécution. Les changements dans le temps sont représentés par des heat maps. Ainsi, nous utilisons la même représentation graphique pour visualiser les changements pendant l’évolution et ceux pendant l’exécution. Une autre catégorie d’approches, qui permettent de comprendre certains aspects dynamiques du logiciel, concerne l’utilisation d’heuristiques. Dans une seconde étape de la thèse, nous nous intéressons à l’identification des phases pendant l’évolution ou pendant l’exécution en utilisant la même approche. Dans ce contexte, la prémisse est qu’il existe une cohérence inhérente dans les évènements, qui permet d’isoler des sous-ensembles comme des phases. Cette hypothèse de cohérence est ensuite définie spécifiquement pour les évènements de changements de code (évolution) ou de changements d’état (exécution). L’objectif de la thèse est d’étudier l’unification de ces deux dimensions du temps que sont l’évolution et l’exécution. Ceci s’inscrit dans notre volonté de rapprocher les deux domaines de recherche qui s’intéressent à une même catégorie de problèmes, mais selon deux perspectives différentes.

L'ésotérisme de la dramaturgie platonicienne : un regard sur le Banquet et le Phédon

Le présent mémoire se penche sur la dramaturgie que mettent en scène le Banquet et le Phédon de Platon. Dans le cas du premier dialogue, une étude de l'épilogue et du discours d'Alcibiade, assortie de parallèles ponctuels dans la République et la Lettre VII, permet de déceler un exemple de la rétention d'information platonicienne, telle que comprise sous l'égide des écoles platoniciennes de Tübingen et de Milan, de même qu'une attestation de l'existence de doctrines non-écrites qualitativement supérieures à celles que renferment les dialogues. L'épilogue du Banquet fait ensuite, à la lumière des conclusions susmentionnées, l'objet d'une interprétation qui distingue trois niveaux de lecture des dialogues platoniciens : l'extériorité, l'intériorité et l'oralité philosophique, symbolisées respectivement par le poète comique Aristophane, le poète tragique Agathon et le poète philosophique Socrate. Il va de soi que ce dernier renvoie sémantiquement au philosophe par excellence, titre que Platon endosse volontiers. L'essai exégétique touchant le Phédon se concentre pour sa part sur la dernière volonté de Socrate. Celle-ci survient au dénouement de la partie la plus « dramaturgique » du dialogue, c'est-à-dire après les discours proprement philosophiques sur l'immortalité de l'âme. En ciblant ces moments, de même que l'introduction, nous distinguons l'adjonction des tons tragique et comique, illustrant par là un procédé inhabituel dont le but, ultimement, est de soustraire le dialogue au registre tragique afin d'éviter la propagation d'émotions contraires à la philosophie. En exploitant l'oxymore comique-tragique sur un plan mimétique, nous montrerons que la dernière volonté de Socrate véhicule un dessein parénétique.