Методология оперативной верификации программного обеспечения космических систем: модели готовности и выбор сценариев
Loading...
Files
Date
2012
Authors
Засуха, С. О.
Поночовный, Ю. Л.
Харченко, В. С.
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
В статье анализируется национальная и международная нормативная база
верификации программного обеспечения программно-технических комплексов
космических систем. Описываются элементы методологии оперативной
корректирующей верификации, которая может проводиться по разным
сценариям для функций разного уровня критичности, графовые модели, которые
соответствуют отдельным сценариям. Предлагается метод выбора оптимального
варианта проведения верификации по критерию "надежность-стоимость".
Description
Keywords
космические системы, оперативная корректирующая верификация
Citation
Засуха С. А. Методология оперативной верификации программного обеспечения космических систем: модели готовности и выбор сценариев / С. А. Засуха, Ю. Л. Поночовный, В. С. Харченко // Вісник Харківського національного університету імені В. Н. Каразіна. Серія : Математичне моделювання. Інформаційні технології. Автоматизовані системи управління. - 2012. - № 1015, вип. 19. - С. 131-147. - Режим доступу: http://nbuv.gov.ua/UJRN/VKhIMAM_2012_1015_19_17