 |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
Статический анализ в инженерии критического ПО
|
|
В реферате по теме рекомендуется рассмотреть следующие вопросы:
· Идентификация, анализ и детализация объекта изучения, представленного соответствующими процессами системного и программного контекстов Опорной (ссылочной) модели процессов ЖЦ ПО (стандарт ISO/IEC/IEEE 12207:2008 [1]), имеющими отношение к данной теме: «Обеспечение (гарантирование) качества ПО» (7.2.3), «Квалификационное тестирование ПО в системном и программном контекстах» (6.4.6, 7.1.7), «Верификация ПО» (7.2.4), «Валидация ПО» (7.2.5), «Гарантирование (обеспечение) качества ПО» (7.2.3).
Примечание: Предлагаемый состав анализируемых процессов может быть обосновано изменен (дополнен, сокращен) исполнителем по соображениям их значения («веса») для раскрытия выбранной темы.
· Раскрытие спецификации (детализации структуры) анализируемых процессов в соответствии с ISO/IEC/IEEE 12207:2008 [1] в терминах: контекст процесса, группа процессов, процесс в группе – объект изучения выбранной темы, назначение (цель процесса), выходной продукт, действия, задачи.
· Определение для выбранного состава процессов на основе аналитических обзоров рекомендованной литературы предметной области выбранной темы, представленной соответствующей методологией и технологиями в терминах: абстракции, модели, методы, меры и метрики, инструментальные средства и среды, информационные технологии, руководства и стандарты.
· Классификация методов верификации ПО. Место и роль статического анализа.
· Цели, задачи, возможности, ограничения статического анализа исходных кодов ПО.
· Адаптация к ЯВУ;
· Проблема отчуждаемости критического ПО.
· Теоретические основы анализа текстов ПО на языках высокого уровня.
· Синтаксический разбор текста ПО. Парсинг. Формальный анализ исходных текстов ПО.
· Перспективы использования статического анализа текстов ПО.
· Инструментальные средства и среды. Возможности Ограничения.
· Формальные методы анализа и верификации критического ПО на основе статического анализа.
· Полимодельная Model-checking верификация с использованием инварианто-ориентированных моделей критического ПО. На основе статического анализа исходных текстов ПО.
Дата публикования: 2015-07-22; Прочитано: 628 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!
