Методы и средства оценки качества программного обеспечения

Магистратура (Системы автоматизированного проектирования)

Преподаватели:

• Лекции: Беломойцев Дмитрий Евгеньевич, к.т.н.
• Лабораторные работы: Беломойцев Дмитрий Евгеньевич, к.т.н.

Описание

Цель изучения дисциплины − знакомство студентов с принципами и приемами оценки качества программного обеспечения при автоматизированном проектировании технических систем.

Общий объем дисциплины составляет 3 зачетные единицы (з.е.), 108 академических часа.

План занятий

Модуль 1. Качество программного обеспечения.

• Лекция 1. Введение. Верификация и валидация. Характеристики качества программного обеспечения.
• Лекция 2. Модель качества программного обеспечения.
• Лекция 3. Факторы и атрибуты оценки качества.
• Лекция 4. Метрики и показатели качества.

Модуль 2. Верификация программного обеспечения.

• Лекция 1. Введение. Верификация и валидация. Место верификации в жизненном цикле ПО. Международные стандарты, касающиеся верификации ПО.
• Лекция 2. Задачи верификации и валидации.
• Лекция 3. Экспертные методы верификации.
• Лекция 4. Статический анализ.
• Лекция 5. Формальные методы.
• Лекция 6. Динамические методы.
• Лекция 7. Синтетические методы.

Модуль 3. Автоматизация оценки качества.

• Лекция 1. Введение. Цели автоматизации. Уровни автоматизации. Архитектура автоматизированных тестов.
• Лекция 2. Задачи автоматизации тестирования качества.
• Лекция 3. Инструменты автоматизации.
• Лекция 4. Критерии выбора и конфигурации автоматизированных комплексов.