Participants : Laurent Ravel, Yves Bertot
Mots clefs : environnement de programmation, débogage Les années précédentes nous avons entamé le développement d'outils spécialement adaptés au langage C en étudiant la connexion d'éditeurs spécialisés de Centaur avec un compilateur. Cette année nous avons étendu ce travail vers la connexion avec un système de débogage. Dans cette expérience nous avons également fait des expériences avec des notions évoluées de points d'arrêt, où l'on utilise des informations temporelles en plus des notions de position dans le programme. Ce travail sur l'instrumentation de programmes C pour leur mise au point pourra être utilisé dans le futur pour d'autres types d'instrumentations, comme par exemple la génération de tests. Ce travail est décrit dans un rapport de DEA [19].