Nem biztos hogy egy összetettebb program mindegy egyes funkciója mûködne (még ha le is fut)
Ráadásul ha a egy olyan input van aminél nem adott lehetõségek közül lehet választani hanem a felhasználó bármit beírhat akkor ott már lehetetlennek tûnik algoritmussal leellenõrizni
Esetleg egy olyanban amiben adatok elõre ismert kisméretû halmazából számol a program, viszont ennél meg már fordító szinten megoldható az optimalizálás (szerintem)