• Only global definitions are consi

• Only global definitions are considered
• Select test cases that can collectively cover
all-definitions of all variables
• Aim: a set of execution paths P such that for
every node i in control flow graph and every
variable x having a global definition in node i,
P includes a definition clear path of variable x
from node i to:
A node j containing a global c-use of x or
And edge j->k containing a p-use of x

Results (Indonesian) 2:

• Hanya definisi global dianggap
• Pilih uji kasus yang secara kolektif dapat mencakup
semua definisi dari semua variabel
• Tujuan: satu set jalur eksekusi P sehingga untuk
setiap simpul i di aliran kontrol grafik dan setiap
x variabel memiliki definisi global dalam simpul i ,
P termasuk jalan yang jelas definisi variabel x
dari node i ke:
A simpul j berisi c-penggunaan global dari x atau
And tepi J-> k mengandung p-penggunaan x