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

Описание

Перевод названия: 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 oПоказать полностьюf 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

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

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

Авторы

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

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