
- •Содержание
- •Р ис.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.2Качество критического по
В реферате по теме рекомендуется рассмотреть следующие вопросы:
Идентификация, анализ и детализация объекта изучения, представленного соответствующими процессами системного и программного контекстов Опорной (ссылочной) модели процессов ЖЦ ПО (стандарт ISO/IEC/IEEE 12207:2008 [1]), имеющими отношение к данной теме: «Менеджмент качества в системном контексте» (6.2.5), «Обеспечение качества» (7.2.3), «Разрешение проблем ПО» (7.2.8), «Квалификационное тестирование (испытания) систем и ПО» (6.4.6, 7.1.7), «Измерения» (6.3.7), «Верификация и Валидация ПО» (7.2.4, 7.2.5)
Примечание: Предлагаемый состав анализируемых процессов может быть обосновано изменен (дополнен, сокращен) исполнителем по соображениям их значения («веса») для раскрытия выбранной темы.
Раскрытие спецификации (детализация структуры) анализируемых процессов в соответствии с ISO/IEC/IEEE 12207:2008 [1] в терминах: контекст процесса, группа процессов, процесс в группе – объект изучения выбранной темы, назначение (цель процесса), выходной продукт, действия, задачи.
Определение для выбранного состава процессов на основе аналитических обзоров рекомендованной литературы предметной области выбранной темы, представленной соответствующей методологией и технологиями в терминах: абстракции, модели, методы, меры и метрики, инструментальные средства и среды, информационные технологии, руководства и стандарты.
Формальное (математическое) определение критического ПО как отображения области определений в область значений, время - глобальный параметр отображения для систем реального времени. Критичность отображения. Реализация необратимых операций.
Дуализм качества ПО (Качество программного продукта – качество процессов ЖЦ)
Модели качества программного продукта – SQuaRE (ISO/IEC 25010) (Концепции. Методы. Метрики)
Модели качества процессов ЖЦ ПО – SPICE (ISO/IEC 15504) (Концепции. Методы. Метрики)
Стратегия TQM (Всеобщего управления качеством). Цель – непрерывно совершенствуемое превращение неуправляемых процессов ЖЦ ПО в управляемые, технологическая зрелость процессов, радикальное повышение качества ПО, смещение на этой основе акцентов с непосредственного измерения качества на прогнозирование качества ПП; критерии – кумулятивность качества ПО, точность прогноза качества ПП, рентабельность качества;
Композиционная, процессная система менеджмента качества (СМК), реализующая стратегию TQM, нечеткий регулятор (на основе теории нечетких множеств) в контурах регулирования РDСА и SPICE, постановка задач оптимизации качества ПП.
Инженерия качества – «встроенный» элемент сети процессов – «дорожной карты» ЖЦ создания критического ПО. Взаимодействие процессов Опорной модели (12207:08)
Рентабельность качества ПП, модели, методы, оценки.
5.3Управление разработкой программных средств.
В реферате по теме рекомендуется рассмотреть следующие вопросы:
Идентификация, анализ и детализация объекта изучения, представленного соответствующими процессами системного и программного контекстов Опорной (ссылочной) модели процессов ЖЦ ПО (стандарт ISO/IEC/IEEE 12207:2008 [1]), имеющими отношение к данной теме: «Планирование проекта» (6.3.1), «Управление (менеджмент) и оценка проекта» (6.3.2), «Измерения» (6.3.7), «Менеджмент качества в системном контексте» (6.2.5), «Разрешение проблем ПО» (7.2.8)
Примечание: Предлагаемый состав анализируемых процессов может быть обосновано изменен (дополнен, сокращен) исполнителем по соображениям их значения («веса») для раскрытия выбранной темы.
Раскрытие спецификации (детализация структуры) анализируемых процессов в соответствии с ISO/IEC/IEEE 12207:2008 [1] в терминах: контекст процесса, группа процессов, процесс в группе – объект изучения выбранной темы, назначение (цель процесса), выходной продукт, действия, задачи.
Определение для выбранного состава процессов на основе аналитических обзоров рекомендованной литературы предметной области выбранной темы, представленной соответствующей методологией и технологиями в терминах: абстракции, модели, методы, меры и метрики, инструментальные средства и среды, информационные технологии, руководства и стандарты.
Концепция ГОСТ 16326:02 ТО «Руководство по применению ISO/IEC/IEEE 12207:2008 для управления проектами».
Глобальная цель менеджмента (управления разработкой программных средств) – достижение необходимого качества как степени соответствия критического ПО установленным или ожидаемым требованиям Заказчика – Пользователя.
Базовая матричная модель менеджмента (где k=(6.x.x, 7.x.x) – процессы опорной модели ISO/IEC/IEEE 12207:2008 (рис.1) в контексте системы и специальные процессы ПО. i – задачи процессов Опорной модели ISO/IEC/IEEE 12207:2008, j – действия процессов планирования (6.3.1), управления и оценки проекта (6.3.2) Опорной модели процессов ЖЦ ПО).
Управляемость , цели, критерии, метрики, уровень технологической зрелости процессов ЖЦ, модели, методы, метрики (профиль рейтингов атрибутов процессов) функциональная IDF0 модель процессов ЖЦ, аксиоматика, реализация базовых практик менеджмента (лингвистические переменные – параметры рейтинговой оценки: обязательность выполнения, задачи - выполняемые действия, наличие ресурсов, верификация выполнения, улучшения)
Кластеры базовых практик менеджмента – Управляющий параметр в контурах регулирования РDСА системы менеджмента качества; свертка иерархии радиально-метрических диаграмм (РМД) оценок качества выходного продукта процесса «Реализация ПО» - управляемый параметр в контуре регулирования РDСА системы менеджмента качества.
Цель управления – максимизация интегральной многокомпонентной оценки с использованием радиально-метрических диаграмм (РМД) показателя качества программного продукта:
Метрика - кумулятивность качества ПП определяется двумя составляющими:
Размером площади РМД
Величиной смещения центра тяжести площади РМД
Использование метрики для оценки качества и достигаемого прогресса при реализации проекта ПО.
Подключение (использование) процесса «Измерения» в любой соответствующей точке модели ЖЦ (сети процессов ЖЦ ПО), включая «Квалификационные испытания».