G - Physics – 06 – F
Patent
G - Physics
06
F
G06F 11/36 (2006.01)
Patent
CA 2697726
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).
Bregeon Vincent
Fournier Florent
Lemeur Philippe
Randimbivololona Famantanantsoa
Airbus Operations (s.a.s)
Bcf Llp
LandOfFree
Method for debugging operational software of a system... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method for debugging operational software of a system..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for debugging operational software of a system... will most certainly appreciate the feedback.
Profile ID: LFCA-PAI-O-2005511