摘要 |
1. Способ отладки функционального программного обеспечения бортовой системы, включающий следующие этапы: ! разметка (31) программы путем установки меток вдоль пути выполнения программы для разбивки указанного пути выполнения на смежные функциональные интервалы, ! нормальное выполнение (32) программы, ! выделение (33) состояния выполнения программы при помощи векторов состояния меток, ! при обнаружении ошибки выполняют: ! поиск (36) функционального интервала нарушения на основании векторов состояния меток, ! обратное выполнение (41) программы в этом функциональном интервале нарушения, ! определение и исправление ошибки (42). ! 2. Способ по п.1, характеризующийся тем, что ошибку обнаруживают, когда обнаруживают остановку программы в результате прекращения выполнения операции процессором. ! 3. Способ по п.1 или 2, характеризующийся тем, что содержит операцию уточнения функционального интервала, в котором находится ошибка. !4. Способ по п.3, характеризующийся тем, что операция уточнения функционального интервала содержит определение дополнительных меток входа и выхода и/или промежуточных меток. ! 5. Способ по п.1, характеризующийся тем, что этап поиска функционального интервала нарушения осуществляется автоматически. !6. Способ по п.1, характеризующийся тем, что этап поиска функционального интервала нарушения осуществляют интерактивно с вмешательством разработчика. ! 7. Способ по п.1, характеризующийся тем, что содержит этап записи положения каждой метки и данных о состоянии выполнения программы в файл результатов материнской платы. ! 8. Устройство, моделирующее работу бортовой системы, установленной на борту летательного � |