Критерии надежности

Критерии надежности – это показатели, позволяющие оценивать предпочтительность тех или иных решений при создании и эксплуатации систем по степени достижения основных целей и с учетом затрат, при которых эти цели достигаются.

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

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

Критерии:

• Детерминированные – оценка количества ошибок в программе на том или ином этапе работы.

• Вероятностные – вероятностная оценка свойств ПО.

Все ошибки носят детерминированный характер, но вероятностным оказывается процесс внесения ошибок. Проявление ошибок также носит вероятностный характер.

Примеры критериев:

• Корректность ПО.

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

• Обслуживаемость системы – степень влияния ошибок ПО на обслуживаемость системы.

• Безопасность системы.

• Частота отказов.

• Вероятность безотказной работы за время tпри условии времени отладки.

• Средняя наработка на программный отказ при условии исправления или не исправления обнаруженных отказов.

Верификация программ – процесс формального доказательства правильности программы, т.е. корректности.

Верификация:

• Статическая – программа рассматривается как материальный объект.

• Динамическая (частный случай – тестирование).

С учетом сложившейся практики выбора критериев оценки надежности необходимо принимать во внимание следующее:

1. Разработанное ПО в начальной стадии эксплуатации может потребовать менее жестких критериев и большего времени для его совершенствования.

2. После выпуска новой версии некоторое время потребуются также менее строгие критерии качества ПО.

3. Имеют место разбросы, вызываемые различием в условиях применения и использования ПО.

4. Эффективность работ по исправлению ошибок, проводимых разработчиками ПО, зависит от частоты проявления ошибок, что, в свою очередь, зависит от информации, поступающей от пользователей.

5. Необходимость соблюдения ограничений по быстродействию и производительности, если таковые диктуются пользователями.

Характеристики по

1. Количественные характеристики (оцениваются числом):

• объем программы;

• количество спряжений;

• количество ветвлений;

• точки входа/выхода;

• количество процедур;

• уровень вложения;

• количество комментариев;

• количество страниц документации;

• требуемое машинное время.