Надежность функционирования автоматизированных систем. Липатов И.Н. - 57 стр.

                                         -56-
  Испытания программ на надёжность и испытания изделий на надёжность их программного
обеспечения - обязательные этапы при проверке надёжности систем.
  Испытания с целью проверки надёжности программ осуществляются с помощью
специальных программ (тестирование) и специальных (имитационных) стендов. Проверяется
при этом степень отработанности программы и её соответствие заданным требованиям.
  Испытания с целью проверки надёжности изделий, работающих под управлением
программ, осуществляются при совместной работе программы и изделия. Проверяются при
этом и степень отработанности программы в соответствии с заданными требованиями, и
корректность этих требований, и согласованность взаимодействий программы и аппаратуры.
  Степень отработанности программы может проверяться различными методами. Чем выше
требование к достоверности проверки, тем более сложен метод проверки.
  Рассмотрим один из наиболее простых методов. В процессе проверки “корректности”
программы (с помощью наблюдений за работой либо изделия, либо имитирующего
устройства, либо на специальном стенде с помощью тестов) фиксируются времена
обнаружения ошибок в программе. Результаты проверки обрабатываются при следующих
предположениях: 1) ошибки программы независимы. Каждый раз после обнаружения они
устраняются и в дальнейшем не проявляются. 2) интенсивность ошибок уменьшается по
мере их обнаружения и устранения (ступенчато, как показано на рисунке 3.1).




                                        Статистическая интенсивность программных
λ                                       ошибок определяется так же как интенсивность
                                        аппаратных отказов по формуле:
                                                            ~       Δ n( t )
                                                            λ (t) =            , (3.1)
                                                                    Δ tn ( t )
                                         где n(t) - число идентичных программ, не отка-
                                         завших к моменту времени t; Δn(t) - число от-
                                         казавших идентичных программ на интервале
                                         (t, t + Δt).


 0                            t        Рис. 3.1
 Выявление и устранение ошибок производится до тех пор, пока значение λ( t n) будет
                                                ~
меньше заданного значения. Заданное значение λ ( t n) назначается с учётом требований к
надёжности изделия. Ориетировочно можно исходить из того, что интенсивность
программных ошибок, приводящих к отказу, на этапе отладочных испытаний должна быть
не больше интенсивности аппаратурных отказов.
  Положение о том, что при создании программного обеспечения больших систем возможно
возникновение ошибок и что выявление программных ошибок - чрезвычайно трудная задача,
не только не должно обезоруживать разработчиков систем, а наоборот, должно
ориентировать их на максимальное сосредоточение сил для ликвидации программных
отказов.