Cosa prevede il criterio di copertura dei comandi?

Un test T soddisfa il criterio di copertura dei comandi se e solo se ogni comando eseguibile del programma è eseguito in corrispondenza di almeno un caso di test t∈T.