Квалификационные испытания критического ПО

Примечание: Предлагаемый состав анализируемых процессов может быть обосновано изменен (дополнен, сокращен) исполнителем по соображениям их значения («веса») для раскрытия выбранной темы.

· Раскрытие спецификации (детализация структуры) анализируемых процессов в соответствии с ISO/IEC/IEEE 12207:2008 [1] в терминах: контекст процесса, группа процессов, процесс в группе – объект изучения выбранной темы, назначение (цель процесса), выходной продукт, действия, задачи.

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

· Роль квалификационных испытаний ЖЦ ПО. Модель переходов состояний проекта ПО. Цели, задачи, методы (методология)

· Классификация методов верификации и валидации критического ПО. Сертификация, аттестация. Процессы квалификационных испытаний критического ПО в системном и программном контексте Опорной модели процессов ЖЦ (ISO/IEC/IEEE 12207:2008) (6.4.6, 7.1.7 рис.1)

· Анализ критичности ПО. Программный и системный контекст. Скрытые дефекты ПО. Оценки и регулирование рисков критического ПО, связанных со скрытыми дефектами. Функциональная безопасность. Анализ. Методы. Метрики. Фундаментальные методики анализа критичности ПО (FMECA, FTA, HAZOP и т.д.).

· Оценка вероятности скрытых дефектов – отправная точка анализа при risk-informed оценках характеристик «Функциональная безопасность» и «Гарантоспособность» критического ПО.

· Оценка характеристик качества критического ПО:

а) «Функциональная /информационная безопасность»

б) «Гарантоспособность»

· Независимая верификация критического ПО. Обусловленность (концепция). Цели. Достоверность результатов. Доказательность.

· Диверсификация методов верификации – реализация принципа разнообразия. Ограничения – реально достижимая степень разнообразия при оценках достоверности.

· Model-checking верификация критического ПО с использованием моделей темпоральной логики ПО и инварианто- ориентированных моделей. Концепция. Модели ПО. Ограничения и предельные возможности в условиях «комбинаторного взрыва» в пространстве состояний ПО.