W poprzednim odcinku tego cyklu felietonów przedstawiłem kilka informacji na temat skutków błędów w programach. Wspomniane wyżej przykłady to „wierzchołek góry lodowej” – mała część ogromnej liczby różnych problemów, na które natknęła się coraz bardziej uzależniona od komputerów działalność ludzi i instytucji. Większość tych problemów pojawiła się na skutek występowania błędów w programach.
Błędy w programach komputerowych są bardzo trudne do wykrycia. Gdy już ustalimy, że błąd jest – jego lokalizacja i usunięcie nie stanowią zasadniczego problemu. Ale jak się upewnić, że żadnego błędu nie ma? To jeden z najpoważniejszych problemów informatyki.