Дисциплина ''Качество и надежность программного обеспечения'' входит в учебный план подготовки дипломированных специалистов по направлению 654600 - ''Информатика и вычислительная техника'' по специальности 220400 - ''Программное обеспечение вычислительной техники и автоматизированных систем''. Дисциплина изучает проблемы выбора и оценивания характеристик качества ПО на этапах от разработки спецификаций до завершения отладки и тестирования программного продукта. В курсе рассматриваются критерии, характеристики и метрики качества ПО; особый упор делается на характеристики корректности, надежности и сложности программ. Изучаются формальные модели и методы оценивания как статических, так и динамических характеристик качества ПО, позволяющие на различных стадиях разработки выявлять просчеты и дефекты программного изделия. Рассматриваются инструментальные средства поддержки и автоматизации анализа качества ПО. Рабочая программа подготовлена на кафедре Математического обеспечения и применения ЭВМ факультета Компьютерных технологий и информатики СПбГЭТУ
