Lorsque des problèmes surviennent pendant l'exécution d'un système d'exploitation, la seule solution pratique pour les résoudre est de faire une copie binaire intégrale, appelée 'dump', de tout le système et de l'analyser ensuite. AIDA est un outil qui permet, sur base d'une description formelle des structures de données du système d'exploitation, de parcourir un 'dump' à la recherche d'incohérences ou d'erreurs. A ce titre, AIDA peut également se révéler très utile lors du développement et de la mise au point du système d'exploitation.
la date de réponse | 1990 |
---|
langue originale | Français |
---|
L'institution diplômante | |
---|
Superviseur | Jean RAMAEKERS (Promoteur) |
---|
De l'adéquation de la programmation logique aux systèmes à bases de connaissances : A.I.D.A.
Moisse, P. (Auteur). 1990
Student thesis: Master types › Master en sciences informatiques