Модели оценки надежности программного обеспечения.

Контрольные точки.

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

Контрольные точки могут создаваться 2-мя способами:

1) их может задавать сам программист

2) задание производится по таймеру

Теория надежности показывает, что если необходимо создавать контрольные точки, то их надо создавать через равные (оптимальные) промежутки времени.

По каким критерия производится выбор врмени контрольных точек?

1) создание контрольных точек для того, чтобы математическое ожидание времени выполнения задания было минимальным.

2) Если есть T_орг на решение задач, то необходимо определить оптимальный период.

Периоды создания контрольных точек в разных постановках будут разные:

τ – интервал создания контрольных точек

с- ресурс для создания

- это итерационная функция быстро сходится

- по этой формуле определяется период создания контрольных точек только в том случае, если знаем, что надо создать контрольные точки.

- надо создавать КТ с интервалом τ (если меньше, то контрольную точку создавать не надо).

τ для второго критерия находится перебором.

n – количество точек перебора: .

Модели оценки надежности программного обеспечения.

Анализ надежности крупных комплексов показывает, что надежность программных средств больше надежности аппаратного обеспечения.

Пакеты прикладных программ, операционные системы и рабочие программы – самые надежные.

Отличия природы надежности программных средств от аппаратных средств:

1) сбои возникают засчет ошибок, допущенных при создании Программного обеспечения.

2) Из-за воздействия внешней среды

3) Отказ бывает, хотя ошибок в программе нет – задание было некорректным.

Чтобы определить количество ошибок программного обеспечения, разработали модель.