Методология оперативной верификации программного обеспечения космических систем: модели готовности и выбор сценариев

Скорочена інформація про документ
dc.contributor.authorЗасуха, С. О.
dc.contributor.authorПоночовный, Ю. Л.
dc.contributor.authorХарченко, В. С.
dc.date.issued2012
dc.description.abstractВ статье анализируется национальная и международная нормативная база верификации программного обеспечения программно-технических комплексов космических систем. Описываются элементы методологии оперативной корректирующей верификации, которая может проводиться по разным сценариям для функций разного уровня критичности, графовые модели, которые соответствуют отдельным сценариям. Предлагается метод выбора оптимального варианта проведения верификации по критерию "надежность-стоимость".uk_UA
dc.identifier.citationЗасуха С. А. Методология оперативной верификации программного обеспечения космических систем: модели готовности и выбор сценариев / С. А. Засуха, Ю. Л. Поночовный, В. С. Харченко // Вісник Харківського національного університету імені В. Н. Каразіна. Серія : Математичне моделювання. Інформаційні технології. Автоматизовані системи управління. - 2012. - № 1015, вип. 19. - С. 131-147. - Режим доступу: http://nbuv.gov.ua/UJRN/VKhIMAM_2012_1015_19_17uk_UA
dc.identifier.urihttps://dspace.pdau.edu.ua/handle/123456789/2117
dc.language.isoruuk_UA
dc.relation.ispartofseriesВісник Харківського національного університету імені В. Н. Каразіна. Серія : Математичне моделювання. Інформаційні технології. Автоматизовані системи управління;1015
dc.subjectкосмические системыuk_UA
dc.subjectоперативная корректирующая верификацияuk_UA
dc.titleМетодология оперативной верификации программного обеспечения космических систем: модели готовности и выбор сценариевuk_UA
dc.typeArticleuk_UA
Файли
Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
20.pdf
Розмір:
334.5 KB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
1.71 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити
Зібрання
Фахові видання