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

Бакалавриат 2023/2024

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

Направление: 09.03.04. Программная инженерия

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

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

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

Формат изучения: без онлайн-курса

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

Преподаватели: Горелиц Наталья Кирилловна, Кильдишев Денис Степанович, Кулямин Виктор Вячеславович, Лебедев Михаил Сергеевич, Смолов Сергей Александрович

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

Кредиты: 4

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

Полная версия программы учебной дисциплины Задать вопрос

Аннотация

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

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

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

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

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

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

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

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

Домашнее задание 1
Экзамен
Домашнее задание 2
Домашнее задание 3
Имеет упрощенную версию на 8 баллов 1162265
Домашнее задание 4
имеется также упрощенная версия задания в виде 1165620
Домашнее задание 5
Тест по материалам семинаров 1
Тест по материалам семинаров 2
Домашнее задание 6
имеется отдельно объект для сдачи версии на другом ЯП (1193612) на аналогичную оценку, принимается один из двух
Домашнее задание 7
Тест по материалам семинаров 3
Тест по материалам семинаров 4
Домашнее задание 8
Активность на семинарах
Представляет собой ежесеминарную оценку активности студентов на семинарах.

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

2023/2024 учебный год 4 модуль
((367997+392658+392664+392670+392676+392683+392684+392694)*0.7+(392677+392678+392689+392692)*0.2+392695*0.1)*0.75+367998*0.25

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

Авторы

Кулямин Виктор Вячеславович
Буцкая Евгения Александровна
Кильдишев Денис Степанович

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