
- •Содержание
- •Р ис.2 Модель переходов состояний в жц проекта критического по
- •2.2.2Квалификационные испытания критического по [1, 2, 3, 6, 3, 15]:
- •2.2.3 Управление качеством критического по
- •2.2.4Базовая модель менеджмента в сфере «Программная инженерия».
- •2.2.5Уровень критичности. Риски. Безопасность (функциональная и информационная). Оценка и регулирование величины рисков, связанных со скрытыми дефектами критического по.
- •2.2.6Отчуждаемость критического по.
- •2.2.7Систематическое использование метрик для количественного измерения показателей качества программного продукта и процессов жц.
- •4Общие требования к структуре и содержанию Реферата «Аттестационного Задания»
- •4.1Название темы «Аттестационного задания» выбирается из приведенного ниже «Перечня рекомендуемых тем». (п.5 настоящего «Методического руководства…»)
- •4.2Введение должно определять общий контекст дисциплины «Инженерия критического по», в котором производится реферативный анализ конкретной выбранной темы.
- •4.4Выводы
- •4.5Заключение
- •4.6Список фактически использованной литературы.
- •5Перечень рекомендуемых тем «Аттестационного задания».
- •5.1Процессная парадигма инженерии критического по.*)
- •5.2Качество критического по
- •5.3Управление разработкой программных средств.
- •5.4Квалификационные испытания критического по.
- •5.5Методология разработки критического по.
- •5.6Модели качества процессов жц по spice.
- •5.7Модели качества программного продукта sQuaRe
- •5.8Полимодельная инварианто – ориентированная Model-checking верификация.
- •5.9Динамическая спецификация критического по
- •5.10 Статический анализ в инженерии критического по.
- •5.11 Нормативная база инженерии критического по
- •5.12 Управление конфигурациями по. Повторное использование по.
- •6Рекомендуемая литература. Электронный архив
5.11 Нормативная база инженерии критического по
В реферате по теме рекомендуется рассмотреть следующие вопросы:
Идентификация, анализ и детализация объекта изучения, представленного соответствующими процессами системного и программного контекстов Опорной (ссылочной) модели процессов ЖЦ ПО (стандарт ISO/IEC/IEEE 12207:2008 [1]), имеющими отношение к данной теме: «Менеджмент качества» (6.2.5), «Менеджмент и модель ЖЦ» (6.2.1), «Обеспечение (гарантии) качества ПО» (7.2.3), «Реализации ПО» (7.1.1), «Квалификационное тестирование системы» (6.4.6), «Квалификационное тестирование ПО» (7.1.7).
Примечание: Предлагаемый состав анализируемых процессов может быть обосновано изменен (дополнен, сокращен) исполнителем по соображениям их значения («веса») для раскрытия выбранной темы.
Раскрытие спецификации (детализации структуры) анализируемых процессов в соответствии с ISO/IEC/IEEE 12207:2008 [1] в терминах: контекст процесса, группа процессов, процесс в группе – объект изучения выбранной темы, назначение (цель процесса), выходной продукт, действия, задачи.
Определение для выбранного состава процессов на основе аналитических обзоров рекомендованной литературы предметной области выбранной темы, представленной соответствующей методологией и технологиями в терминах: абстракции, модели, методы, меры и метрики, инструментальные средства и среды, информационные технологии, руководства и стандарты.
Анализ основных направлений разработки международных стандартов системной и программной инженерии в рамках ISО/IEC, IEEE, EU, ECSS, IAEA и т.д.
Цели стандартизации – поддержка проблем: корпоративного создания технических и организационных систем в условиях растущей (беспрецедентной) сложности создаваемых систем и требований к их безопасности и качеству; обеспечения экономического международного сотрудничества; обеспечения эффективного менеджмента в сферах критической деятельности.
Организация разработки международных и национальных общепромышленных и отраслевых стандартов.
Нормативная база инженерии критического ПО. Таксономия (классификационная схема <процессы – методики и метрики – производственные инструкции>). Базовые функциональные стандарты качества в ПИ.
Опорная модель процессов ЖЦ ПО ISО/IEC/IEEE 12207:2008 – исчерпывающий перечень стандартных процессов системной и программной инженерии при реализации различных моделей ЖЦ ПО. Концепция, системный и программный контекст. Стандартная архитектура процессов.
Качество ПО в соответствии с ISО/IEC FDIS 25010 SQUARE. Системный и программный контекст. Качество ПО в использовании и качество программного продукта. Метрики.
Качество (технологическая зрелость) процессов ЖЦ. Модель SPICE (Декартово произведение.
, где П – процессы, А – атрибуты процессов) технологической зрелости («плато» профиля рейтингов процесса).
Концептуальная связь стандартов ISО/IEC/IEEE 12207:2008, ISО/IEC FDIS 25010, ISО/IEC 15504:2002
Процессная парадигма программной инженерии.
Нормативный профиль проекта ПО. Назначение. Структура.
Концепция Адаптации международных стандартов для применения в условиях конкретной организации. Методики.
Гармонизация нормативного профиля системы менеджмента качества организации с международными и национальными общепромышленными и отраслевыми стандартами. Полнота и непротиворечивость.
Скрининг-технологии формирования нормативной базы систем менеджмента качества – стандартов организации (СТП), структура нормативной базы организации.