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

Введение
1. Необходимость процессов тестирования и
верификации программного обеспечения
1.1. Тестирование и верификация, основные
определения
1.2. Тестировщик или QA-инженер
1.3. Тестирование черного и белого ящика
1.4. Регрессивное тестирование
1.5. Процесс тестирования и V-модели
ЧАСТЬ 1. Тестирование и разработка программного
обеспечения
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. Обновление файлов с сервера
Задания (командная работа по специфицированию
и тестированию)
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. Google Test (C++), мультиплатформенный
фреймворк
3.6. Некоторые советы по модульному
тестированию
Задания (документирование кода и модульное
тестирование в группе)
4. Методологии разработки *DD. Разработка через
тестирование
4.1. Что такое методология разработки
4.2. Немного о MDD (Model Driven Development)
4.3. Разработка через тестирование (TDD, Test
Driven Development)
4.4. Разработка, управляемая поведением (BDD,
Behavior Driven Development)
4.5. Некоторые предложения по разработке через
написание статей (ADD, Article Driven development)
Задания (разработка через тестирование)
5. Функциональное автоматизированное
тестирование
5.1. Зачем нужно функциональное тестирование и
зачем его автоматизировать
5.2. Подход Apple к автоматизации
5.3. Тестирование настольных (desktop)
приложений с помощью IBM Rational Functional
Tester
5.4. Тестирование Web-приложений с помощью
Selenium
Задания (функциональное тестирование)
ЧАСТЬ 2. Методы анализа программ и их
верификация
6. Статические проверки и динамический анализ
программ
6.1. Статический анализ, его необходимость
6.2. PVS-Studio
6.3. Cppcheck
6.4. О написании собственных статических
анализаторов
6.5. Динамический анализ с помощью Valgrind
6.6. О пользе и вреде "printf injection"
Задания (динамический и статический анализ)
7. Тройки Хоара. Дедуктивная верификация.
Контракты на код
7.1. Язык программирования Eiffel. Design By
Contract
7.1.1. Введение в классы на Eiffel
7.1.2. Контракты на Eiffel
7.1.3. Тестирование в Eiffel
7.1.4. Контракты на циклы
7.1.5. Многопоточность и контракты на
параллельно выполняющиеся действия
7.2. Microsoft .NET Code Contracts
7.2.1. Подключение MS Code Contracts
7.2.2. Определение контрактов и их проверка
7.2.3. Более сложные контракты
Задания (контракты на код)
8. Model Based Testing. Средство MS Spec Explorer
8.1. Тестирование по модели
8.2. Задачи теории графов для генерации тестов
8.3. Установка и работа в Spec Explorer
8.4. Создание модели для простой
последовательности
8.5. Создание модели для сложной
последовательности
8.6 Другие возможности Spec Explorer
Задания (тестирование с помощью МВТ)
9. Model Based Checking. Средство Spin
9.1. Что такое Model Based Checking
9.2. Особенности языка описания моделей Promela
9.3. Темпоральная логика линейного времени
9.4. Метод Model Checking внутри
9.5. Верификация и симуляция в SpinHiSpin
9.5.1. Пример с моделированием поведения
интерфейса приложения
9.5.2. Установка Spin и графической оболочки iSpin
9.5.3. Работав среде iSpin
9.5.4. Работа со Spin из командной строки
9.5.5. Применение верификации при решении
переборных задач
9.5.6. Пример применения симуляции для задачи
массового обслуживания
9.5.7. Верификация протоколов и параллельных
действий
Задания (Model Based Checking)
10. Модульная платформа статической
верификации Frama-C
10.1. Начало работы с Frama-C, работа с frama-c-gui
10.2. Метод слабейших предусловий и анализ
спецификаций на ACSL
10.3. Проверка LTL-выражений для С-программ
Задания (верификация С-программ на уровне кода
и требований)
Итоговый тест для самоконтроля
Литература