Причинно-наслідковий графік допомагає систематично відбирати ефективні тести. Це дає корисний побічний ефект, оскільки дозволяє виявити неповноту і неоднозначність вихідних специфікацій.

• Функціональна схема - це формальна мова, на яку перекладається специфікація природною мовою. Діаграма може бути пов’язана з цифровою логічною схемою (комбінаторною логічною мережею), але для її опису використовується простіша нотація (форма запису), а не звичайна форма запису, прийнята в електроніці. Для розуміння причинно-наслідкової діаграми не обов’язково розбиратися в електроніці, але бажано розуміти булеву логіку (зокрема, логічні оператори і, чи ні.). With this technique tests are developed in several stages.

• Специфікація поділяється на “робочі” області. Це пов’язано з тим, що функціональні діаграми стають занадто громіздкими при застосуванні техніки до великих специфікацій. Наприклад, при тестуванні системи поділу часу робочою областю може бути специфікація окремої команди. При тестуванні компілятора в якості робочої області можна розглядати кожен окремий оператор мови програмування.

Ви коли-небудь чули про найкращих постачальників сторонніх послуг з тестування програмного забезпечення? Насправді вони живуть в Україні, в чудовому місті Черкаси, і допомагають людям економічно ефективно перевіряти якість цифрових продуктів.

• Специфікація визначає причини та наслідки. Причина - це окрема вхідна умова або клас еквівалентності вхідних умов. Наслідок - це вихідна умова або трансформація системи (залишковий ефект, який має вхідна умова на стан програми або системи). Наприклад, якщо повідомлення програми викликає оновлення головного файлу, то зміна в ньому є перетворенням системи; повідомлення з підтвердженням буде вихідною умовою. Причини і наслідки визначаються шляхом послідовного читання (слово за словом) специфікації. При цьому виділяються слова або фрази, які описують причини і наслідки. Кожній причині та наслідку присвоюється окремий номер.

• Аналізується семантичний зміст специфікації, який перетворюється на булевий граф, що з’єднує причини та наслідки. Це і є функціональна діаграма.

• Діаграма супроводжується примітками, що визначають обмеження та описують комбінації причин та (або) наслідків, які є неможливими через синтаксичні або зовнішні обмеження.
• Шляхом методичного відстеження станів умов діаграми, вона перетворюється на таблицю рішень з обмеженими входами. Кожен стовпець таблиці рішень відповідає тесту.

• Стовпці таблиці рішень перетворюються на тести.