Fouille de motifs basée sur la programmation par contraintes : Application à la localisation de fautes dans les programmes informatiques

ISBN-13: 9786202284721 / Francuski / Miękka / 2018 / 128 str.

Mehdi Maamar

Opis

La découverte de motifs est un problème fondamental en fouille de données. Les approches basées sur la programmation par contraintes (PPC) ont prouvé leur utilité et flexibilité. En effet, la PPC est un cadre adéquat pour la fouille déclarative. Les approches actuelles posent un problème de passage à l'échelle. Nous proposons, dans la première partie de cette thèse, une contrainte globale pour capturer la sémantique de l'extraction de motifs fréquents fermés. Nous présentons un algorithme de filtrage, qui maintient la consistance de domaine en un temps et espace polynomial. Servant de cadre applicatif à la fouille de données, le test logiciel est connu pour être un processus long et coûteux. La principale préoccupation, appelée localisation de fautes, est d'identifier l'origine des défaillances. Nous proposons, une approche déclarative, basée sur la fouille de données. L'approche tire profit de l'extraction de données sous contraintes, offrant la possibilité de raisonner simultanément sur des ensembles d'instructions. L'approche tient compte des dépendances existantes, ce qui reflète la notion de motif suspect.

O autorze

Mehdi Maamar, né le 29.09.1987 à Meaux, est titulaire d'un doctorat en Informatique de l'Université de Oran 1. Il a effectué un long séjour scientifique au laboratoire LIRMM - Montpellier. Actuellement, chercheur postdoctoral au laboratoire CRIL - CNRS. Ses travaux s'inscrivent en PPC, Test logiciel et Fouille de données.