я маршрутів
Схеми маршрутів для даного агрегату
При використанні алгоритму часткового перебору були побудовано 8 схем маршрутів, на їх основі складено план структурного тестірованія.Табліца 6 - План структурного тестування маршрутів
№ Схема маршрутаЧастота
5.3 Тестування
Розглянемо процес тестування маршрутів на прикладі маршруту 0,2,3,4,6,9,17.
Якщо врахувати, що при перевірці вершин розгалужень на стандартний набір помилкових ситуацій (тупиків, конкуренцій, природного розвитку), була вже відтестувати кожна з вершин уграфа, то умова реалізації маршруту можна записати у вигляді:
= (1)
Надалі дослідження виразу (1) з технічної точки зору нічим не відрізняється від використання В«вирішальноїВ» функції для тестування вершин розгалуження уграфа. Для (1) будується В«вирішальнаВ» функція F (X). Завдання перевірки маршруту M зводиться до оптимізаційної задачі Xmin = arg minX F (X). p> Якщо F (Xmin), то існують такі поєднання даних предметної області, на яких реалізується тестований маршрут. Інакше маршрут ні реалізуємо, і слід організувати пошук помилки в програмі, що тестується. p> Наступний крок - побудова вирішальною функції.
Успішне проходження за вищенаведеним маршрутом виражається наступним предикатом:
Уявімо вираз через базові предикати:
(2)
(3)
Побудуємо поетапно вирішальну функцію для вираження (3):
)
В В В В В
2)
В В В В В
3)
В В В В В
4)
В В В В
5)
В В В
6)
В В В
Досліджуємо підсумкову вирішальну функцію - для цього зробимо оптимізацію цієї функції методом деформованих багатогранників. Нижче представлені мінімальні значення функції з точками, в яких вони знайдені. br/>
При декількох експериментах з різними початковими умовами вийшло кілька точок, мінімум функцій в яких приблизно дорівнює одиниці, наприклад:
У результаті оптимізації вирішальною функції було знайдено рішення X * = (-1.0757, 1.5126, -0.7090, 0.1108), причому F (X *) = 1, що підтверджує працездатність алгоритму. На малюнках 2 і 3 в околицях знайденої точки побудовані графіки вирішальною функції. br/>В
Малюнок 11 - Графік В«вирішальної функціїВ» F (X)
В
Рисунок 12 - Ізолінії В«вирішальної функціїВ» F (X)
Аналогічним чином досліджується кожен з маршрутів запропонованого алгоритму рішення кубічного рівняння. У результаті досліджень доводиться реалізованість або нереалізовуваність маршрутів. br/>
5.4 Результати структурного тестування маршрутів
В«Вирішальна функціяВ» забезпечує можливість знаходження помилкових ситуацій з використанням алгоритмів оптимізації. Це гара...
