="justify"> правильних тестів, что покрівають УСІ Можливі Сценарії
Один тест значення взявши з шкірного класу во время тестування.
Рис. 1.6 Техніка розбіття на еквівалентні класи
Тестовий набор для вимог на рис. 1.6, побудованій за цією технікою винен містіті тести на перевірку значень - 1 (лівий ДІАПАЗОН некоректно Даних); 25 (ДІАПАЗОН коректний Даних); 105 (правий ДІАПАЗОН некоректно Даних).
Зазвічай техніки АНАЛІЗУ граничних значення І розбіття на еквівалентні класи Використовують у комбінації.
Діаграма станів и переходів
Діаграма станів та переходів вікорістовується там, де аспект системи могут буті опісані як скінченій автомат. Це означає, что система может перебуваті в (скінченому) чіслі різніх станів, и переходь з одного стану в Інший візначаютьс правила «машини». На Основі МОДЕЛІ скінченого автомату будуються тести.
ПЕРЕВАГА такого підходу є ті, что в ньом перераховуються ВСІ Можливі комбінації станів - переходів, а не Тільки Ті, що є правильними: тестування неправильних Шляхів вікорістовується для Додатків з скроню ступенями ризику.
Створення подібної діаграмі часто Робить очевидними Такі комбінації, Які НЕ були візначені, задокументовані, або розглянуті у неформальних Вимогах. Це Дуже вігідно для Виявлення дефектів до качана безпосередно создания коду.
Перші Дві техніки широко застосовуються для перевірок різноманітного введенню у Додатках, техніка діаграмі станів и переходів Дає змогу побудуваті повний Сценарій взаємодії користувача Із цільовою системою.
Третя підзадача для роботи - побудова тестів на Основі формальної МОДЕЛІ.
Формування тестових наборів. Тестові набори являються собою послідовність тестів, яка формується з урахуванням необхідного уровня тестового покриття. Тести в наборі НЕ повінні дублюваті перевіркі, однак сформованому набор винен Повністю задовольняти встановленного метрику якості робіт.
Остання под завдання - Формування тестового набору.
Таким чином загальна задача Дослідження - автоматична генерація функціональніх тестів для Додатків з графічнім інтерфейсом для ручного Виконання может буті декомпозована на наступні под задачі:
Поиск формальної МОДЕЛІ для представлення вимог. Вимоги до цільової системи, что є сформульовані на природній мові, повінні буті перетворені у таке представлення, Яке может буті оброблено машиною.
Визначення повнотіла тестового покриття. повнотіла тестового покриття Необхідна для того, щоб зрозуміті, коли число тестів у наборі є достатнім, щоб Завершити йо побудову.
Побудова тестів на Основі МОДЕЛІ. Вибір техніки для побудова тестів на Основі формальної МОДЕЛІ.
Формування тестового набору. Розробка алгоритму Формування тестового набору.
РОЗДІЛ 2. Обгрунтування ПІДХОДУ
2.1 Формальні модель представлення вимог
формальне подання функціональніх вимог перетворює їх на «машино чітаємі», тоб створює передумови Повністю автоматізуват...
