- •Итерационная модель
- •Спиральная модель
- •Iso/iec 12207:1995 - стандарт на процессы и организацию жизненного цикла. Распространяется на все виды заказного по. Стандарт не содержит описания фаз, стадий и этапов [5].
- •Определение требований к программному средству.
- •Спецификация качества программного средства.
- •Функциональная спецификация программного средства.
- •Качество по
- •Методы контроля качества
- •Надежность программного средства.
- •Основные причины отказов программного обеспечения
- •Основные показатели надежности программного обеспечения
Основные показатели надежности программного обеспечения
Если рассматривать отказавшее ПО без учета его восстановления, а также случайный характер отказов в программах, то основные показатели надежности в этом случае не отличаются от тех, которые были рассмотрены в п.п. 2.2. – 2.4. При этом характер изменения этих показателей во времени будет зависеть от модели надежности ПО.
Таким образом, основными показателями надежности ПО являются:
вероятность безотказной работы программы p(t) , представляющая собой вероятность того, что ошибки программы не проявятся в интервале времени (0, t);
вероятность отказа программы q(t) или вероятность события отказа ПО до момента времени t ;
интенсивность отказов программы l(t) ;
средняя наработка программы на отказ T, являющаяся математическим ожиданием временного интервала между последовательными отказами.
При определении характеристик надежности ПО учитывается тот факт, что возникающие при работе программ ошибки устраняются, количество ошибок уменьшается и, следовательно, их интенсивность понижается, а наработка на отказ программы увеличивается. В связи с такими предположениями рассматривается несколько моделей надежности ПО: модель с дискретно-понижающей частотой появления ошибок, модель с дискретным увеличением наработки на отказ или ошибку ПО, экспоненциальная модель надежности ПО.