Надежности программного обеспечения

В качестве исходных предпосылок ПО используется следующий момент:

1. В результате выполнения программы для каждого множества N_i входных данных получаем однозначный входной результат.

2. Множество входных данных N_i дает возможность рассматривать все вычисления выполняемой программы.

3. Каждая ошибка в программе вызывает сбой для некоторой части выходных данных.

4. Под единичным наблюдением будем понимать прогон (выполнение) программы с некоторым n - множеством входных данных.

Вероятность появления сбоя в погроме связывается с вероятностью выбора такого набора входных данных, на котором проявляется этот сбой.

p_i -вероятность выбора i-го набора данных.

если прогон успешный в противном случае

n -мощность множества возможных наборов данных

e - число успешных прогонов нашей программы.