Размер шрифта
Цветовая схема
Изображения
Обычная версия сайта

Верификация программного обеспечения

УМКД дисциплины

Рабочая программа и аннотация (2021 г.) - РПД ВерПО ПИ маг 2021 очн+заочн.pdf - для просмотра файла необходимо авторизоваться

Методические рекомендации - МУ ВерПИ ПИ маг 2021 очн+заочн.pdf

Аннотация

1. Цели и задачи изучения дисциплины Основной целью изучения дисциплины является получение базовых знаний и навыков, необходимых для обеспечения процессов верификации и валидации в жизненном цикле ПО. Задачами дисциплины являются:  изучение основных положений валидации, интеграции, тестирования, верификации ПО;  развитие практических навыков в области применения средств поддержки принятия решений на этапе верификации и валидации ПО;  знакомство с современными методиками верификации программ. 2. Краткая характеристика учебной дисциплины Содержание учебной дисциплины включает:  для очной формы обучения: 16 часов лекционных и 16 часов лабораторных занятий;  для заочно формы обучения: 8 часов лекционных и 8 часов лабораторных занятий. Дисциплина обеспечивает теоретическую и практическую подготовку в области верификации ПО. 3. Место дисциплины в структуре образовательной программы Дисциплина входит в формируемую часть "Блок 1" образовательной программы магистратуры. Для очной и заочной форм обучения реализуется на 2-м году обучения с трудоемкостью освоения - 4.0 Зет. 4. Взаимосвязь дисциплины с предшествующими и последующими дисциплинами учебного плана подготовки - предшествующие дисциплины: Методология программной инженерии, Научно исследовательский семинар 1, Системы искусственного интеллекта, Методология научного познания, Методы вычислений, Научно-исследовательский семинар 2, Теория распознавания образов, Основы научных исследований; - последующие дисциплины: Научно-исследовательский семинар 4, Протоколы вычислительных сетей, Системы цифровой обработки сигналов, Планирование проекта в области ИТ, Программно-аппаратные средства защиты информации, Методы и алгоритмы интеллектуального анализа данных, Производственная практика: научно-исследовательская работа 2, Производственная практика: научно-исследовательская работа 3, Выполнение и защита выпускной квалификационной работы. 5. Ожидаемые результаты освоения дисциплины В результате освоения дисциплины, у обучающихся должны быть сформированы следующие компетенции: УК-1. Способен осуществлять критический анализ проблемных ситуаций на основе системного подхода, выработать стратегию действий.