METHOD FOR DEBUGGING OPERATIONAL SOFTWARE OF A SYSTEM ONBOARD AN AIRCRAFT AND DEVICE FOR IMPLEMENTING THE SAME

The invention relates to a method for debugging the program of operational software of an onboard system, characterised in that it comprises the following steps: a) flagging (31) the program by positioning flags along an execution path for dividing said execution path into adjacent functional intervals; b) normal execution (32) of the program; c) acquiring (33) an execution condition of the program by flag condition vectors; d) when an error is detected, searching (36) a faulty functional interval based on the flag condition vectors, reverse execution (41) of the program in said faulty functional interval, and determination and correction of the error (42). L'invention concerne un procédé de débogage d'un programme d'un logiciel de fonctionnement d'un système embarqué, caractérisé en ce qu'il comporte les étapes suivantes: a) balisage (31) du programme en positionnant des balises le long d'un chemin d'exécution pour découper ledit chemin d'exécution en intervalles fonctionnels adjacents; b) exécution (32) normale du programme; c) capture (33) d'un état d'exécution du programme par des vecteurs d'état des balises; d) lorsqu'une erreur est détectée: recherche (36) d'un intervalle fonctionnel défaillant en fonction des vecteurs d'état des balises, exécution reverse (41) du programme dans cet intervalle fonctionnel défaillant, détermination et correction de l'erreur (42).