Un analyseur de trace extensible pour l'automatisation du debogage

An extendable trace analyser to support automated debugging

• Auteur / Autrice : MIREILLE DUCASSE
• Direction : Yves Bekkers
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1992
• Etablissement(s) : Rennes 1

Mots clés

Mots clés libres

Sciences appliquees

Informatique, automatique theorique, systemes

Genie logiciel

Environnement de programmation

Debogage

Trace d'execution

Analyse de programme

Comprehension de programme

Prolog

Résumé

Le memoire decrit les aspects novateurs d'opium, un environnement de debogage pour prolog, construit au-dessus d'un traceur existant, et l'etendant a un analyseur de trace general. Premierement, opium offre un puissant langage de requetes portant sur des traces d'execution. Avec seulement deux primitives et prolog les utilisateurs peuvent specifier des requetes plus precises qu'avant les commandes des autres traceurs. Deuxiemement, opium est programmable et extensible. C'est, de ce fait, un environnement dans lequel des strategies de debogage peuvent etre facilement programmees et integrees. Quelques strategies ont deja ete implantees. Troisiemement, des vues abstraites d'executions sont proposees comme base d'un debogueur automatise. Ces vues aident les utilisateurs a comprendre le comportement des programmes en parcourant les executions a un niveau d'abstraction plus eleve qu'avec des traceurs pas-a-pas. Un prototype robuste d'opium a ete implante. Plus de 20 sites universitaires ont recemment installe ce prototype, et certains de ces sites implantent de nouvelles extensions