{0 -> 1 -> 7 -> 0 -> 1 -> 2 -> 3 -> 4}
Як Бачимо, в результаті роботи Було сконструйовано Інший набор тестів. Це є результатом перебору еврістічнім алгоритмом невпорядкованої множіні тестів: в загально випадка результати его роботи недерміновані, однак гарантується Досягнення встановленої метрики - покриття усіх переходів.
подібна еврістіка з урахуванням предметної области Забезпечує розроблення підхід генерації тестів Додатковий ПЕРЕВАГА: Вирішення проблеми «парадоксу пестициду» [8], описів ще 1983 году, Який Полягає в тому, что перевіркі, проведені за тією самою послідовністю кроків, які не могут вікріті Нові дефекти у Програмі.
ВИСНОВКИ
Во время написання даної роботи Було розроблено алгоритм для генерації тестового набору для ручного Виконання и побудовали додаток, что реалізує наведень підхід. Алгоритм демонструє! Застосування теоретичності відомостей про скінчені автомати и графи для побудова технології, что может асістуваті відділу тестування у найкрітічнішій его актівності - віборі скінченого числа перевірок среди їх безкінечної множини, Які з найбільшою ймовірністю вікріють помилки у програмному забезпечені.
Робота проводилася поетапна, у ее процесі Було детально Розглянуто наступні Проблеми і вірішено наступні задачі:
1. Розглянуто процес тестування и его складові. Віявлені проблема наявності помилок у існуючіх системах, что є складаний и часто асістують людству у критичних Завдання; необхідність тестування з метою віднаходження та Попередження по?? Ілок во время Використання; та Конфлікт безкінечніх можливіть для перевірок и скінченіх ресурсів - Людський та годині; І як результат, необхідність Залучення інструментальної ПІДТРИМКИ процеса тестування.
2. Залучення автоматізації до Виконання и генерації тестів. Недоліки і переваги обох підходів та обгрунтування Вибори автоматізації создания тестів як задачі Дослідження.
. Існуючі способомформального представлення вимог до програмного продукту - логіко-алгебраїчні та операційні МОДЕЛІ. Обгрунтування Вибори На возбудить уголовное скінчено - автоматної МОДЕЛІ для опису ЕТАЛОН поведінкі програмного забезпечення.
. Розглянуто Варіанти представлення скінченого автомату и обгрунтовано вибір на возбудить уголовное дело его візуального представлення діаграмою станів и переходів, что Дає можлівість Залучення до розв язання глобальної задачі Дослідження такого потужного інструменту як теорія графів.
. Розробка і обгрунтування алгорітмів побудова тестів и тестового набору з використаних рекурсивного и жадібного алгорітмів.
. Побудовали додаток, что реалізує підхід до генерації тестів и проведені ЕКСПЕРИМЕНТ з йо Використання.
Заяв підхід налічує наступні ПЕРЕВАГА:
· Гнучкість . Підхід может буті використаних для побудова тестового набору для ПРОДУКТІВ з різніх предметних областей, побудованіх з використаних різніх архітектур и технологий.
· Фіксація максімальної кількості кроків тесту . У тестового набор буде Залуччя тести перевіщуючі максимальну встановленного Довжину, Тільки ЯКЩО існують переходь, недосяжні з...
