Prestat, Dimitri
(2023).
« DYNAMICS : étude empirique, spécification et détection dynamique des défauts de code comportementaux dans les applications mobiles » Thèse.
Montréal (Québec, Canada), Université du Québec à Montréal, Doctorat en informatique.
Fichier(s) associé(s) à ce document :
Résumé
Les défauts de code sont le résultat de mauvais choix de conception au sein des systèmes logiciels qui complexifient le code source et entravent l’évolution et les performances. Par conséquent, la détection des défauts de code dans les systèmes logiciels est une priorité importante pour réduire la dette technique. En outre, l’émergence des applications mobiles (apps) a fait apparaître de nouveaux types de défauts de code spécifiques à Android, qui sont liés aux limitations et aux contraintes sur les ressources comme la mémoire, les performances et la consommation d’énergie. Parmi ces défauts de code spécifiques à Android, on trouve ceux qui décrivent un comportement inapproprié pendant l’exécution et qui peuvent avoir un impact négatif sur la qualité du logiciel. Ces derniers sont considérés comme des défauts de code comportementaux. Les outils de détection des défauts de code utilisant de l’analyse statique présentent toutefois des limites pour la détection de ces défauts de code comportementaux, et la détection correcte de ces derniers nécessite la prise en compte du comportement dynamique des applications. Tout d’abord, nous fournissons une étude empirique qui compare les résultats des outils de détection de la littérature, avec les définitions textuelles de sept défauts de code comportementaux décrits dans la littérature. Cette étude empirique vise à répondre à deux questions de recherche. Premièrement, les outils de détection sont-ils efficaces pour détecter les défauts de code comportementaux ? Deuxièmement, les défauts de code comportementaux détectés par les outils sont-ils cohérents avec leur définition littérale originale ? Enfin, afin de détecter dynamiquement les défauts de code comportementaux, nous proposons trois contributions : (1) une méthode, la méthode Dynamics, une méthode étape par étape pour la spécification et la détection dynamique des défauts de code comportementaux d’Android ; (2) un outil, l’outil Dynamics, mettant en oeuvre cette méthode sur sept défauts de code ; et (3) une validation de notre approche. Notre méthode se compose de quatre étapes : (1) la spécification des défauts de code ; (2) l’instrumentation de l’application ; (3) l’exécution des applications ; et (4) la détection des défauts de code comportementaux. Nos résultats montrent que de nombreux cas de défauts de code, qui ne peuvent pas être détectés avec des outils de détection statiques, sont effectivement détectés de façon précise avec notre approche dynamique.
_____________________________________________________________________________
MOTS-CLÉS DE L’AUTEUR : Android, défaut de code, défaut de code comportemental, spécification, détection, étude empirique, applications mobiles, comportement, analyse dynamique
| Type: |
Thèse ou essai doctoral accepté
|
| Informations complémentaires: |
Fichier numérique reçu et enrichi en format PDF/A. |
|
Directeur de thèse: |
Moha, Naouel |
| Mots-clés ou Sujets: |
Défauts de code / Applications mobiles / Android |
| Unité d'appartenance: |
Faculté des sciences > Département d'informatique |
| Déposé par: |
Service des bibliothèques
|
| Date de dépôt: |
15 sept. 2023 10:28 |
| Dernière modification: |
15 sept. 2023 10:28 |
| Adresse URL : |
http://archipel.uqam.ca/id/eprint/16970 |
RECHERCHER
PARCOURIR
LIBRE ACCÈS
