p>
Рис. 4.4 Файл-описание графу станів и переходів
побудовали послідовність:
{0 -> 1 -> 2 -> 3 -> 4 -> 5}
{0 -> 1 -> 2 -> 3 -> 4 -> 6}
{0 -> 1 -> 2 -> 3 -> 6}
{0 -> 1 -> 2 -> 6}
Співставляючі унікальні ідентіфікаторі ребер з їх семантичності значенням отрімаємо Наступний Тестовий набор для ручної перевіркі модулю «автентифікація» системи банкомат:
Таблиця 4.1 Тестовий набор
Тест № 1 1Вставіті картку2Перша Спроба Введення паролю3Друга Спроба Введення паролю4Третя Спроба Введення паролюРезультатКартка заблокована Тест № 2 1Вставіті картку2Перша Спроба Введення паролю3Друга Спроба Введення паролю4Третя Спроба Введення паролюРезультатКартка прийнятя Тест № 3 1Вставіті картку2Перша Спроба Введення паролю3Друга Спроба Введення паролюРезультатКартка прийнятя Тест № 4 1Вставіті картку2Перша Спроба Введення паролюРезультатКартка прийнятя
Побудованій Тестовий набор для ручного Виконання Дає змогу перевіріті функціональність модулю «автентифікація» системи «Банкомат». Тести дають змогу вікріті найкрітічніші помилки системи, тоб Блокування Зміни станів «Банкомат». ПРОТЯГ Виконання тестового набору досвідченім спеціалістом з тестування такоже могут буті вікріті и Інші дефекти з меншими пріорітетом, Такі, Наприклад, як Недоліки графічного інтерфейсу, граматичні помилки, чи не практічність реалізації.
4.2 Приклад № 2: Побудова тестового набору для баг-трекінгової системи, представленої графом Із циклами
Нехай звітність, перевіріті зміну станів Звіту про дефект у баг-трекінговій Системі представленій на рис. 4.5.
Рис. 4.5 Зміна станів Звіту про дефект у баг-трекінговій Системі
Як видно, на модельному графі присутній цикл. Побудуємо Тестовий набор для даної системи, что гарантує покриття усіх переходів:
{0 -> 1 -> 2 -> 3 -> 4}
{0 -> 7 -> 0 -> 1 -> 6 -> 5 -> 2 -> 3 -> 4}
{0 -> 1 -> 7 -> 0 -> 1 -> 2 -> 3 -> 4}
{0 -> 1 -> 2 -> 3 -> 5 -> 2 -> 3 -> 4}
Тестовий набор, Що буде ОТРИМАНО в наслідок Надання переходам їх семантичного Значення перевіріть здатність Звіту про дефект набуваті усіх спеціфікованіх станів.
Зазначімо, что Тестовий набор отриманий автоматичності генератором тестів гарантує покриття усіх переходів за зменшеності кількість тестів (Усього Можливо побудуваті 11 коректний переходів). Тім самим Розроблення додаток Забезпечує Зменшення годині на его Виконання, а отже економію ресурсів - Людський и годині.
4.3 Приклад № 3: Побудова різніх тестових наборів Із встановленим рівнем покриття
Запустімо додаток повторно, для того самого графу станів и переходів з Тімі самими параметрами алгоритму М и Р.
{0 -> 7 -> 0 -> 1 -> 2 -> 3 -> 4}
{0 -> 1 -> 6 -> 5 -> 2 -> 3 -> 5 -> 2 -> 3 -> 4}
...