ПРАВИЛА И ЭТАПЫ ПОСТРОЕНИЯ НАДЕЖНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

Маршрутная карта обеспечения функциональной надежности программного обеспечения

Для создания функционально надежного ПО должны решаться следующие первоочередные задачи:

• • формирование квалифицированных и организованных команд программистов;
• • применение рекомендованных международным сообществом технологии проектирования и хорошо зарекомендовавших себя методов и технических приемов;
• • проведение сертификационных испытаний как в целях оценки соответствия, так и в целях устранения выявленных недостатков. Стандартами [1—7] определена маршрутная карта обеспечения безопасности ПО. В ней исчерпывающим образом указаны все этапы жизненного цикла безопасности ПС. Интерпретация этой маршрутной карты применительно к функциональной надежности ПО представлена на рис. 4.1.

Для обеспечения приемлемого уровня безошибочности ПО при разработке ПО целесообразно руководствоваться следующими правилами:

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

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

• 1. Разработка спецификации требований к ПО.
• 2. Разработка архитектуры ПО.
• 3. Создание проекта ПО и его реализация.
• 4. Верификация ПО.
• 5. Интеграция ПО с аппаратными средствами системы.
• 6. Аттестация ПО.

Рис. 4.1. Маршрутная карта функциональной надежности ПО