Analyse de la duplication de code dans les programmes logiques

Projet: Projet de thèse

Détails du projet

Description

La présence de code source dupliqué dans un programme est une indication essentielle du fait que le programme peut être amélioré. La notion de duplication fait référence à la présence de fragments de code similaires d'un point de vue textuel ou fonctionnel (dans ce cas, avec une implémentation éventuellement différente), souvent appelés "clones".

Ainsi, l'objectif principal de cette thèse est l'élaboration d'une théorie de la duplication de code pour le paradigme de programmation logique. Cette théorie servira de support pour le développement d'une analyse permettant de détecter automatiquement la présence de duplication dans un programme logique. Enfin, sur base de ce travail seront proposées certaines transformations automatiques de programme, liées à la suppression et/ou à la manipulation de la duplication.
statutFini
Les dates de début/date réelle1/10/091/10/13

mots-clés

  • detection de duplication de code
  • programmation logique
  • ingenierie du logiciel
  • optimisation de programme
  • analyse de programme
  • détection de duplication de code
  • ingénierie du logiciel