12 / 14
Прогнозирование числа отказов программного обеспечения космических аппаратов
ISSN 0236-3941. Вестник МГТУ им. Н.Э. Баумана. Сер. Машиностроение. 2016. № 5
35
использует никаких гипотез относительно вида аппроксимирующей кривой.
Приведенные результаты позволяют прогнозировать среднее число отказов,
сохранившееся после устранения отказов при тестировании, проявление кото-
рых может привести к отказу при эксплуатации, а также оценивать оптималь-
ное количество циклов тестирования. Очевидно, оптимальное количество цик-
лов тестирования должно соответствовать минимуму суммарных затрат на реа-
лизацию целевой космической программы. В общем случае суммарные затраты
определяются стоимостью тестирования и величиной ущерба при отказах:
ущ 0,0
2
tr ( ( )) ,
C cn c
M M n
где
с —
затраты на одно тестирование;
с
ущ
— ущерб при одном отказе;
n
— коли-
чество циклов тестирования; tr(
M
(
n
)) — след матрицы
M
(
n
).
Соответственно для безразмерной стоимости
С
выражение принимает
вид
ущ 0,0
2
tr( ( )) ,
C n c
M M n
где
ущ ущ
c с c
— относительный ущерб при отказе;
.
С С с
Значения матрицы
M
(
n
) рассчитываются по программе, приведенной на
рис. 8. Результаты оптимизации приведены на рис. 11. Расчеты проводятся для
ущ
с
= 1; 5; 10. Как видно на графике, с увеличением относительного ущерба при от-
казе
ущ
c
оптимальное количество циклов тестирования
r
возрастает, что объясня-
ется снижением ущерба ввиду сокращения источников отказов, не выявленных
при тестировании.
Выводы.
1.
Разработана численная модель прогнозирования числа отказов
ПО космических аппаратов.
2. Разработан метод прогнозирования числа невыявленных отказов про-
граммного обеспечения космических аппаратов.
Рис. 11.
Изменение безразмерных
суммарных затрат
ущ
с
=1 (сплошная
кривая),
ущ
с
=5 (штрихпунктирная),
ущ
с
=10 (штриховая) от количества
циклов тестирования