 |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
Методология разработки критического ПО
|
|
В реферате по теме рекомендуется рассмотреть следующие вопросы:
· Идентификация, анализ и детализация объекта изучения, представленного соответствующими процессами системного и программного контекстов Опорной (ссылочной) модели процессов ЖЦ ПО (стандарт ISO/IEC/IEEE 12207:2008 [1]), имеющими отношение к данной теме: «Реализации ПО» (7.1.1), «Анализ требований в системном контексте» (6.4.1, 6.4.2), «Анализ требований к ПО» (7.1.2), «Проектирование архитектуры в системном и программном контекстах» (6.4.3, 7.1.3), «Детальное проектирование и конструкторская разработка ПО» (7.1.4, 7.1.5), «Квалификационное тестирование ПО в системном и программном контекстах» (6.4.6, 7.1.7).
Примечание: Предлагаемый состав анализируемых процессов может быть обосновано изменен (дополнен, сокращен) исполнителем по соображениям их значения («веса») для раскрытия выбранной темы.
· Раскрытие спецификации (детализация структуры) анализируемых процессов в соответствии с ISO/IEC/IEEE 12207:2008 [1] в терминах: контекст процесса, группа процессов, процесс в группе – объект изучения выбранной темы, назначение (цель процесса), выходной продукт, действия, задачи.
· Определение для выбранного состава процессов на основе аналитических обзоров рекомендованной литературы предметной области выбранной темы, представленной соответствующей методологией и технологиями в терминах: абстракции, модели, методы, меры и метрики, инструментальные средства и среды, информационные технологии, руководства и стандарты.
· Абстракции. Методы декомпозиции. Реализация принципа «разделяй и властвуй» (divide et impera). Нотации. Выразительные изобразительные средства (языки).
· Функциональная и объектная декомпозиция (инкапсуляция, наследование, полиморфизм и позднее связывание)
· Системная и программная инженерия. Описание архитектуры (ПО). Стандарт ISO/IEC/IEEE 42010:2011. Языки описания архитектуры – ADL (Architecture Description Languages).
· Критерии «сцепления- связности» компонент архитектуры ПО по функциям и данным. Факторизация.
· Определение объемов интеграционного и системного тестирования.
· Классификация методов тестирования при верификации и валидации критического ПО (тестирование, имитационное моделирование, статический и формальный анализ, верификация моделей ПО (model-checking verification))
· Квалификационные испытания критического ПО. Цели. Задачи. Методология.
Дата публикования: 2015-07-22; Прочитано: 395 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!
