Формализация процессов испытаний бортовой аппаратуры космического аппарата : научное издание | Научно-инновационный портал СФУ

Формализация процессов испытаний бортовой аппаратуры космического аппарата : научное издание

Перевод названия: Formalization of test processes of the spacecraft onboard equipment

Тип публикации: статья из журнала

Год издания: 2016

Ключевые слова: космический аппарат, командно-измерительная система, поддержка проведения испытаний, сценарий испытаний, spacecraft, command and measuring system, test execution support, scripts of testing

Аннотация: В работе рассматривается задача формализации процесса испытаний бортовой аппаратуры космического аппарата. Описаны принципы представления процесса проведения испытаний в виде формальных сценариев. Представлены варианты использования сценария на различных этапах испытаний In this paper, the problem of formalization of test process of the spacecraft onboard equipment is observed. The representation principles of test processes as formal scripts are described. The cases of using scripts at all stages of test process are presented

Ссылки на полный текст

Издание

Журнал: Образовательные ресурсы и технологии

Выпуск журнала: 2

Номера страниц: 131-138

ISSN журнала: 23125500

Место издания: Москва

Издатель: Частное образовательное учреждение высшего образования Московский университет им. С.Ю. Витте

Авторы

  • Вогоровский Родион Вячеславович (Институт вычислительного моделирования СО РАН, Сибирский федеральный университет, г. Красноярск)
  • Ноженкова Людмила Федоровна (Институт вычислительного моделирования СО РАН, Сибирский федеральный университет, г. Красноярск)

Вхождение в базы данных

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.