Only global definitions are conside

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) 1:

Hanya global definisi dianggapPilih kasus uji yang secara kolektif dapat mencakup semua-definisi dari semua variabelTujuan: satu set dari eksekusi jalur P sedemikian rupa sehingga untuk setiap node dalam kontrol arus grafik dan setiap variabel x memiliki definisi global di simpul i, P termasuk jalur yang jelas definisi x variabel dari node saya:J node yang mengandung global c-penggunaan x atauDan j tepi -> k yang mengandung p-penggunaan x

Results (Indonesian) 2:

Hanya definisi global dianggap
Pilih uji kasus yang secara kolektif dapat mencakup semua-definisi dari semua variabel
Aim: 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 j simpul yang berisi c-penggunaan global dari x atau
Dan tepi J-> k mengandung p-penggunaan x