Пассивное обнаружение ошибок -

основные принципы:

• Взаимное недоверие – каждый из компонентов ПО должен «предполагать», что все другие

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

найти в них ошибки.

•Немедленное обнаружение – ошибки необходимо обнаружить как можно раньше. Это не только ограничивает наносимый ими ущерб, но и упрощает отладку.

•Избыточность – все средства обнаружения151 ошибок

Пассивное обнаружение ошибок -

методика:

•Проверять атрибуты любого элемента входных данных

•В таблицах, структурах применять теги или поля записи, явно указывающие на их

назначение

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

•Проверять допустимость всех вариантов значений

152

Активное обнаружение ошибок -

основные принципы:

Активные средства обнаружения ошибок обычно объединяются в диагностический монитор (ДМ) –

параллельный процесс, периодически анализирующий состояние системы с целью обнаружить ошибку.

ДМ реализуется как периодически выполняемая задача (например, каждый час) или как задача с низким

приоритетом, которая выполняется в то время, когда система переходит в состояние ожидания. ДМ может: обследовать основную память для поиска блоков памяти, не выделенных ни одной из выполняемых

задач; проверять необычные ситуации; выполнять153

Каждому типу корректировок соответствует

определенная категория специалистов:

Пример зависимости стоимости устранения ошибки от стадии разработки ПО

Модели надежности ПО

- как правило, математические модели,

построенные для оценки зависимости надежности ПО от некоторых определенных параметров.

Один из видов модели надежности ПО –

феноменологическая (или эмпирическая)

модель, предполагающая, что связь между надежностью и другими параметрами является статистической.

Например, параметр сложность ПО характеризует степень уменьшения надежности:

158

в среднем с ростом сложности ПО уменьшается

Классификация моделей надежности ПС

Аналитические модели надежности ПО

Аналитические модели представлены двумя группами: динамические (появление ошибок рассматривается во времени) и статические (появление ошибок не связывают со временем, а учитывают только зависимость количества