
- •Содержание
- •Р ис.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.6Модели качества процессов жц по spice.
В реферате по теме рекомендуется рассмотреть следующие вопросы:
Идентификация, анализ и детализация объекта изучения, представленного соответствующими процессами системного и программного контекстов Опорной (ссылочной) модели процессов ЖЦ ПО (стандарт ISO/IEC/IEEE 12207:2008 [1]), имеющими отношение к данной теме: «Менеджмент качества в системном контексте» (6.2.5), «Обеспечение (гарантирование) качества ПО» (7.2.3), «Верификация и Валидация ПО» (7.2.4, 7.2.5), «Квалификационное тестирование ПО в системном и программном контекстах» (6.4.6, 7.1.7), «Измерения» (6.3.7).
Примечание: Предлагаемый состав анализируемых процессов может быть обосновано изменен (дополнен, сокращен) исполнителем по соображениям их значения («веса») для раскрытия выбранной темы.
Раскрытие спецификации (детализации структуры) анализируемых процессов в соответствии с ISO/IEC/IEEE 12207:2008 [1] в терминах: контекст процесса, группа процессов, процесс в группе – объект изучения выбранной темы, назначение (цель процесса), выходной продукт, действия, задачи.
Определение для выбранного состава процессов на основе аналитических обзоров рекомендованной литературы предметной области выбранной темы, представленной соответствующей методологией и технологиями в терминах: абстракции, модели, методы, меры и метрики, инструментальные средства и среды, информационные технологии, руководства и стандарты.
Технологическая зрелость процессов ЖЦ
Серия стандартов ISO/IEC 15504:2004. SPICE Информационная технология. – Оценивание процессов ЖЦ ПО.
Управление качеством ПО. Стратегия TQM. Критерии качества: кумулятивность, точность прогноза, рентабельность.
Управляемость процессов ЖЦ ПО и на этой основе концепция смещения акцентов (актуальности) с измерения качества на прогноз качества ПО. Стратегия TQM (Total Quality Management – Всеобщее управление качеством).
Критерии оценки технологической зрелости (мощности) процессов – размер «плато профиля рейтингов атрибутов» процесса, определение рейтинга атрибута на основе используемого кластера базовых практик менеджмента, управляемая (регулируемая) величина – площадь и смещение центра тяжести радиально-метрической диаграммы.
Анализ, задачи имитационного моделирования достижения уровня технологической зрелости в терминах нечетко-множественных моделей и нечеткого регулятора системы менеджмента качества.
Оценка рейтинга атрибута процесса – производится на основе используемых кластеров базовых практик менеджмента, выбираемых по критерию управляемость процесса (из базовой модели менеджмента).
Использование и постановка задач нечеткого регулятора СМК в контуре регулирования SPICE (рис. 4).
5.7Модели качества программного продукта sQuaRe
В реферате по теме рекомендуется рассмотреть следующие вопросы:
Идентификация, анализ и детализация объекта изучения, представленного соответствующими процессами системного и программного контекстов Опорной (ссылочной) модели процессов ЖЦ ПО (стандарт ISO/IEC/IEEE 12207:2008 [1]), имеющими отношение к данной теме: «Менеджмент качества в системном контексте» (6.2.5), «Обеспечение (гарантирование) качества ПО» (7.2.3), «Верификация и Валидация ПО» (7.2.4, 7.2.5), «Квалификационное тестирование ПО в системном и программном контекстах» (6.4.6, 7.1.7), «Измерения» (6.3.7).
Примечание: Предлагаемый состав анализируемых процессов может быть обосновано изменен (дополнен, сокращен) исполнителем по соображениям их значения («веса») для раскрытия выбранной темы.
Раскрытие спецификации (детализации структуры) анализируемых процессов в соответствии с ISO/IEC/IEEE 12207:2008 [1] в терминах: контекст процесса, группа процессов, процесс в группе – объект изучения выбранной темы, назначение (цель процесса), выходной продукт, действия, задачи.
Определение для выбранного состава процессов на основе аналитических обзоров рекомендованной литературы предметной области выбранной темы, представленной соответствующей методологией и технологиями в терминах: абстракции, модели, методы, меры и метрики, инструментальные средства и среды, информационные технологии, руководства и стандарты.
Модели качества ПО в системном и программном контекстах .
Серия стандартов ISO/IEC 25000. Структура. Перспективы развития.
ISO/IEC 25010. (SQuaRE) Модели: качества в использовании, качества программного продукта, качества данных.
Методы измерения. Метрики.
Многокомпонентность характеристики «Гарантоспособность» критического ПО.
Параметризация (metrication) моделей качества ПП, определение измеряемых параметров модели и соответствующих метрик.
Усовершенствование подхода на основе Kiviat – diagrams. Аппарат радиально – метрических диаграмм. Иерархия. Свертка. Аксиоматика.
Параметры интегрального оценивания многокомпонентных показателей качества ПО – площадь многоугольной фигуры РМД и смещение центра тяжести этой фигуры, выражающих свойство кумулятивность качества; использование в задачах нечеткого регулятора системы менеджмента качества (СМК) при реализации контуров регулирования РDСА, SPICE.