Cosa prevede il criterio di copertura degli usi?

Criterio di copertura di analisi statica. Un test T soddisfa il criterio di copertura degli usi se e solo se per ogni nodo i e ogni variabile x appartenente a def(i), T include un caso di test che esegue un cammino libero da definizioni da i ad ogni elemento di du(i,x).