"justify"> Тоді, використовуючи теоретико-множинні операції, можна уявити дана умова у вигляді:
В
Побудуємо вирішальну функцію для виразів,, ввівши індикаторні функції:
В В В
Розрахуємо дану модель в пакеті Matlab. На малюнку 11 представлено зображення вирішальною функції у вигляді ізоліній. br/>В
Малюнок 11 - Ізолінії вирішальною функції
З малюнка 2 видно, що існує велика кількість точок, для яких вирішальна функція менше 1. Отже, запирання першого напряму немає. br/>
4.4 Результати структурного тестування
В результаті тестування була вивчена формальна модель структурного тестування з використанням вирішальною функції. Вирішальна функція забезпечує можливість знаходження помилкових ситуацій з використанням алгоритмів оптимізації. Це гарантує ефективність даного підходу. Знайдений вектор значень, що задовольняє даній ситуації. p align="justify"> Аналогічним чином проводиться дослідження ситуацій природного розвитку, тупика і конкуренції для кожної вершини графа. Результати структурного тестування зведені в таблицю нижче. p align="justify"> Таблиця 5-Результати структурного тестування
№ Назва функціонального модуляІзображеніе на графеЧастота использованияТупикЕстественное развітіеКонкуренція1y1 = al1 + be1; 5 - +-2y1 = al1 + be2; 3 - +-3y1 = al1 + be3; 7 - +-4y2 = al2 + be2; 16 - +-5y2 = al2 + be3; 12 - +-6y2 = al2 + be1; 7 - +-7y2 = al2 + be3; 2 - + +8 y2 = al2 + be1; 8 - +-9y2 = al2 + be2; 3 - + +10 Обчислювальний модуль 1 - +-11y3 = al3 + be2; 27 - +-12y3 = al3 + be3; 9 - +-13y3 = al3 + be1; 15 - + -
5. Структурне тестування маршрутів
.1 Опис методу структурного тестування маршрутів
Для побудови безлічі маршрутів в технології ГСП застосовується алгоритм часткового перебору маршрутів (АЧП). Перевірка коректності схем маршрутів логічно завершує структурне тестування агрегатів ГСП і зводиться до аналізу всіх його обчислювальних маршрутів. Аналізу обчислювальних маршрутів передує перевірка коректності організації розгалужень у вершинах уграфа агрегату. У цілому про коректність агрегату судять виходячи з повноти покриття тестами перевіряються маршрутів, тобто за кількістю перевірених маршрутів. Відбір кінцевого числа тестів, використан ьзуемих при тестуванні ПП, звичайно грунтується на наборі правил, дотримуючись яких проводиться аналіз повноти тестування. У цілому набір правил формує критерій п...
