Cosa prevede il criterio di copertura delle definizioni?

Un test T soddisfa il criterio di copertura delle definizioni se e solo se per ogni nodo i e ogni variabile x∈def(i)[insieme delle variabili definite nel comando i], T include un caso di test che esegue un cammino libero da definizioni da i ad almeno uno degli elementi di du(i,x)[il nodo del primo utilizzo di x]