Основы тестирования программного обеспечения. Учебное пособие для СПО

ВВЕДЕНИЕ
1. НЕОБХОДИМОСТЬ ПРОЦЕССОВ
ТЕСТИРОВАНИЯ И ВЕРИФИКАЦИИ ПРОГРАММНОГО
ОБЕСПЕЧЕНИЯ
1.1. Тестирование и верификация, основные
определения
1.2. Тестировщик, или QA-инженер
1.3. Тестирование черного и белого ящика
1.4. Регрессивное тестирование
1.5. Процесс тестирования и V-модели
2. СПЕЦИФИЦИРОВАНИЕ ПРОГРАММНОГО
ОБЕСПЕЧЕНИЯ И ЕГО ТЕСТИРОВАНИЕ МЕТОДОМ
ЧЕРНОГО ЯЩИКА
2.1. Спецификация в виде инвариантов,
предусловий и постусловий
2.2. Спецификация в виде Use Case-диаграмм
языка UML
2.3. Работа тестировщика
2.4. Работа с баг-трекинговой системой
2.5. Краткая справка по командной работе на
GitHub
2.5.1. Установка
2.5.2. Получение у себя на компьютере
локальной копии уже имеющегося репозитория
2.5.3. Добавление в репозиторий своих файлов
и папок
2.5.4. Фиксация изменений (коммит)
2.5.5. Передача изменений на сервер
2.5.6. Обновление файлов с сервера
2.5.7. GitHub Desktop
Задания (командная работа по специфицированию
и тестированию)
3. УРОВЕНЬ КОДА. МОДУЛЬНОЕ ТЕСТИРОВАНИЕ
И ДОКУМЕНТИРОВАНИЕ ПРОЕКТА
3.1. Качество на уровне кода
3.2. Место процесса модульного тестирования
в процессе разработки
3.3. Документирование проекта на уровне
кода
3.4. Процесс модульного тестирования
3.5. Фреймворки модульного тестирования
3.5.1. JUnit - модульное тестирование для Java
3.5.2. NUnit и MSTest - модульное тестирование
для .Net языков
3.5.3. GoogleTest (C++), мультиплатформенный
фреймворк
3.6. Некоторые советы по модульному
тестированию
3.7. О непрерывной интеграции и непрерывном
развертывании (CI/CD)
Задания (документирование кода и модульное
тестирование в группе)
4. МЕТОДОЛОГИИ РАЗРАБОТКИ *DD. РАЗРАБОТКА
ЧЕРЕЗ ТЕСТИРОВАНИЕ
4.1. Что такое методология разработки
4.2. Немного о MDD (Model Driven Development)
4.3. Разработка через тестирование (TDD, Test
Driven Development)
4.4. Разработка, управляемая поведением (BDD,
Behavior Driven Development)
Задания (разработка через тестирование)
5. ФУНКЦИОНАЛЬНОЕ АВТОМАТИЗИРОВАННОЕ
ТЕСТИРОВАНИЕ
5.1. Зачем нужно функциональное тестирование и
зачем его автоматизировать
5.2. Подход Apple к автоматизации
5.3. Тестирование настольных (desktop)
приложений с помощью IBM Rational Functional
Tester
5.4. Тестирование Web-приложений с помощью
Selenium
5.4.1. Работа с Selenium IDE
5.4.2. Работа с Selenium WebDriver
Задания (функциональное тестирование)
6. СТАТИЧЕСКИЕ ПРОВЕРКИ И ДИНАМИЧЕСКИЙ
АНАЛИЗ ПРОГРАММ
6.1. Статический анализ, его необходимость
6.2. PVS-Studio
6.3. Cppcheck
6.4. О написании собственных статических
анализаторов
6.5. Динамический анализ с помощью Valgrind
6.6. Статический анализ в SonarQube
6.7. О пользе и вреде "printf injection"
Задания (динамический и статический анализ)
7. ТРОЙКИ ХОАРА. КОНТРАКТЫ НА КОД
7.1. Microsoft .NET Code Contracts
7.1.1. Подключение MS Code Contracts
7.1.2. Определение контрактов и их проверка
7.1.3. Более сложные контракты
Задания (контракты на код)
8. MODEL BASED TESTING. СРЕДСТВО MS SPEC
EXPLORER
8.1. Тестирование по модели
8.2. Задачи теории графов для генерации тестов
8.3. Установка и работа в Spec Explorer
8.4. Создание модели для простой
последовательности
8.5. Создание модели для сложной
последовательности
8.6 Другие возможности Spec Explorer
Задания (тестирование с помощью МВТ)
ИТОГОВЫЙ ТЕСТ ДЛЯ САМОКОНТРОЛЯ
ЛИТЕРАТУРА