Подробное описание документа

Казаков Г. В., Котяшев Н. Н.
   Алгоритм оценки показателя надежности программного обеспечения системы подготовки данных управления летательными аппаратами / Казаков Г. В., Котяшев Н. Н. // Академические чтения по космонавтике, посвящённые памяти академика С. Г. Королёва и других выдающихся отечественных учёных - пионеров освоения космического пространства, 49-е, Москва, 28-31 января 2025 года : сборник тезисов : в 2 т. / РАН, Государственная корпорация по космической деятельности "Роскосмос", МГТУ им. Н. Э. Баумана. - 2025. - Т. 2. - С. 487-488.

Просмотреть документ Скачать файл

Полнотекстовый документ

Рассмотрены условия оценки показателя надежности программного обеспечения системы подготовки данных управления летательными аппаратами. Предложен алгоритм оценки показателя надежности программного обеспечения на основе оценки доверительных границ, в пределах которых находится значение показателя надежности, и оценки надежности программного обеспечения на относительно небольшом числе тестовых вариантов. Результатом выполнения алгоритма является уровень покрытия тестовыми вариантами всей области входных данных из допустимой области и безаварийные испытания на тестовых вариантах.