Logička ispravnost programa osigurava se provjerama ili testiranjem. Ako je moguće, provjerava se tako da se program izvodi za ulazne vrijednosti za koje je unaprijed poznat rezultat (npr. kod programa koji računa površinu kruga uvrsti se nekoliko vrijednosti polumjera za koji se zna kolika treba biti površina).
Provjera ili testiranje komercijalnih programa provodi se kod proizvođača programa i neovisnih ispitivača. Unatoč opsežnom ispitivanju, često se pogrješka otkriva tek kod krajnjeg korisnika.
U računalom nazivlju pogrješke su dobile i posebni naziv: engl. bug. Bug je naziv za pogrješku u programu ili sklopovlju računala.
Postupak provjere i ispravka programa je opetovan i često je potrebno nakon postupka provjere vratiti se na pisanje programa ili čak na korake koji mu prethode.