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

В реферате по теме рекомендуется рассмотреть следующие вопросы:

• Идентификация, анализ и детализация объекта изучения, представленного соответствующими процессами системного и программного контекстов Опорной (ссылочной) модели процессов ЖЦ ПО (стандарт ISO/IEC/IEEE 12207:2008 [1]), имеющими отношение к данной теме: «Квалификационное тестирование ПО в системном и программном контекстах» (6.4.6, 7.1.7), «Измерения» (6.3.7), «Верификация» (7.2.4), «Валидация ПО» (7.2.5,) «Управление рисками» (6.3.4).

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

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

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

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

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

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

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

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

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

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

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

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

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

5.5Методология разработки критического по.

В реферате по теме рекомендуется рассмотреть следующие вопросы:

• Идентификация, анализ и детализация объекта изучения, представленного соответствующими процессами системного и программного контекстов Опорной (ссылочной) модели процессов ЖЦ ПО (стандарт ISO/IEC/IEEE 12207:2008 [1]), имеющими отношение к данной теме: «Реализации ПО» (7.1.1), «Анализ требований в системном контексте» (6.4.1, 6.4.2), «Анализ требований к ПО» (7.1.2), «Проектирование архитектуры в системном и программном контекстах» (6.4.3, 7.1.3), «Детальное проектирование и конструкторская разработка ПО» (7.1.4, 7.1.5), «Квалификационное тестирование ПО в системном и программном контекстах» (6.4.6, 7.1.7).

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

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

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

• Абстракции. Методы декомпозиции. Реализация принципа «разделяй и властвуй» (divide et impera). Нотации. Выразительные изобразительные средства (языки).

• Функциональная и объектная декомпозиция (инкапсуляция, наследование, полиморфизм и позднее связывание)

• Системная и программная инженерия. Описание архитектуры (ПО). Стандарт ISO/IEC/IEEE 42010:2011. Языки описания архитектуры – ADL (Architecture Description Languages).

• Критерии «сцепления- связности» компонент архитектуры ПО по функциям и данным. Факторизация.

• Определение объемов интеграционного и системного тестирования.

• Классификация методов тестирования при верификации и валидации критического ПО (тестирование, имитационное моделирование, статический и формальный анализ, верификация моделей ПО (model-checking verification))

• Квалификационные испытания критического ПО. Цели. Задачи. Методология.