logo-InriaRennes logo-equipeDiverSE

Testing and Maintenance of Graphical User Interfaces

img-exposeSoutenanceValeriaLelliDantas2015

Le résumé
index des soutenances de thèse

Valéria LELLI LEITAO DANTAS

équipe DiverSE

Soutenance de thèse - Jeudi 19 novembre 2015
L'exposé [48:14 mn] Fichier téléchargeable(MP4) img-flecheHAUT

 

Composition du Jury:

Lydie du Bousquet, Professeur à l'Université Joseph Fourier (Grenoble-1)
Philippe Palanque, Professeur d’informatique, Université Toulouse III
François-Xavier Dormoy, Esterel Technologies, Toulouse
Pascale Sébillot, Professeur INSA Rennes
Benoit Baudry, CR Inria Rennes
Arnaud Blouin, McF INSA Rennes

img-flecheHAUT

Résumé:

La communauté du génie logiciel porte depuis ses débuts une attention spéciale à la qualité et la fiabilité des logiciels. De nombreuses techniques de test logiciel ont été développées pour caractériser et détecter des erreurs dans les logiciels. Les modèles de fautes identifient et caractérisent les erreurs pouvant affecter les différentes parties d’un logiciel. D’autre part, les critères de qualité logiciel et leurs mesures permettent d’évaluer la qualité du code logiciel et de détecter en amont du code potentiellement sujet à erreur. Les techniques d’analyses statiques et dynamiques scrutent, respectivement, le logiciel à l’arrêt et à l’exécution pour trouver des erreurs ou réaliser des mesures de qualité.

Dans cette thèse, nous prônons le fait que la même attention doit être portée sur la qualité et la fiabilité des interfaces utilisateurs (ou interface homme-machine, IHM), au sens génie logiciel du terme. Cette thèse propose donc deux contributions dans le domaine du test et de la maintenance d’interfaces utilisateur : 1. Classification et mutation des erreurs d’interfaces utilisateur. 2. Qualité du code des interfaces utilisateur.

Nous proposons tout d’abord un modèle de fautes d’IHM. Ce modèle a été conçu à partir des concepts standards d’IHM pour identifier et classer les fautes d’IHM ; Au travers d’une étude empirique menée sur du code Java existant, nous avons montré l’existence d’une mauvaise pratique récurrente dans le développement du contrôleur d’IHM, objet qui transforme les évènements produits par l’interface utilisateur pour les transformer en actions. Nous caractérisons cette nouvelle mauvaise pratique que nous avons appelée Blob listener, en référence à la méthode Blob. Nous proposons également une analyse statique permettant d’identifier automatiquement la présence du Blob listener dans le code d’interface Java Swing.

img-logoFlecheHaut

© 2015 Pôle audiovisuel Inria Rennes- Bretagne Atlantique