Модели надежности ПО служат для предсказания значений метрик, позволяющих оценить надежность на различных этапах тестирования программного продукта. Например, в том случае, если к некоторому моменту тестирования количество обнаруженных и исправленных ошибок уже достаточно велико, это может создать впечатление, что тестирование продукта близится к завершению, то есть ошибок в программе осталось немного. Однако, это может совершенно не соответствовать действительности, и как раз использование моделей надежности программ может помочь прояснить подобную ситуацию.
Математические модели надежности программ можно разбить на группы по следующим признакам:
· Вид «функции риска», определяющей временную структуру появления ошибок в программе;
· Сложность разработки программы;
· Способы «посева» ошибок и оценки числа исходных ошибок по соотношению исходных и внесенных;
· Сравнение числа успешных прогонов программы и общего числа прогонов для различных структур пространства входных данных.
Модели, основанные на использовании функции риска