Эмпирические модели надежности ПО
Основываются на анализе структурных
особенностей ПС. Часто не дают конечных результатов показателей надежности, но их использование на этапе проектирования ПС полезно для прогнозирования требующихся
ресурсов тестирования, уточнения плановых
сроков завершения проекта и т. д.
161
Модели надежности ПО
Разработано много моделей надежности ПС.
Каждая из этих моделей определяет функцию надежности, вычисляемую на основе данных, собранных во время функционирования ПС.
Основными данными являются отказы и время. Другие дополнительные параметры связаны с типом ПС, условиями среды и данных.
Ввиду большого разнообразия моделей надежности разработано несколько подходов к
классификации этих моделей. Такие подходы в целом основываются на истории ошибок в
проверяемом и тестируемом ПО на этапах его
жизненного цикла.
162
Особенности ошибок в ПО
• Число ошибок в программе - величина "ненаблюдаемая", наблюдаются не сами ошибки, а
результат их проявления
•Неверное срабатывание программы может быть следствием не одной, а сразу нескольких ошибок
•Ошибки могут компенсировать друг друга, так что после исправления какой-то одной ошибки программа может начать "работать хуже"
•Надежность характеризует частоту проявления
ошибок, но не их количество
•В результате исправления ошибки или любой другой коррекции получается новая программа с
другим, чем до коррекции, показателем163
надежности
Основные принципы оценки надежности ПО
•для каждого множества входных данных получаем однозначный выходной результат
•результат каждого запуска всегда можно отнести к одному из двух классов: правильному или неправильному
•запуски программы являются независимыми
164
Модель испытаний Бернулли 
Модель испытаний Бернулли – предельные случаи
166
Модели надежности
Примером еще одной из классификаций моделей надежности ПО является классификация Хетча. В ней модели надежности делятся на
прогнозирующие, измерительные и оценочные:
Модели надежности ПО
Прогнозирующие модели надежности ПО
основаны на измерении характеристик создаваемой программы: длина, сложность, число циклов и степень их вложенности, количество ошибок на страницу операторов программы и др.
Например, модель Мотли-Брукса основывается на длине и сложности структуры программы (количество ветвей, циклов, вложенность циклов), количестве и типах переменных, а также интерфейсов. В этих моделях длина программы служит для прогнозирования количества ошибок,
например, для 100 операторов программы можно смоделировать интенсивность отказов168. 
Модели надежности ПО
Модель Холстеда прогнозирует количество ошибок в программе в зависимости от ее объема и таких данных, как число операций, n1, операндов,
n2, в программе, общее число операций, N1, общее
число операндов N2.
Модели надежности ПО
Измерительные модели надежности ПО
предназначены для измерения надежности ПО, работающего с заданной внешней средой. Они имеют следующие ограничения:
•ПО не модифицируется во время периода измерений свойств надежности;
•обнаруженные ошибки не исправляются;
•измерение надежности проводится для зафиксированной конфигурации ПО.
170