Abstract FR:

L'objectif de cette these est de proposer un ensemble coherent d'outils permettant d'analyser le comportement d'une application repartie au cours d'une execution. Nous nous interessons tout d'abord au probleme de l'observation. Dans l'approche adoptee, le comportement de l'application observee est modelise sous la forme d'un ensemble partiellement ordonne d'etats locaux. Une adequation entre l'analyse effectuee et l'ensemble des etats locaux pris en compte est obtenue en choisissant un niveau d'observation adapte. La definition d'une relation de dependance entre les etats locaux selectionnes permet d'expliquer le deroulement du calcul effectue en fonction des interactions entre processus qui se manifestent lors des echanges de messages. Dans une seconde partie, nous abordons le probleme de la reproduction d'un comportement prealablement observe. Dans le cas particulier ou l'application est specifiee dans un langage proche du langage estelle, un mecanisme de reexecution post mortem et un mecanisme de reexecution au vol sont etudies, implementes et compares. La derniere partie est consacree a la presentation d'outils d'analyse permettant de visualiser le deroulement du calcul, de detecter des proprietes et d'effectuer des mesures de performances. Une nouvelle classe de proprietes instables appelees sequences atomiques de predicats locaux et un algorithme original permettant de detecter au vol ces proprietes sont proposes. Le probleme de l'arret du programme suite a la detection d'un point d'arret est egalement traite. Un outil de deverminage de programme estelle, appele erebus, a ete developpe dans le cadre de cette these