- •Содержание
- •Р ис.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.8Полимодельная инварианто – ориентированная Model-checking верификация.
В реферате по теме рекомендуется рассмотреть следующие вопросы:
Идентификация, анализ и детализация объекта изучения, представленного соответствующими процессами системного и программного контекстов Опорной (ссылочной) модели процессов ЖЦ ПО (стандарт ISO/IEC/IEEE 12207:2008 [1]), имеющими отношение к данной теме: «Верификация и Валидация ПО» (7.2.4, 7.2.5), «Квалификационное тестирование ПО в системном и программном контекстах» (6.4.6, 7.1.7).
Примечание: Предлагаемый состав анализируемых процессов может быть обосновано изменен (дополнен, сокращен) исполнителем по соображениям их значения («веса») для раскрытия выбранной темы.
Раскрытие спецификации (детализации структуры) анализируемых процессов в соответствии с ISO/IEC/IEEE 12207:2008 [1] в терминах: контекст процесса, группа процессов, процесс в группе – объект изучения выбранной темы, назначение (цель процесса), выходной продукт, действия, задачи.
Определение для выбранного состава процессов на основе аналитических обзоров рекомендованной литературы предметной области выбранной темы, представленной соответствующей методологией и технологиями в терминах: абстракции, модели, методы, меры и метрики, инструментальные средства и среды, информационные технологии, руководства и стандарты.
Концепция Model-checking верификации (верификации на моделях) ПО. Место в классификации методов верификации (тестирование, имитационное моделирование, формальный анализ, статический анализ.) Предельные возможности
Диверсификация методов верификации – средство обеспечения достоверности результатов.
Полимодельная Model-checking верификация, основанная на использовании инварианто-ориентированных моделей исходного ПО.
Инварианты критического ПО (семантика переменных, сводимость потока управления, утечки ЗУ, использование ЗУ, точность вычислений и интервалы переменных, специфические инварианты ПО FPGA – «гонки», «защелки», пред- и постусловия в ООП и т.п.), жесткость связей нарушений инвариантов с отказами ПО
Отчуждаемость и статический анализ исходного критического ПО, задачи, возможности, технологии, ограничения, инварианто – ориентированные модели критического ПО, чувствительность к дефектам исходного ПО и степень разнообразия ИОМ, метод инъекции тестовых дефектов, профиль тестовых дефектов для конкретного проекта ПО, оценка полноты тестового покрытия и рамочный прогноз вероятности скрытых дефектов критического ПО с контролируемой степенью неопределенности на основе композиции (суперпозиции) инварианто-ориентированных моделей с откалиброванной чувствительностью и степенью разнообразия.
Экспериментальная калибровка чувствительности к дефектам ПО и степени разнообразия инавриант-оринентированных моделей критического ПО как метод прогноза вероятности скрытых дефектов и полноты тестового покрытия.
Методы посева (инъекции) тестовых дефектов ПО. Профиль тестовых дефектов конкретного проекта ПО. Учет специфики конкретного проекта ПО. Полнота. Достоверность.