Надежность авиационных приборов и измерительно-вычислительных комплексов. Чернов В.Ю - 27 стр.

UptoLike

27
семблера и 1,44 для языка программирования высокого уровня на 1К
слов кода программы.
По аналогии с аппаратурной надежностью возможно применение
экспоненциальной модели надежности ПО в виде
() exp ( / )Pt t T
=−
,
где t – время работы;
к.о
0
1
exp( )Tk
kN
– экспоненциальная модель среднего времени наработки на отказ; k
коэффициент темпа выборки ошибок, определяемый по формуле
.о
[1 exp( )],nN k
=−τ
где n – число обнаруженных и исправленных ошибок ПО; τ
к.о
– время
комплексной отладки программы. Очевидно, что начальная наработка
программы
0
0
1/
T
kN
=
, число оставшихся неисправленных ошибок
00 к.о
exp( )nN k
=−τ
. Алгоритм определения надежности имеет итера-
ционный характер, так как производится уточнение числа N
0
по числу
фактически обнаруженных ошибок
.о
[1 exp( )]Nn k
=−τ
.
Оценка надежности ПО по ГОСТ 28195-89 рассчитывается по весь-
ма упрощенной методике, констатирующей фактическую надежность
по опыту эксплуатации програмного комплекса
() 1Pt nN
=−
, где n
число отказов при испытаниях ПО; N – число экспериментов при ис-
пытаниях.
3.2. Статистические определения надежности
программного обеспечения
В настоящее время предсказать надежность работы ПО с учетом тре-
бований пользователя представляется весьма сложным. Поэтому пред-
ставляет интерес подход к оценке надежности ПО, предложенный Лон-
гботтом для мини- и микровычислительных систем.
По опыту разработки и эксплуатации ПО им были выделены следу-
ющие факторы и поправочные коэффициенты для оценки надежности
через число системных отказов λ:
– размер процессора, большой (Б) при числе ИМС более 20 тыс. и
быстродействием более 4000–1500 команд/с; средний (С) при числе
ИМС около 10 тыс. и быстродействии более 250–1500 команд/с; низкий
(Н) при числе ИМС около 1 тыс. и быстродействии менее 250 команд/c.