СПОСОБ АВТОМАТИЧЕСКОГО ГЕНЕРИРОВАНИЯ СЦЕНАРИЯ ДЛЯ ПРОВЕРКИ ПРАВИЛЬНОСТИ ФУНКЦИОНАЛЬНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ СИСТЕМЫ, УСТАНОВЛЕННОЙ НА БОРТУ ЛЕТАТЕЛЬНОГО АППАРАТА, И УСТРОЙСТВО ДЛЯ ПРИМЕНЕНИЯ СПОСОБА

1. Способ генерирования сценария для проверки правильности функционального программного обеспечения системы, установленной на борту летательного аппарата, включающий следующие этапы:
а) интерактивная идентификация (20) разработчиком правильных тестовых ситуаций путем позиционирования точки ввода и точки остановки соответственно в начале и в конце функции функционального программного обеспечения в ходе его тестирования,
б) отслеживание и запись (22) состояний переменных указанной функции при помощи позиции точки остановки и точки ввода,
в) автоматическое генерирование (26) тестового сценария путем анализа, на первой стадии, состояний переменных, отслеживаемых во время идентификации тестовых ситуаций, и путем генерирования, на второй стадии, тестового сценария в виде исходного кода (13),
г) автоматическое исполнение генерированного тестового сценария (30) в среде выполнения тестов.
2. Способ по п.1, характеризующийся тем, что между этапом отслеживания и записи состояний переменных и этапом автоматического генерирования тестового сценария осуществляют этап проверки правильности тестовых ситуаций, позволяющий разработчику убедиться в том, что выполнение тестируемой функции является правильным по отношению к отслеживаемым состояниям переменных.
3. Способ по п.1 или 2, характеризующийся тем, что генерирование тестового сценария осуществляют по каждой отдельной тестовой ситуации.
4. Способ по п.1 или 2, характеризующийся тем, что между этапом автоматического генерирования сценария и этапом автоматического исполнения сценария производят компиляцию исходного кода для автоматического перевода указанного исходного кода тестового сценария в эквивалентный сценарий на машинном языке.
5. Способ по п.3, характеризующийся тем, что между этапом автоматического генерирования сценария и этапом автоматического исполнения сценария производят компиляцию исходного кода для автоматического перевода указанного исходного кода тестового сценария в эквивалентный сценарий на машинном языке.
6. Способ по п.4, характеризующийся тем, что за компиляцией следует редактирование связей тестового сценария, в результате которого получают бинарный код, который может быть исполнен и использован в среде выполнения тестов, выбранной разработчиком.
7. Способ по п.5, характеризующийся тем, что за компиляцией следует редактирование связей тестового сценария, в результате которого получают бинарный код, который может быть исполнен и использован в среде выполнения тестов, выбранной разработчиком.
8. Способ по любому из пп.1, 2, 5, 6, 7, характеризующийся тем, что результаты тестов генерируют в форме, напрямую совместимой с типом выбранной среды выполнения тестов.
9. Способ по п.3, характеризующийся тем, что результаты тестов генерируют в форме, напрямую совместимой с типом выбранной среды выполнения тестов.
10. Способ по п.4, характеризующийся тем, что результаты тестов генерируют в форме, напрямую совместимой с типом выбранной среды выполнения тестов.
11. Устройство, моделирующее работу вычислительного устройства, установленного на борту летательного аппарата, характеризующееся тем, что применяет способ по любому из пп.1-10.
12. Устройство по п.11, характеризующееся тем, что его моделируют виртуально на материнской плате тестирования и отладки.
13. Тестовая программа, загружаемая в блок (1) управления, содержащая последовательности команд для применения способа по любому из пп.1-10, когда программа загружается в блок и исполняется в этом блоке.