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

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

Аннотация

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