MICHAEL W. SHAPIRO "RDB: A system for incremental replay debugging", 07.1997. RU 2220442 C2, 27.12.2003. JONG-DEOK CHOI "TECHNIQUES FOR DEBUGGING PARALLEL PROGRAMS WITH FLOWBACK ANALYSIS", 1991. US 20040078784 A1, 22.04.2004.
Изобретение относится к области обеспечения безопасности функционирования бортовой электронной системы. Техническим результатом является повышение надежности функционирования бортовой системы за счет повышения эффективности отладки программного обеспечения со сложной логикой. Способ отладки заключается в структурированном выполнении программы путем функциональной разметки нормального пути выполнения при помощи векторов состояния меток на функциональные блоки, а при обнаружении ошибки выполнять поиск функционального интервала нарушения на основании векторов состояния меток, обратное выполнение программы в этом функциональном интервале нарушения и определение и исправление ошибки. Устройство, моделирующее работу бортовой системы, содержащее процессор, осуществляющий способ отладки. 3 н. и 7 з.п. ф-лы, 3 ил.