Модель Нельсона

Данная модель при расчете надежности ПО учитывает вероятность выбора определенного тестового набора для очередного выполнения программы.

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

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