СПОСОБ АВТОМАТИЧЕСКОГО ГЕНЕРИРОВАНИЯ СЦЕНАРИЯ ДЛЯ ПРОВЕРКИ ПРАВИЛЬНОСТИ ФУНКЦИОНАЛЬНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ СИСТЕМЫ, УСТАНОВЛЕННОЙ НА БОРТУ ЛЕТАТЕЛЬНОГО АППАРАТА, И УСТРОЙСТВО ДЛЯ ПРИМЕНЕНИЯ СПОСОБА
US 6161216 А, 12.12.2000. RU 2263973 С1, 10.11.2005. SU 1541617 A1, 07.02.1990. RU 2213939 C1, 10.10.2003.
Имя заявителя:
ЭРБЮС ОПЕРАСЬОН (FR)
Изобретатели:
РАНДИМБИВОЛОЛОНА Фамантанантсоа (FR)
Патентообладатели:
ЭРБЮС ОПЕРАСЬОН (FR)
Приоритетные данные:
14.09.2007 FR 0757615
Реферат
Изобретение относится к области обеспечения безопасности функционирования систем, когда работа этих систем зависит от исполнения последовательностей логических команд в вычислительном устройстве. Техническим результатом является обеспечение гибкости в разработке тестовых программ, а также повышение надежности тестовых программ. Способ генерирования сценария для проверки правильности функционального программного обеспечения системы, установленной на борту летательного аппарата, заключается в: а) интерактивная идентификация (20) разработчиком правильных тестовых ситуаций путем позиционирования точки ввода и точки остановки соответственно в начале и в конце функции функционального программного обеспечения в ходе его тестирования; б) отслеживание и запись (22) состояний переменных указанной функции при помощи позиции точки остановки и точки ввода; в) автоматическое генерирование (26) тестового сценария путем анализа, на первой стадии, состояний переменных, отслеживаемых во время идентификации тестовых ситуаций, и путем генерирования, на второй стадии, тестового сценария в виде исходного кода (13); г) автоматическое выполнение (30) генерированного тестового сценария в среде выполнения тестов. 2 н. и 10 з.п. ф-лы, 2 ил.
Поиск патентов
Получить полное описание патента