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

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

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

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

Критерии:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

• трудности проектирования;

• трудности в эксплуатации из-за ошибок;

• тип программ;

• данные о персонале (количество, коэффициент загруженности).

3. Качественные характеристики, как объективное суждение.

Испытания

• Стендовые (многократные проверки прочности в реальных условиях).

• Приемосдаточные (подтверждение требуемых характеристик и передача в эксплуатацию).

• Системные (оценивают правильность взаимодействия с системой).

• Демонстрация в реальных условиях.

• Сертификационные испытания.