Анализ существующих моделей надежности программного обеспечения

Общие замечания

Термин «модель надежности программного обеспечения», как правило, относится к математической модели, построенной для оценки зависимости надежности ПО от некоторых определенных параметров. Значения таких параметров либо предполагаются известными, либо могут быть измерены в ходе наблюдений или экспериментального исследования процесса функционирования программного обеспечения.

Данный термин может быть использован также применительно к математической зависимости между определенными параметрами, которые хотя и имеют отношение к оценке надежности ПО, тем не менее не содержат ее характеристик в явном виде. Например, поведение некоторой ветви программы на подмножестве наборов входных данных, с помощью которых эта ветвь контролируется, существенным образом связано с надежностью программы, однако характеристики этого поведения могут быть оценены независимо от оценки самой надежности. Другим таким параметром является частота ошибок, которая позволяет оценивать именно качество систем реального времени, функционирующих в непрерывном режиме, и в то же время получать только косвенную информацию относительно надежности ПО (например, в предположении экспоненциального распределения времени между отказами).

Все множество моделей надежности ПО подразделяются на прогнозирующие, оценочные и измерительные, что соответствует последовательности этапов ЖЦ ПО: это этапы разработки, отладки, сопровождения.