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

more »

... татистических задач. Первый способ заключается в полном учете априорной информации, получаемой в ходе испытаний программного обеспечения, второй -в непрерывном учете априорной информации в зависимости от ее ценности для определения общей оценки показателя надежности программного обеспечения. В статье предложен новый метод учета априорной информации и получения гарантированно незавышенной оценки показателя надежности программного обеспечения. Для решения задачи использован байесовский подход с регрессионным учетом априорной информации. Ключевые слова: гипотеза, контроль, космический аппарат, надежность, подготовка данных, программное обеспечение. Введение. Для подвижных объектов наблюдения особенность расчета показателя надежности программного обеспечения (ПО) автоматизированной системы управления космическими аппаратами (АСУ КА) заключается в том, что наблюдение за полетом КА можно осуществлять с установленного множества точек разрешенных участков маршрута их движения. Поэтому, чтобы получить требуемое значение показателя качества подготовленных данных полета КА, необходимо проводить большое число испытаний ПО АСУ КА из допустимой входной области доп . X Значение этого показателя определяется возможностью ввода подготовленных данных полета КА в базы данных АСУ КА и систему управления КА, а также положительными результатами контроля правильности данных полета КА средствами этих систем. На качество подготовленных данных полета КА влияют следующие факторы риска, приводящие к прерыванию процесса подготовки данных полета КА: