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

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

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

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

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

Критерии:

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

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

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

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

• Корректность ПО.
• Число серьезных текущих ошибок в программе и время, необходимое для их устранения.
• Обслуживаемость системы – степень влияния ошибок ПО на обслуживаемость системы.
• Безопасность системы.
• Частота отказов.
• Вероятность безотказной работы за время t при условии времени отладки.
• Средняя наработка на программный отказ при условии исправления или не исправления обнаруженных отказов.

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

Рекомендуемые материалы

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

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

В лекции "Часть 2" также много полезной информации.

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

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

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

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

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

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