Некоторые методики оценки надёжности системы:
- Модели без подсчёта ошибок. 1 Основаны на измерении интервала времени между отказами и позволяют спрогнозировать количество ошибок, оставшихся в программе. 1 К таким моделям относятся модели Джелински и Моранды, Шика Вулвертона и Литвуда–Вералла. 12
- Модели с подсчётом отказов. 1 Базируются на количестве ошибок, обнаруженных на заданных интервалах времени. 1 К этому классу моделей относятся модели Шика–Вулвертона, Шумана, Пуассоновская модель и другие. 12
- Модели с подсевом ошибок. 1 Основаны на количестве устранённых ошибок и подсеве, внесённом в программу искусственных ошибок, тип и количество которых заранее известны. 1
- Модели с выбором области входных значений. 1 Основываются на генерации множества тестовых выборок из входного набора. 1 К этому типу моделей относится модель Нельсона и другие. 1
- Прогнозирующие модели. 2 Основаны на измерении технических характеристик создаваемой программы: длина, сложность, число циклов и степень их вложенности, количество ошибок на страницу операторов программы и другие. 2
- Измерительные модели. 2 Предназначены для измерения надёжности ПО, работающего с заданной внешней средой. 2
- Аналитические методы. 3 К ним относятся методы теории случайных процессов, теории экспертных оценок (эвристического прогнозирования), декомпозиции (эквивалентирования), логико-вероятностные, асимптотические, аналитико-статистические методы. 3
- Методы имитационного моделирования. 3 Являются универсальными и допускают рассмотрение систем с большим количеством элементов. 3
Также для оценки надёжности систем используют метод дерева отказов, метод дерева событий, Марковский метод, метод таблиц решений, метод сокращения сети, анализ видов отказов и последствий, анализ критичности, предварительный анализ опасности и другие методы. 5