овноти тестування. Визначення відповідного для тестованої системи критерію повноти є однією з найважливіших задач, яку необхідно вирішувати при організації тестування. Найчастіше критерій повноти використовує розбиття всіх ситуацій, в яких система повинна працювати, на класи еквівалентності, інтуїтивно припускаючи, що в еквівалентних ситуаціях система працює приблизно однаково. І як наслідок, або в обох випадках присутня помилка, або, навпаки - помилки немає. Такі критерії повноти називаються критеріями тестового покриття, а повнота тестування з їх допомогою вимірюється як досягнуту тестове покриття - відсоток класів еквівалентних ситуацій, що використовуються в ході тестування, по відношенню до числа всіх класів. Дана метрика заснована на простій евристиці - чим більше нееквівалентних, В«істотно розрізняютьсяВ» ситуацій перевірено, тим повніше було тестування, і тим краще воно відображає реальну якість системи. Припущення, на підставі яких вибираються критерії покриття, можуть мати різну природу. Однак слід пам'ятати, що основу структурного тестування, її базу, становлять методи перевірки коректності виділених маршрутів. Вивченню цих методів і присвячена ця лабораторна робота. p align="justify"> Алгоритм часткового перебору схем маршрутів
Введемо поняття вільних вершин графа. Вільними вершинами графа G щодо схеми маршруту S будемо називати вершини графа, що не містяться в схемі маршруту S, тобто L (S) = V (G) V (S), де V (G) і V (S) - відповідно вершини графа і схеми маршруту. p align="justify"> Алгоритм часткового перебору використовує наступні правила:
. Вершини графа кодуються символами упорядкованої множини будь-яким способом, але так, щоб коренева вершина мала найменший код, а кінцеві - найбільші значення. p align="justify">. На кожному кроці роботи алгоритму для поточного стану схеми маршруту Si шукається шлях на орграфе переходу з останньої вершини Si в будь-яку вільну вершину схеми Si. p align="justify">. Якщо перехід можливий, то схема маршруту ? розширюється на один символ.
. Якщо перехід неможливий, то розглядається наступна вершина списку вільних вершин і так до тих пір, поки не скінчиться список вершин. p align="justify">. Якщо перехід з поточної вершини в будь-яку з вільних вершин (що не містяться в схемі маршруту) неможливий, то відбувається ? відкат за схемою маршруту на один символ тому.
. При досягненні кінцевий вершини алгоритм ? відкатує на один символ тому.
. Алгоритм завершує свою роботу, якщо список вільних вершин кореневої вершини вичерпаний. p align="justify"> 5.2 Постановка завдання структурного тестуванн...
