ксимальна довжина переходів у тесті, P - вага допустимого перевіщення довжина тесту на возбудить уголовное покриття, states_graph - модельний граф, states_count - кількість станів модельного графу states_graph, tests_collection - повний набор тестів, что побудовали у результаті роботи Функції generate_all_tests (), best_tests - контейнер, что містіть результуюча тестову послідовність.
3.6 Інтерфейс додатка та параметрів запуску
Додаток має консольних інтерфейс.
Реалізована функціональність слугує демонстрацією розроблення підходу, а ОБСЯГИ ее взаємодії з користувачем Робить недоцільнім додаткові витрати на розробка графічного корістувацького інтерфейсу. Відмова від его реалізації зумовлена ??такоже тім, что цільова Аудиторія Користувачів Додатках ставити групу спеціалістів з тестування, что є досвідченімі Користувачами комп ютера и НЕ розгубляться при необхідності роботи з консольних додатком.
Для коректної роботи додатка ВІН винен буті запущених з Наступний параметрами:
Рис. 3.3 Параметри запуску генератору тестів
РОЗДІЛ 4. РЕЗУЛЬТАТИ РОБОТИ
4.1 Приклад № 1: Побудова тестів для системи «Банкомат»
Для Демонстрації роботи Розроблення методу продемонструємо роботу побудованого Додатках для генерації тестів для системи «Банкомат».
Нехай наступні вимоги для процеса автентифікації задані на природній мові у вігляді корістувацького сценарію:
Основна діюча особа : Клієнт.
Короткий описание : Перед Виконання будь-якої Дії клієнт винен буті автентіфікованій.
передумови : картка вставлена ??у відповідній отвір банкомату
Основний Сценарій :
1. Система запітує пароль.
2. Клієнт вводити пароль.
. Если пароль правильний, то карта прийнятя
. Если пароль не правильний, то
4.1 Если кількість введення неправильного паролю менше 3, то
4.1.1 Видати Попередження про неправильне пароль.
Інакше:
.2 Видати ПОВІДОМЛЕННЯ про Блокування картки.
.2.1 Заблокуваті карту.
Післяумова : Немає.
Для Використання Додатках звітність, транслюваті вимоги на природній мові у діаграму станів и переходів кінцевого автомату.
Рис. 4.1 Специфікація «автентифікації» у вігляді діаграмі станів и переходів
Додаток пріймає як вхідній параметр текстовий файл Із листом ребер. Вершини повінні буті пронумеровані числами натурального ряду починаю з одініці.
Рис. 4.2 Діаграма станів и переходів з пронумеровані станами
Запуск генератору тестів:
Рис. 4.3 Запуск Graph.exe
Вміст input.txt:
