Extraction and Analysis of Knowledge for Automatic Software Repair

Matias Martinez 1
1 SPIRALS - Self-adaptation for distributed services and large software systems
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Résumé : La correction des défauts logiciels est une activité fréquente dans le cycle de vie du logiciel. Cette activité vise à éliminer l'écart entre le comportement attendu d'un programme et ce qu'il fait réellement. Ces dernières années, plusieurs approches automatiques de réparation de logiciels ont vu le jour pour synthétiser automatiquement des corrections des défauts. Malheureusement, cela est une activité difficile et coûteuse. Nous visons à ajouter aux approches des stratégies pour optimiser la recherche des solutions. Nous réalisons des études empiriques sur les changements du logiciel au cours de son histoire, pour comprendre comment le logiciel est réparé par les développer. Nous présentons aussi une stratégie d’optimisation qui utilise cette information extraite. Pour valider les approches et les stratégies, nous nous concentrons sur l'évaluation des méthodes de réparation automatique. Nous visons à introduire des procédures qui définissent comment les recherches peuvent évaluer ses approches de réparation de manière significative. Pour exemple, la performance d’une approche de réparation dépend des jeux de données de défauts que les recherches utilisent dans l’évaluation de cette approche. Nous définissons d'abord une méthode pour définir des jeux de données de défauts qui réduisent au minimum la possibilité de résultats biaisés. Ensuite, nous présentons un jeu de données qui comprend un type particulier de défaut: les défauts en instructions conditionnelles. Finalement, nous cherchons à mesurer la réparabilité de ce type de défaut en évaluant trois approches de réparation automatique du logiciel.
Type de document :
Thèse
Software Engineering [cs.SE]. Université Lille 1, 2014. English
Liste complète des métadonnées

Littérature citée [112 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/tel-01078911
Contributeur : Matias Martinez <>
Soumis le : jeudi 30 octobre 2014 - 16:12:07
Dernière modification le : jeudi 11 janvier 2018 - 06:25:38
Document(s) archivé(s) le : lundi 2 février 2015 - 16:12:15

Identifiants

  • HAL Id : tel-01078911, version 1

Citation

Matias Martinez. Extraction and Analysis of Knowledge for Automatic Software Repair. Software Engineering [cs.SE]. Université Lille 1, 2014. English. 〈tel-01078911〉

Partager

Métriques

Consultations de la notice

614

Téléchargements de fichiers

614