Un analyseur de trace extensible pour l'automatisation du debogage

par MIREILLE DUCASSE

Thèse de doctorat en Informatique

Sous la direction de Yves Bekkers.

Soutenue en 1992

à Rennes 1 .

    mots clés mots clés


  • 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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 175 REF

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : D-DUC
  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1992/77
  • Bibliothèque : Ecole nationale supérieure de sciences appliquées et de technologie. Bibliothèque.
  • Disponible pour le PEB
  • Cote : D 2. DUC.
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.