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.

Geographical and temporal distribution of human giardiasis in Ontario, Canada

Affiliation: Pascal Michel : Département de pathologie et microbiologie, Faculté de médecine vétérinaire, Université de Montréal

Trafic intracellulaire de l’ARN de la télomérase chez Saccharomyces cerevisiæ : relation entre biogénèse de la télomérase et homéostasie des télomères

Le contrôle de la longueur des télomères est une étape critique régissant le potentiel réplicatif des cellules eucaryotes. A cause du problème de fin de réplication, les chromosomes raccourcissent à chaque cycle de division. Ce raccourcissement se produit dans des séquences particulières appelées télomères. La longueur des télomères est en relation directe avec les capacités prolifératives des cellules et est responsable de la limite de division de Hayflick. Cependant, dans certains types cellulaires et dans plus de 90% des cancers, la longueur des télomères va être maintenue par une enzyme spécialisée appelée télomérase. Encore aujourd’hui, comprendre la biogénèse de la télomérase et savoir comment elle est régulée reste un élément clé dans la lutte contre le cancer. Depuis la découverte de cette enzyme en 1985, de nombreux facteurs impliqués dans sa maturation ont été identifiés. Cependant, comment ces facteurs sont intégrés dans le temps et dans l’espace, afin de produire une forme active de la télomérase, est une question restée sans réponse. Dans ce projet, nous avons utilisé la levure Saccharomyces cerevisiæ comme modèle d’étude des voies de biogénèse et de trafic intracellulaire de l’ARN de la télomérase, en condition endogène. La première étape de mon travail fut d’identifier les facteurs requis pour l’assemblage et la localisation de la télomérase aux télomères en utilisant des techniques d’Hybridation In Situ en Fluorescence (FISH). Nous avons pu montrer que la composante ARN de la télomérase fait la navette entre le noyau et le cytoplasme, en condition endogène, dans les cellules sauvages. Nos travaux suggèrent que ce trafic sert de contrôle qualité puisqu’un défaut d’assemblage de la télomérase conduit à son accumulation cytoplasmique et prévient donc sa localisation aux télomères. De plus, nous avons identifié les voies d’import/export nucléaire de cet ARN. Dans une deuxième approche, nous avons réussi à développer une méthode de détection des particules télomérasiques in vivo en utilisant le système MS2-GFP. Notre iv étude montre que contrairement à ce qui a été précédemment décrit, la télomérase n’est pas associée de façon stable aux télomères au cours du cycle cellulaire. En fin de phase S, au moment de la réplication des télomères, la télomérase se regroupe en 1 à 3 foci dont certains colocalisent avec les foci télomériques, suggérant que nous visualisons la télomérase active aux télomères in vivo. La délétion des gènes impliqués dans l’activation et le recrutement de la télomérase aux télomères entraine une forte baisse dans l’accumulation des foci d’ARN au sein de la population cellulaire. Nos résultats montrent donc pour la première fois la localisation endogène de l’ARN TLC1 in situ et in vivo et propose une vue intégrée de la biogenèse et du recrutement de la télomérase aux télomères.

Analyse, à l'aide d'oculomètres, de techniques de visualisation UML de patrons de conception pour la compréhension de programmes

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Apport de nouvelles techniques dans l’évaluation de patients candidats à une chirurgie d’épilepsie : résonance magnétique à haut champ, spectroscopie proche infrarouge et magnétoencéphalographie

L'épilepsie constitue le désordre neurologique le plus fréquent après les maladies cérébrovasculaires. Bien que le contrôle des crises se fasse généralement au moyen d'anticonvulsivants, environ 30 % des patients y sont réfractaires. Pour ceux-ci, la chirurgie de l'épilepsie s'avère une option intéressante, surtout si l’imagerie par résonance magnétique (IRM) cérébrale révèle une lésion épileptogène bien délimitée. Malheureusement, près du quart des épilepsies partielles réfractaires sont dites « non lésionnelles ». Chez ces patients avec une IRM négative, la délimitation de la zone épileptogène doit alors reposer sur la mise en commun des données cliniques, électrophysiologiques (EEG de surface ou intracrânien) et fonctionnelles (tomographie à émission monophotonique ou de positrons). La faible résolution spatiale et/ou temporelle de ces outils de localisation se traduit par un taux de succès chirurgical décevant. Dans le cadre de cette thèse, nous avons exploré le potentiel de trois nouvelles techniques pouvant améliorer la localisation du foyer épileptique chez les patients avec épilepsie focale réfractaire considérés candidats potentiels à une chirurgie d’épilepsie : l’IRM à haut champ, la spectroscopie proche infrarouge (SPIR) et la magnétoencéphalographie (MEG). Dans une première étude, nous avons évalué si l’IRM de haut champ à 3 Tesla (T), présentant théoriquement un rapport signal sur bruit plus élevé que l’IRM conventionnelle à 1,5 T, pouvait permettre la détection des lésions épileptogènes subtiles qui auraient été manquées par cette dernière. Malheureusement, l’IRM 3 T n’a permis de détecter qu’un faible nombre de lésions épileptogènes supplémentaires (5,6 %) d’où la nécessité d’explorer d’autres techniques. Dans les seconde et troisième études, nous avons examiné le potentiel de la SPIR pour localiser le foyer épileptique en analysant le comportement hémodynamique au cours de crises temporales et frontales. Ces études ont montré que les crises sont associées à une augmentation significative de l’hémoglobine oxygénée (HbO) et l’hémoglobine totale au niveau de la région épileptique. Bien qu’une activation contralatérale en image miroir puisse être observée sur la majorité des crises, la latéralisation du foyer était possible dans la plupart des cas. Une augmentation surprenante de l’hémoglobine désoxygénée a parfois pu être observée suggérant qu’une hypoxie puisse survenir même lors de courtes crises focales. Dans la quatrième et dernière étude, nous avons évalué l’apport de la MEG dans l’évaluation des patients avec épilepsie focale réfractaire considérés candidats potentiels à une chirurgie. Il s’est avéré que les localisations de sources des pointes épileptiques interictales par la MEG ont eu un impact majeur sur le plan de traitement chez plus des deux tiers des sujets ainsi que sur le devenir postchirurgical au niveau du contrôle des crises.

Investigating the Impact of Personal, Temporal and Participation Factors on Code Review Quality

La révision du code est un procédé essentiel quelque soit la maturité d'un projet; elle cherche à évaluer la contribution apportée par le code soumis par les développeurs. En principe, la révision du code améliore la qualité des changements de code (patches) avant qu'ils ne soient validés dans le repertoire maître du projet. En pratique, l'exécution de ce procédé n'exclu pas la possibilité que certains bugs passent inaperçus. Dans ce document, nous présentons une étude empirique enquétant la révision du code d'un grand projet open source. Nous investissons les relations entre les inspections des reviewers et les facteurs, sur les plans personnel et temporel, qui pourraient affecter la qualité de telles inspections.Premiérement, nous relatons une étude quantitative dans laquelle nous utilisons l'algorithme SSZ pour détecter les modifications et les changements de code favorisant la création de bogues (bug-inducing changes) que nous avons lié avec l'information contenue dans les révisions de code (code review information) extraites du systéme de traçage des erreurs (issue tracking system). Nous avons découvert que les raisons pour lesquelles les réviseurs manquent certains bogues était corrélées autant à leurs caractéristiques personnelles qu'aux propriétés techniques des corrections en cours de revue. Ensuite, nous relatons une étude qualitative invitant les développeurs de chez Mozilla à nous donner leur opinion concernant les attributs favorables à la bonne formulation d'une révision de code. Les résultats de notre sondage suggèrent que les développeurs considèrent les aspects techniques (taille de la correction, nombre de chunks et de modules) autant que les caractéristiques personnelles (l'expérience et review queue) comme des facteurs influant fortement la qualité des revues de code.