Кожному тесту відповідає згенерований підграф. Якщо згенеровані підграфи визначено правильно, то для активації одного такого згенерованого підграфа достатньо вказати лише його вхідні значення. Активація відбувається здебільшого так само, як і для потоків управління, за винятком випадків, коли ви можете вирішити, що простіше почати з виходу і рухатися до входів. Якщо у згенерованому підграфі немає вершин вибору або вершин потоку управління, то про активацію говорити не доводиться. Підійдуть будь-які допустимі вхідні значення. Ви прагнете створювати першокласні ІТ-продукти? Тоді вам потрібно бути готовим до моніторингу та контролю всього життєвого циклу розробки! Вибравши офшорне тестування програмного забезпечення, ви зможете забезпечити якість ваших продуктів за привабливою ціною. Якщо є вузли відбору або вузли потоку контролю, слід дотримуватися кількох процедур: 1. Зверніть увагу на мінімальні та максимальні значення для кожного входу. Якщо є набір значень, випишіть всі значення з нього.
2. Пройдіться по всіх гілках згенерованого підграфа у зворотному напрямку (до початку), відмічаючи шляхи, яких досягають входи, не проходячи через вузли вибору (потоки даних або потоки керування). Ви можете ігнорувати ці частини згенерованого підграфа, тому що для вхідних даних, швидше за все, немає ніяких обмежень.
3. Підніміться вгору по шляхах, поки не дійдете до вузла вибору (для якого ви вже зробили вибір). Цей вузол вибору - чи то вузол вибору потоків даних, чи то потік керування - містить предикат, значення якого ви вже визначили (вибравши цей згенерований підграф). Тепер цей предикат накладає обмеження на всі вхідні значення, які можуть бути досягнуті при русі по згенерованому підграфу з цієї точки. Визначте найширшу множину вхідних значень, які задовольняють цьому предикату.
4. Продовжуйте опрацьовувати кожен предикат, з яким ви зіткнулися (при переході до початку згенерованого підграфа). Якщо у згенерованому підграфі на обраному шляху є більше двох предикатів, їх умови слід розглядати одночасно, а кожен наступний предикат накладає додаткові обмеження на можливі вхідні значення. Для потоків даних активація зазвичай є простішою, оскільки в цьому випадку є відносно мало проміжних вузлів і вам зазвичай не потрібно інтерпретувати предикати для того, щоб виразити їх через вхідні змінні. Якщо ви маєте справу з цим випадком, дійте так, як якщо б ви працювали з потоками управління, враховуючи, що ви маєте справу зі згенерованими підграфами для потоків даних, а не з окремими шляхами.