• Only global c-uses considered• Se

• Only global c-uses considered
• Select test cases that can collectively cover all cuses of all variables
• Definition: for a variable x having a global
definition in node i, dcu(x,i) is the set of all nodes j
such that
 j contains a global c-use of the variable x AND
 there is a definition clear path of x from node i to
node j
• 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 dcu (x,i)

Results (Indonesian) 1:

• Hanya global c-menggunakan dianggap• Pilih uji kasus yang secara kolektif dapat mencakup semua cuses semua variabel• Definisi: untuk variabel x memiliki global definisi di simpul i, dcu(x,i) adalah himpunan semua node jsedemikian rupa sehingga j berisi c-penggunaan global x variabel dan ada adalah jalur yang jelas definisi x dari node saya node j• 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 setiap elemen dalam dcu (x, i)