Метод оценки надежности программного обеспечения по результатам испытаний на этапе его разработки

Инженерный журнал: наука и инновации

# 6·2016 1

УДК 621.398 DOI 10.18698/2308-6033-2016-06-1504

Метод оценки надежности программного обеспечения

по результатам испытаний на этапе его разработки

, Г.В. Казаков

, В.В. Корянов

ФГБУ «4 ЦНИИ» Минобороны России, Королёв Московской обл., 141091, Россия

МГТУ им. Н.Э. Баумана, Москва, 105005, Россия

Наличие ошибок в специальном программном обеспечении подготовки данных по-

лета космических аппаратов средствами автоматизированной системы управле-

ния для подвижных объектов наблюдения обусловливает необходимость решения

задачи учета всех видов испытаний, которым подвергается специальное про-

граммное обеспечение за период его разработки и межведомственных испытаний

на тестовых вариантах заказчика. Известны два способа учета априорной ин-

формации, которые применяются при байесовском подходе решения статистиче-

ских задач. Первый способ заключается в полном учете априорной информации,

получаемой в ходе испытаний программного обеспечения, второй — в непрерывном

учете априорной информации в зависимости от ее ценности для определения об-

щей оценки показателя надежности программного обеспечения. В статье пред-

ложен новый метод учета априорной информации и получения гарантированно

незавышенной оценки показателя надежности программного обеспечения. Для

решения задачи использован байесовский подход с регрессионным учетом априор-

ной информации.

Ключевые слова:

гипотеза, контроль, космический аппарат, надежность, подго-

товка данных, программное обеспечение.

Введение.

Для подвижных объектов наблюдения особенность

расчета показателя надежности программного обеспечения (ПО) ав-

томатизированной системы управления космическими аппаратами

(АСУ КА) заключается в том, что наблюдение за полетом КА можно

осуществлять с установленного множества точек разрешенных

участков маршрута их движения. Поэтому, чтобы получить требуе-

мое значение показателя качества подготовленных данных полета

КА, необходимо проводить большое число испытаний ПО АСУ КА

из допустимой входной области

доп

Значение этого показателя

определяется возможностью ввода подготовленных данных полета

КА в базы данных АСУ КА и систему управления КА, а также поло-

жительными результатами контроля правильности данных полета КА

средствами этих систем.

На качество подготовленных данных полета КА влияют следую-

щие факторы риска, приводящие к прерыванию процесса подготовки

данных полета КА: