3.2. Тестування потоків даних програми

Група критеріїв для даного методу побудована на принципах досяжності й доступу до змінних.

Будемо вважати, що вираз y:=f(x₁,..., x_n) використовує змінні x₁,...,x_n для обчислювального процесу (Computational use), що позначається як c-use, при цьому даний вираз є визначення змінної у (defy)^.

Будемо вважати, що вираз p(x_p...,xj використовує змінні x₁,...,x_n як предикати (Predicate-use), що позначається якp-use.

Шлях p=(n_in,...,n_m) вважається таким, що не містить визначень змінної x, якщо в ньому немає def x.

Для вершини n_i та змінної x, такої що x є def(n_i) вираз dcu(x,n) позначає набір всіх вершин n таких, що x є c-use(n_j) і шлях від n_i до n не містить визначень х.

Для вершини n_i та змінної x, такої що x є def(n) вираз dpu(x,n) позначає набір всіх ребер (nj,n_k), таких що xєp-use(nj,n_k) і шлях від nj до n_k не містить визначень х.

Позначимо як du-шлях (шлях визначення-використання):

- шлях p = (n_i+1,... nj, n_k), що містить глобальне визначення змінної x у вершині ni, і такий, що p не містить визначень змінної х, але містить c-use(x), і всі вершини n_t... n_k (крім Пі і n_k) попарно відмінні

- або шлях p(nj, n_k), що не містить визначень змінної х, але містить предикатне використання х (p-use(x)) і всі вершини n_i... nk попарно відмінні.

Розглянемо критерії тестування потоків даних програми .

Критерій " all-defs"

Даний критерій вимагає створення набору тестів, які б містили для кожної вершини n_i і кожної змінної x є def(n) як мінімум один шлях, що не містить визначень х від n_i до елемента з dcu(x, n) або dpu(x, Пі). Критерій забезпечує перевірку правильної ініціалізації змінних, але не дає гарантій їхнього правильного використання в обчислювальному процесі. Це завдання ставиться поетапно перед наступними критеріями.

Критерій "all p-uses"

За даним критерієм вимагається створення набору тестів, які б містили для кожної вершини n_i і кожної змінної x є def(n_i) як мінімум один шлях, що не містить визначень х від n_i до всіх елементів з dpu(x,

ni).

Критерій "all c-uses"

Даний критерій вимагає створення набору тестів, які б містили для кожної вершини ni і кожної змінної x є def(ni) як мінімум один шлях, що не містить визначень х від ni до елемента з dcu(x, ni)

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

Критерій "all c-uses / some p-uses"

Наступне завдання полягає у відповіді на питання: чи використані всі ініціалізовані змінні в обчисленнях або хоча б у предикатних виразах. Критерій "all c-uses / some p-uses" вимагає створення набору тестів, які б містили для кожної вершини ni і кожної змінної x є def(ni) як мінімум один шлях, що не містить визначень х від ni до всіх елементів з dcu(x, ni), або, якщо dcu(x, ni) - порожня множина, хоча б шлях, що не містить визначень х від ni до елемента з dpu(x, ni).

Критерій "all p-uses / some c-uses"

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

Даний критерій вимагає створення набору тестів, які б містили для кожної вершини ni і кожної змінної x є def(ni) як мінімум один шлях, що не містить визначень х від ni до всіх елементів з dpu(x, ni), або, якщо dpu(x, ni) - порожня множина, хоча б шлях, що не містить визначень х від ni до елемента з dcu(x, ni).