илки такого роду виключені.
Значить, при тестуванні в технології ГСП необхідно перевіряти коректність графа управління обчислювальним процесом, а також повноту і несуперечність використовуваних предикатів.
Розглянемо умови ситуації природного розвитку як окремий випадок некоректності графа управління.
Природний розвиток - запланований режим роботи вершини
розгалуження. У даному випадку проводиться перевірка на існування
даних при яких управління переду? ться по одному з
перерахованих напрямків. У даному випадку це
В
Формальна модель аналізу уграфа програми грунтується на обчисленні предикатів першого порядку з сигнатурою, що включає відносини порядку. Це означає, що при побудові предикатів використовуються алгебраїчні вирази, що містять відношення порядку (<,>, =,> <, <=,> =). p align="justify"> При переході від логічних функцій до множинам логічні функції природним чином замінюються на теоретико-множинні операції перетину, об'єднання і доповнення. Оскільки пропонована формальна модель аналізу уграфа
грунтується на теоретико-множинному аналізі, то всі логічні вирази необхідно замінити на відповідні операції на множинами.
Алгоритм методу структурного тестування керуючих графів програми:
. Записати вихідне логічне вираз (перевірявся предикат).
2. Уявити вихідний предикат допомогою базових предикатів.
. Замінити логічні операції на теоретико-множинні.
. Ввести індикаторні функції.
. Записати вирішальну функцію для заданого в пункті 3 множини.
. Для знаходження значень істинності складного логічного виразу застосовується алгоритм оптимізації функції багатьох змінних, а завдання тестування структури програми зводиться до оптимізаційної задачі пошуку мінімуму.
. Якщо мінімум функції менше одиниці, то логічний вираз виконується хоча б на одному наборі даних.
Побудуємо тепер вирішальну функцію. Нехай задана система лінійних рівнянь:
В В
Необхідно перевірити ситуацію природного розвитку для першого напряму
Ситуація природного розвитку для першого напряму описується наступним логічним умовою:
В
Припустимо, існує такий Х, що вищенаведена формула істинна, тоді істинні окремо предикати і, тобто:
В В
Тоді умова природного розвитку для першого напряму буде мати наступний вигляд:
В
Нехай:
В В В В
