"justify">. Дуги потокового графа відображають потік управління в програмі (передачі управління між операторами). Дуга - це орієнтоване ребро. p align="justify">. Розрізняють операторні і предикатні вузли. З операторного вузла виходить одна дуга, а з предикатного - дві дуги. p align="justify">. Предикатні вузли відповідають простим умовам в програмі. Складений умова програми відображається в кілька предикатних вузлів. Складовим називають умова, в якому використовується одна або кілька булевих операцій (OR, AND). p align="justify"> При структурному тестуванні програми використовуються так звані структурні критерії, які базуються на основних елементах графа управління програми: операторах, гілках і шляхах.
Розглядають 3 групи критеріїв:
- Тестуючі команди.
- Тестуючі гілки.
- Тестуючі шляху.
Нехай вершина керуючого графа (уграфа) має три вихідних дуги, помічених предикатами P1 (X), P2 (X), P3 (X), як на малюнку 10.
В
Малюнок 10-Граф управління
Таблиця 4-План структурного тестування
№ Назва функціонального модуляІзображеніе на графеЧастота использованияТупикЕстественное развітіеКонкуренція1y1 = al1 + be1; 52y1 = al1 + be2; 33y1 = al1 + be3; 74y2 = al2 + be2; 165y2 = al2 + be3; 126y2 = al2 + be1; 77y2 = al2 + be3; 28y2 = al2 + be1; 89y2 = al2 + be2; 310Вичіслітельний модуль 111y3 = al3 + be2; 2712y3 = al3 + be3; 913y3 = al3 + be1; 15
4.3 Тестування
Структурний аналіз керуючих графів програм передбачає, що всі об'єкти, з яких вони складені, пройшли автономне тестування та отримали сертифікат якості. Це означає, що кожен об'єкт із заданою довірчою ймовірністю не містить помилок у межах своєї області визначення. p align="justify"> Існує два шляхи виникнення помилок:
- Невірно складені предикати.
- Невірно організовано управління (неправильний граф програми).
Помилки неправильного вживання даних або організації межмодульного інформаційного інтерфейсу в технології ГСП малоймовірні, оскільки неправильне вживання даних повинно бути встановлено ще на етапі тестування акторів, а при автоматичній організації межмодульного інформаційного інтерфейсу пом...
