• No distinction between global and

• No distinction between global and local p-uses
• Select test cases that can cover collectively all p-uses
of all variables
• Definition: for a variable x having a global definition in
node i, dpu(x,i) is the set of all nodes j->k such that
 the edge j->k contains a p-use of the variable x AND
 there is a definition clear path of x from node i to edge j->k
• 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 every
element in dpu (x,i)

Results (Indonesian) 1:

• Tidak ada perbedaan antara lokal dan global p-menggunakan• Pilih uji kasus yang dapat mencakup secara kolektif semua p-menggunakan Semua variabel• Definisi: untuk variabel x memiliki definisi global di node saya, dpu(x,i) adalah kumpulan semua j node -> k sehingga -> tepi j k berisi p-penggunaan x variabel dan ada adalah jalur yang jelas definisi x dari node saya untuk tepi j -> k• Tujuan: satu set eksekusi jalur P seperti itu untuk setiap node dalam kontrol aliran grafik dan x setiap variabel memiliki definisi global di simpul i, P meliputi definisi jelas jalan x variabel dari node saya untuk setiap elemen dalam dpu (x, i)

Results (Indonesian) 2:

• Tidak ada perbedaan antara p-penggunaan global dan lokal
• Pilih uji kasus yang dapat menutupi kolektif semua p-kegunaan
dari semua variabel
• Definisi: untuk x variabel memiliki definisi global dalam
simpul i, dpu (x, i) adalah himpunan semua node J-> k sehingga
 tepi J-> k mengandung p-penggunaan variabel x DAN
 ada jalan yang jelas definisi dari node x i ke tepi J-> k
• Tujuan: satu set eksekusi jalur 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 setiap
elemen dalam dpu (x, i)