Труды сотрудников ИВМ СО РАН

w10=
Найдено документов в текущей БД: 2
004.42
Ф796

    Формализация процессов испытаний бортовой аппаратуры космического аппарата
[Текст] : статья / Родион Вячеславович Вогоровский, Людмила Федоровна Ноженкова // Образовательные ресурсы и технологии. - 2016. - № 2. - С. 131-138 . - ISSN 2312-5500
   Перевод заглавия: Formalization of test processes of the spacecraft onboard equipment
УДК

Аннотация: В работе рассматривается задача формализации процесса испытаний бортовой аппаратуры космического аппарата. Описаны принципы представления процесса проведения испытаний в виде формальных сценариев. Представлены варианты использования сценария на различных этапах испытаний
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

РИНЦ

Держатели документа:
Институт вычислительного моделирования СО РАН, Сибирский федеральный университет, г. Красноярск

Доп.точки доступа:
Ноженкова, Людмила Федоровна; Nozhenkova L.F.; Vogorovskiy R.V.
004.42
Я 41

    Язык сценариев испытаний бортовой аппаратуры космического аппарата
[Текст] : статья / Р. В. Вогоровский // Решетневские чтения. - 2017. - № 21-2. - С. 319-321 . - ISSN 1990-7702
   Перевод заглавия: Scenario language for testing the spacecraft onboard equipment
УДК

Аннотация: Рассматривается грамматика языка описания сценариев испытаний бортовой аппаратуры космического аппарата. Язык построен на основе формальной модели процесса проведения испытаний.
The grammar of the scenario language to test the spacecraft onboard equipment is observed in this article. Scenario language is based on the formal model of the test execution process.

РИНЦ

Держатели документа:
Красноярский научный центр СО РАН Институт вычислительного моделирования СО РАН

Доп.точки доступа:
Вогоровский, Р.В.; Vogorovskiy R.V.