Контакты:

«Надёжность и тестирование программного обеспечения» (ПО) – дисциплина, изучающая проблемы выбора и оценивания характеристик качества ПО на этапах от разработки спецификаций до завершения отладки и тестирования программного продукта. В курсе рассматриваются критерии, характеристики и метрики качества ПО; особый упор делается на характеристики корректности, надежности и сложности программ. Изучаются формальные модели и методы оценивания как статических, так и динамических характеристик качества ПО, позволяющие на различных стадиях разработки выявлять просчеты и дефекты программного изделия. Рассматриваются инструментальные средства поддержки и автоматизации анализа качества ПО.

Освоение дисциплины должно обеспечить базовые знания, которые дадут возможность выпускнику успешно работать в сфере проектирования архитектуры предприятия, стратегического планирования развития, организации процессов жизненного цикла ИС и ИКТ, аналитической поддержки процессов принятия решений для управления предприятием, обладать универсальными и предметно-специализированными компетенциями, способствующими его социальной мобильности и устойчивости на рынке труда. Программа дисциплины нацелена на формирование организованности, трудолюбия, ответственности, способности к саморазвитию, повышению своей квалификации и мастерства.