
- •Содержание
- •Р ис.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Рекомендуемая литература. Электронный архив
2.2.4Базовая модель менеджмента в сфере «Программная инженерия».
Базовая модель определяется матрицей (рис.5) -
, где k=(6.x.x, 7.x.x) – процессы опорной модели ISO/IEC/IEEE 12207:2008 (рис.1) в контексте системы и специальные процессы ПО, i – задачи процессов Опорной модели ISO/IEC/IEEE 12207:2008, j – действия процессов планирования (6.3.1 рис.1), управления и оценки проекта (6.3.2 рис.1) Опорной модели процессов ЖЦ ПО,
- элементарная операция управления.
Основой для построение Базовой модели является стандарт ГОСТ 16326:02 ТО «Руководство по применению ISO/IEC 12207 при управлении проектами ПО» [31]
Кластеры ненулевых
элементов базовой модели менеджмента определяют управляемость процессов ЖЦ ПО.
Качество критического ПО – прямое соответствие (в пределе – функция) от реализованного менеджмента, определяющего технологическую зрелость (мощность) процессов ЖЦ ПО.
Рис.4 Функциональная IDEF0 модель процессной композиционной СМК, реализующей стратегию TQM.
Таблица 1. – Информационные ресурсы СМК, реализующей стратегию TQM |
|||
1.1 Информационная технология. Системная и программная инженерия – Процессы ЖЦ программных средств. Группы процессов. Архитектура процессов. Опорная модель процессов ЖЦ ПО. (ISO/IEC/IEEE 12207:2008) [1] |
2.1 Модель переходов состояний проекта ПО – спецификация типов процессов Review и Audit. (ECSS-EST-40). Спецификация типов процессов Review и Audit:
|
3.1 Опорная модель процессов ПО (ISO/IEC/IEEE 12207:2008): процессы квалификационного тестирования в системном (6.4.6 рис.1) и программном (7.1.7 рис.1) контекстах; процессы верификации и валидации ПО в системном и программном контекстах (7.2.4, 7.2.5 рис.1); процессы измерений (6.3.7 рис.1) в системном контексте. Архитектура: цель, выходной продукт, действия и задачи [1]. |
4.1 Информационная технология – оценивание процессов ЖЦ ПО. Модель технологической зрелости процессов SPICE. Метрика – профиль рейтингов атрибутов процесса. (ISO/IEC 15504, ч.1-7:2004, ГОСТ Р ИСО/МЭК 15504:2009) [4]. |
1.2 Базовая модель менеджмента проекта ПО. Руководство по применению ISO/IEC 12207 при управлении проектами. (ГОСТ ИСО МЭК 16326:2002 ТО) [30] |
2.2 Опорная модель процессов ЖЦ ПО: архитектура процессов Review, Audit (7.2.6, 7.2.7 рис.1), назначение, выходной (рабочий) продукт, действия, задачи [1, 6]. |
3.2 Гарантии продукта ПО (ECSS-Q-ST-80 (1-4):2009). Безопасность. Оценка и регулирование величины риска (ECSS-М-00-03А) [6]. |
4.2 Стратегия Total Quality Management (TQM) [33] (всеобщего управления качеством) – непрерывно совершенствуемое превращение неуправляемых процессов в управляемые, радикальное повышение на этой основе качества ПО, смещение акцентов с измерения качества на прогнозирование качества программного продукта. Критерии: кумулятивность качества, точность прогноза качества, рентабельность качества программного продукта. |
1.3 Нормативная база СМК. Таксономия. (ISO 10000 TR). Нормативный профиль проекта ПО. Адаптация международных стандартов к условиям организации. Скрининг –технология формирования НП. Полнота и непротиворечивость. |
2.3 Процесс менеджмента качества процессов ПО (6.2.5 рис.1) и процесс обеспечения (гарантии) качества ПО (7.2.3 рис.1). Архитектура: цели, действия, рабочий продукт, задачи |
3.3 Информационная технология. Системная и программная инженерия – требования и оценки качества систем и ПО (SQuaRE) – модели качества систем и ПО.(качество в использовании, качество ПП и качество данных) (ISO/IEC FDIS 25010:2010) [2] |
4.3 Нечетко-множественные модели оценки качества ПО на основе радиально-метрических диаграмм [20] . Аппарат нечеткой логики и нечетких выводов. Синтез нечеткого регулятора СМК для реализации контуров регулирования «быстрых» и «медленных» вариативностей качества для системы менеджмента качества организации. [32, 34]. Задачи имитационного моделирования и поликритериальной оптимизации качества при реализации стратегии TQM. (лексикографическое упорядочивание критериев, последовательная реализация задач однокритериальной оптимизации с уступками) |
2.4 Информационная технология. Системная и программная инженерия. – Описание архитектуры. (ISO/IEC/IEEE 42010:2011) [3] |
3.4 Метрики качества ПО – аппарат радиально-метрических диаграмм, иерархия, нормализация, свертка [20] |
||
3.5 Процесс измерения (ISO/IEC 15939:2007) (6.3.7 рис.1) в системном контексте опорной модели. Архитектура: цели, рабочий продукт, действия, задачи. |
Основные характеристики СМК:
Термин «Процессная СМК означает, что базовым понятием СМК являются процессы системной и программной инженерии ЖЦ программного продукта по ISO/IEC/IEEE 12207:2008)
Термин «Композиционная СМК» означает, что обеспечивается параллельная реализация двух замкнутых контуров регулирования (PDCA и SPICE) с отрицательной обратной связью для регулирования (парирования) «быстрых» и «медленных» (высокочастотных и низкочастотных) вариативностей качества ПП.
В «Контуре регулирования PDCA» регулируемой величиной является интегральное (кумулятивное, накопленное) значение качества ПП, а регулирующий (управляющий) параметр представляет кластеры базовых практик менеджмента, используемых при реализации соответствующих (регулируемых) процессов ЖЦ ПО.
В «Контуре регулирования SPICE» – регулируемыми величинами являются «Кумулятивность качества ПП», «Точность прогноза качества ПП» и «Рентабельность качества ПП».
Регулирующий (управляющий) параметр представлен размером (шириной) «Плато» (плоской вершины) Профиля Рейтингов Атрибутов (ПРА) процесса. ПРА определяет уровень технологической зрелости оцениваемого процесса ЖЦ ПО [4]
Нормативный профиль (НП) СМК является результатом анализа требований Заказчика, адаптации и гармонизации требований международных и национальных стандартов и других нормативных документов к условиям и технологиям конкретной организации – разработчика проекта ПО. Формирование НП проекта производится с использованием специальной скрининг технологии (от англ. Screening – просеивание), обеспечивающей «просеивание», отбор и гармонизацию дизъюнктов (пунктов требований) стандартов и нормативных документов различного статуса для НП проекта ПО.