Обеспечение качества и тестирование

Бакалавриат 2026/2027

ID 1137684

Статус: Курс обязательный (Программная инженерия)

Кто читает: Департамент программной инженерии

Где читается: Факультет компьютерных наук

Когда читается: 3-й курс, 1, 2 модуль

Охват аудитории: для своего кампуса

Преподаватели: Бывальцева Анна Алексеевна, Горелиц Наталья Кирилловна, Козмин Илья Александрович, Кулямин Виктор Вячеславович, Леднев Андрей Александрович, Пащенко Ярослав Владимирович, Петров Олег Максимович, Тихонов Денис Александрович

Язык: русский

Кредиты: 4

Контактные часы: 56

Дополнительные материалы в LMS Задать вопрос

Аннотация

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

Цель освоения дисциплины

Владение основными понятиями в области обеспечения качества ПО
Знание основных методов моделирования поведения ПО
Знание основных методов оценки полноты тестирования ПО
Знание целей, задач и основных методов разработки тестов и тестирования ПО
Умение проектировать и реализовывать тесты для программ различных типов
Умение оценивать полноту тестирования программ различных типов
Умение анализировать результаты выполнения тестов
Умение применять формальные модели при разработке тестов и оценке их полноты
Владение навыками решения типовых задач разработки тестов для ПО

Планируемые результаты обучения

Владение навыками решения типовых задач разработки тестов для ПО
Владение основными понятиями в области обеспечения качества ПО
Знание основных методов моделирования поведения ПО
Знание основных методов оценки полноты тестирования ПО
Знание целей, задач и основных методов разработки тестов и тестирования ПО
Умение анализировать результаты выполнения тестов
Умение оценивать полноту тестирования программ различных типов
Умение применять формальные модели при разработке тестов и оценке их полноты
Умение проектировать и реализовывать тесты для программ различных типов

Содержание учебной дисциплины

Качество программного обеспечения и методы его контроля
Методы верификации ПО
Цели и задачи тестирования ПО
Организация тестовых наборов
Модели поведения ПО
Модели ситуаций и критерии полноты тестирования
Основные методы построения тестов. Вероятностные и нацеленные методы
Комбинаторные методы построения тестов
Автоматные методы построения тестов
Интегрированные технологии построения тестов

Элементы контроля

Экзамен
Домашнее задание 1
Домашнее задание 2
Домашнее задание 3
Домашнее задание 4
Домашнее задание 5
имеется отдельно объект для сдачи версии на другом ЯП (1193612) на аналогичную оценку, принимается один из двух
Домашнее задание 6

Промежуточная аттестация

2026/2027 2nd module
(Домашнее задание 1)*0.12+(Домашнее задание 2)*0.12+(Домашнее задание 3)*0.13+(Домашнее задание 4)*0.12+(Домашнее задание 5)*0.13+(Домашнее задание 6)*0.13+Экзамен*0.25

Список литературы

Авторы

Леднев Андрей Александрович
Кулямин Виктор Вячеславович

Программа дисциплины