ВСТУП
ПОСТАНОВКА ЗАДАЧІ
РОЗДІЛ 1. АНАЛІЗ ПРОБЛЕМ ПРОЦЕСУ ТЕСТУВАННЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ 10
1.1 Зв'язок між тестування і забезпеченням якості
1.2 Аналіз процесу тестування програмного забезпечення
1.3 Автоматизація процесу тестування програмного забезпечення
1.4 Аналіз переваг автоматичного тестування
1.5 Аналіз недоліків автоматичного тестування
1.6 Обґрунтування генерації тестів як більш ефективного підходу
1.7 Аналіз процесу ручного створення функціональних тестів
РОЗДІЛ 2. ОБГРУНТУВАННЯ ПІДХОДУ
2.1 Формальні модель представлення вимог
2.2 Скінчений автомат
2.3 Діаграма станів і переходів
2.4 Повнота тестового покриття
2.5 Побудова тестів
2.6 Побудова тестового набору
РОЗДІЛ 3. ГЕНЕРАТОР ТЕСТОВОГО НАБОРУ
3.1 Логіка додатку
3.2 Вибір середовища
3.3 Бібліотеки Boost
3.4 Структура додатку: Класи
3.5 Структура додатку: Методи
3.6 Інтерфейс додатку та параметри запуску
РОЗДІЛ 4. РЕЗУЛЬТАТИ РОБОТИ
4.1 Приклад №1: Побудова тестів для системи «Банкомат»
4.2 Приклад №2: Побудова тестового набору для баг-трекінгової системи, представленої графом із циклами
4.3 Приклад №3: Побудова різних тестових наборів із встановленим рівнем покриття 59
ВИСНОВКИ
СПИСОК ВИКОРИСТАНОЇ ЛІТЕРАТУРИ
Додаток А