Che cosa dice l'ipotesi di Dijkstra?

Il test di un programma può rilevare la presenza di malfunzionamenti ma non dimostrarne l’assenza. Non esiste quindi un algoritmo che dato un programma arbitrario P generi un test ideale finito (il caso T=D non va considerato).